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 metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01520172
Contributor : Abdelraouf Hecham <>
Submitted on : Tuesday, May 9, 2017 - 11:33:40 PM
Last modification on : Friday, March 29, 2019 - 9:12:10 AM
Long-term archiving on : Thursday, August 10, 2017 - 1:50:14 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • 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: Joint Conference on Rules and Reasoning, Jul 2017, London, United Kingdom. ⟨lirmm-01520172⟩

Share

Metrics

Record views

271

Files downloads

504