Marco Calautti, Marco Console, Andreas Pieris. Finite Axiomatizability by Disjunctive Existential Rules. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]
Abstract is missing.