Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-01638346
Contributor : Pierre Bourhis <>
Submitted on : Monday, November 20, 2017 - 10:19:47 AM
Last modification on : Friday, December 11, 2020 - 6:44:06 PM
Long-term archiving on: : Wednesday, February 21, 2018 - 12:46:04 PM

File

0122.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

323

Files downloads

236