On the Chase for All Provenance Paths With Existential Rules

Abdelraouf Hecham 1 Pierre Bisquert 2, 1 Madalina Croitoru 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 : In this paper we focus on the problem of how lineage for existential rules knowledge bases. Given a knowledge base and an atomic ground query, we want to output all minimal provenance paths of the query (i.e. the sequence of rule applications that generates an atom from a given set of facts). Obtaining all minimal provenance paths of a query using forward chaining can be challenging due to the simplifications done during the rule applications of different chase mechanisms. We build upon the notion of Graph of Atoms Dependency (GAD) and use it to solve the problem of provenance path loss in the context of forward chaining with existential rules. We study the properties of this structure and investigate how different chase mechanisms impact its construction.
Type de document :
Communication dans un congrès
RuleML+RR 2017 - International Joint Conference on Rules and Reasoning, Jul 2017, London, United Kingdom. 〈http://2017.ruleml-rr.org/〉
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01520172
Contributeur : Abdelraouf Hecham <>
Soumis le : mardi 9 mai 2017 - 23:33:40
Dernière modification le : jeudi 28 juin 2018 - 11:07:02
Document(s) archivé(s) le : jeudi 10 août 2017 - 13:50:14

Fichier

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

Identifiants

  • HAL Id : lirmm-01520172, version 1

Collections

Citation

Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru. On the Chase for All Provenance Paths With Existential Rules. RuleML+RR 2017 - International Joint Conference on Rules and Reasoning, Jul 2017, London, United Kingdom. 〈http://2017.ruleml-rr.org/〉. 〈lirmm-01520172〉

Partager

Métriques

Consultations de la notice

176

Téléchargements de fichiers

189