Combining Existential Rules and Transitivity: Next Steps

Jean-François Baget 1 Meghyn Bienvenu 2 Marie-Laure Mugnier 1 Swan Rocher 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We consider existential rules (aka Datalog+) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive query (CQ) entailment is decidable. However, most of these classes cannot express transitivity of binary relations, a frequently used modelling construct. In this paper, we address the issue of whether transitivity can be safely combined with decidable classes of existential rules. First, we prove that transitivity is incompatible with one of the simplest decidable classes, namely aGRD (acyclic graph of rule dependencies), which clarifies the landscape of `finite expansion sets' of rules. Second, we show that transitivity can be safely added to linear rules (a subclass of guarded rules, which generalizes the description logic DL-Lite-R) in the case of atomic CQs, and also for general CQs if we place a minor syntactic restriction on the rule set. This is shown by means of a novel query rewriting algorithm that is specially tailored to handle transitivity rules. Third, for the identified decidable cases, we pinpoint the combined and data complexities of query entailment.
Type de document :
Communication dans un congrès
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. 24th International Joint Conference on Artificial Intelligence (IJCAI'2015), 2015, 〈http://ijcai-15.org/〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01171846
Contributeur : Jean-François Baget <>
Soumis le : lundi 6 juillet 2015 - 14:21:43
Dernière modification le : mercredi 12 décembre 2018 - 14:38:02

Lien texte intégral

Identifiants

Citation

Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher. Combining Existential Rules and Transitivity: Next Steps. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. 24th International Joint Conference on Artificial Intelligence (IJCAI'2015), 2015, 〈http://ijcai-15.org/〉. 〈hal-01171846〉

Partager

Métriques

Consultations de la notice

248