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.
Type de document :
Communication dans un congrès
IJCAI 2017 - Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.880-886, 〈10.24963/ijcai.2017/122 〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01638346
Contributeur : Pierre Bourhis <>
Soumis le : lundi 20 novembre 2017 - 10:19:47
Dernière modification le : mardi 3 juillet 2018 - 11:40:22
Document(s) archivé(s) le : mercredi 21 février 2018 - 12:46:04

Fichier

0122.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

159

Téléchargements de fichiers

30