On the Chase for All Provenance Paths with Existential Rules

DOI10.1007/978-3-319-61252-2_10zbMATH Open1490.68218OpenAlexW2612153359MaRDI QIDQ5086208FDOQ5086208

Authors: Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru 

Publication date: 1 July 2022

Published in: Rules and Reasoning (Search for Journal in Brave)

Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01520172/file/main.pdf

Recommendations

• Provenance-directed Chase\&Backchase
• Provenance propagation in complex queries
• A core calculus for provenance
• Provenance circuits for trees and treelike instances

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (1)

• An argumentative approach for handling inconsistency in prioritized Datalog ± ontologies

This page was built for publication: On the Chase for All Provenance Paths with Existential Rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5086208)