Skip to content

Latest commit

 

History

History
12 lines (11 loc) · 711 Bytes

README.md

File metadata and controls

12 lines (11 loc) · 711 Bytes
Raw

Provenance_Data

This is a public repository for "An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog" paper the 2022 RuleML + RR submission.

Content

  • Examples.pdf -> a short paper accompanies a submission of the paper with the same title as this document. It contains a holistic example of all the notions. We explain in detail how the different stages of our approach look like for the particular example given in the paper.
  • EL and Doctor -> the datasets, rules and rewritings used for the experimental results in our submission.
  • Why-Provenance results.ods -> contains all the results for all the runs of each experiment in the paper.