This is a public repository for "An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog" paper the 2022 RuleML + RR submission.
- 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.