Conference
Open access
Finite Axiomatizability by Disjunctive Existential Rules (Extended Abstract)
Sep 2026 · Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence · 0 citations
· 18 references
Abstract
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.