Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Abdelraouf Hecham Connect in order to contact the contributor
Submitted on : Tuesday, May 9, 2017 - 11:33:40 PM
Last modification on : Wednesday, October 27, 2021 - 9:51:41 AM
Long-term archiving on: : Thursday, August 10, 2017 - 1:50:14 PM


Files produced by the author(s)




Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru. On the Chase for All Provenance Paths With Existential Rules. RuleML+RR, Jul 2017, London, United Kingdom. pp.135-150, ⟨10.1007/978-3-319-61252-2_10⟩. ⟨lirmm-01520172⟩