Finite Axiomatizability by Disjunctive Existential Rules (Extended Abstract)
Finite Axiomatizability by Disjunctive Existential Rules (Extended Abstract)
Marco Calautti, Marco Console, Andreas Pieris
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence
Sister Conferences Best Papers. Pages 8249-8253.
https://doi.org/10.24963/ijcai.2026/921
In this short paper, we discuss a model-theoretic characterization of when a collection of relational structures is axiomatizable via a finite set of disjunctive existential rules. The presented characterization uses the property of criticality, a refined version of closure under direct products, and a new property that relies on the method of diagrams.
Keywords:
Knowledge Representation and Reasoning: Knowledge representation languages
