Towards Farsighted Dependencies for Existential Rules

Jean-François Baget 1 Marie-Laure Mugnier 1 Michaël Thomazo 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 (also called Tuple-Generating Dependencies or Datalog+/- rules). These rules are particularly well-suited to the topical ontological query answering problem, which consists of querying data while taking terminological knowledge into account. Since this problem is not decidable in general, various conditions ensuring decidability have been proposed in the literature. In this paper, we focus on conditions that restrict the way rules may interact to ensure that the forward chaining mechanism is finite. After a review of existing proposals, we propose a generalization of the notion of rule dependency, namely k-dependency, that allows to enlarge halting cases. It can also be used to compile the rule base, which leads to improve query answering algorithms.
Type de document :
Communication dans un congrès
S. Rudolph; C. Gutierrez. RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. LNCS (6902), pp.30-45, 2011, Web Reasoning and Rule Systems. 〈http://www.rr-conference.org/RR2011/〉. 〈10.1007/978-3-642-23580-1_4〉
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00618329
Contributeur : Marie-Laure Mugnier <>
Soumis le : jeudi 1 septembre 2011 - 14:30:31
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : mardi 13 novembre 2012 - 09:43:15

Fichier

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

Identifiants

Collections

Citation

Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo. Towards Farsighted Dependencies for Existential Rules. S. Rudolph; C. Gutierrez. RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. LNCS (6902), pp.30-45, 2011, Web Reasoning and Rule Systems. 〈http://www.rr-conference.org/RR2011/〉. 〈10.1007/978-3-642-23580-1_4〉. 〈lirmm-00618329〉

Partager

Métriques

Consultations de la notice

503

Téléchargements de fichiers

356