( en | de | ru )

 

Disambiguation of "Asmundo, Marianna Nicolosi"

Author of the publication

copydeleteadd this publication to your clipboard
Web Ontology Representation and Reasoning via Fragments of Set Theory.

, , , and . RR, volume 9209 of Lecture Notes in Computer Science, page 61-76. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Riccardo Nicolosi

Leonardo Nicolosi

Marco Nicolosi

Marianna Hricová

Marianna Tsaroucha

 

Other publications of authors with the same name

A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics., , and . HAIS, volume 8480 of Lecture Notes in Computer Science, page 466-477. Springer, (2014)A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux., and . J. Autom. Reason., 38 (1-3): 31-56 (2007)Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT., , , , and . WOA, volume 2404 of CEUR Workshop Proceedings, page 119-126. CEUR-WS.org, (2019)A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics., , and . CSL, volume 12 of LIPIcs, page 129-143. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)The ideal Benedictine Monastery: From the Saint Gall map to ontologies., , , , , and . Appl. Ontology, 16 (2): 137-160 (2021)Dual Tableau-based Decision Procedures for Some Relational Logics., , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs., , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)The ontology for agents, systems and integration of services: recent advancements of OASIS., , , and . WOA, volume 3261 of CEUR Workshop Proceedings, page 176-193. CEUR-WS.org, (2022)Web Ontology Representation and Reasoning via Fragments of Set Theory., , , and . RR, volume 9209 of Lecture Notes in Computer Science, page 61-76. Springer, (2015)EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage., , and . AI4CH@AI*IA, volume 3286 of CEUR Workshop Proceedings, page 13-25. CEUR-WS.org, (2022)