On the Chase for All Provenance Paths With Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2017

On the Chase for All Provenance Paths With Existential Rules

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.
Fichier principal
Vignette du fichier
main.pdf (465.94 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-01520172 , version 1 (09-05-2017)

Licence

Identifiers

Cite

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. pp.135-150, ⟨10.1007/978-3-319-61252-2_10⟩. ⟨lirmm-01520172⟩
259 View
493 Download

Altmetric

Share

More