Code to compute reliances and restrictions among rules according to [1].
Please consider this pull request as work in progress.
[1] Computing Cores for Existential Rules with the Standard Chase and ASP In Diego Calvanese, Esra Erdem, Michael Thielscher, eds., Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 603-613, 2020. IJCAI
Code to compute reliances and restrictions among rules according to [1]. Please consider this pull request as work in progress.
[1] Computing Cores for Existential Rules with the Standard Chase and ASP In Diego Calvanese, Esra Erdem, Michael Thielscher, eds., Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 603-613, 2020. IJCAI