Making Cross Products and Guarded Ontology Languages Compatible

Pierre Bourhis, Michael Morak, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Cross products forma usefulmodelling 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 existential rules. The question that comes up is whether cross products are compatible with guarded ontology 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.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17)
PublisherIJCAI Inc
Number of pages7
ISBN (Electronic)978-0-9992411-0-3
Publication statusPublished - 25 Aug 2017
Event26th International Joint Conference on Artificial Intelligence - Melbourne, Australia
Duration: 19 Aug 201725 Aug 2017


Conference26th International Joint Conference on Artificial Intelligence
Abbreviated titleIJCAI 2017
Internet address


Dive into the research topics of 'Making Cross Products and Guarded Ontology Languages Compatible'. Together they form a unique fingerprint.

Cite this