Skip to Main content Skip to Navigation
New interface
Conference papers

Making Cross Products and Guarded Ontology Languages Compatible

Abstract : Cross products form a useful modelling tool that allows us to express natural statements such as " elephants are bigger than mice " , or, more generally, to define relations that connect every instance in a relation with every instance in another relation. Despite their usefulness, cross products cannot be expressed using existing guarded ontology languages, such as description logics (DLs) and guarded exis-tential rules. The question that comes up is whether cross products are compatible with guarded ontol-ogy languages, and, if not, whether there is a way of making them compatible. This has been already studied for DLs, while for guarded existential rules remains unanswered. Our goal is to give an answer to the above question. To this end, we focus on the guarded fragment of first-order logic (which serves as a unifying framework that subsumes many of the aforementioned ontology languages) extended with cross products, and we investigate the standard tasks of satisfiability and query answering. Interestingly , we isolate relevant fragments that are compatible with cross products.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Pierre Bourhis Connect in order to contact the contributor
Submitted on : Monday, November 20, 2017 - 10:19:47 AM
Last modification on : Tuesday, November 22, 2022 - 2:26:16 PM
Long-term archiving on: : Wednesday, February 21, 2018 - 12:46:04 PM


Files produced by the author(s)



Pierre Bourhis, Michael Morak, Andréas Pieris. Making Cross Products and Guarded Ontology Languages Compatible. IJCAI 2017 - Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.880-886, ⟨10.24963/ijcai.2017/122⟩. ⟨hal-01638346⟩



Record views


Files downloads