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