{"type":"ScholarlyArticle","title":"Finite Axiomatizability by Disjunctive Existential Rules (Extended Abstract)","authors":[{"name":"Marco Calautti","slug":"marco-calautti","given":"Marco","family":"Calautti","affiliation":"University of Milan"},{"name":"Marco Console","slug":"marco-console","given":"Marco","family":"Console","affiliation":"Sapienza University of Rome"},{"name":"Andreas Pieris","slug":"andreas-pieris","given":"Andreas","family":"Pieris","affiliation":"University of Cyprus; University of Edinburgh"}],"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.","doi":"10.24963/ijcai.2026/921","url":"https://ijcai.org/proceedings/2026/921","pdf":"https://ijcai.org/proceedings/2026/0921.pdf","markdown":"https://ijcai.org/proceedings/2026/921.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/921","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Sister Conferences Best Papers","track":"Sister Conferences Best Papers","number":921,"pages":{"first":8249,"last":8253},"keywords":["Knowledge Representation and Reasoning: Knowledge representation languages"],"videos":[],"references":[{"position":1,"raw":"[Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995.","title":"Foundations of Databases","authors":"Serge Abiteboul, Richard Hull, Victor Vianu","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alviano et al., 2012] Mario Alviano, Wolfgang Faber, Nicola Leone, and Marco Manna. Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Theory Pract. Log. Program., 12(4-5):701-718, 2012.","title":"Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues","authors":"Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna","year":"2012","venue":"Theory Pract. Log. Program","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Calautti et al., 2025] Marco Calautti, Marco Console, and Andreas Pieris. Finite axiomatizability by disjunctive ex- istential rules. In KR, 2025.","title":"Finite axiomatizability by disjunctive existential rules","authors":"Marco Calautti, Marco Console, Andreas Pieris","year":"2025","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Calì et al., 2010] Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, and Andreas Pieris. Datalog+/-: A family of logical knowledge representation and query languages for new applications. In LICS, pages 228-242, 2010.","title":"Datalog+/-: A family of logical knowledge representation and query languages for new applications","authors":"Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris","year":"2010","venue":"LICS","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Chang and Keisler, 1992] Chen C. Chang and H. Jerome Keisler. Model theory, Third Edition. North-Holland, 1992.","title":"Model theory, Third Edition","authors":"Chen C Chang, H Jerome Keisler","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Console et al., 2021] Marco Console, Phokion G. Kolaitis, and Andreas Pieris. Model-theoretic characterizations of rule-based ontologies. In PODS, pages 416-428, 2021.","title":"Model-theoretic characterizations of rule-based ontologies","authors":"Marco Console, G Phokion, Andreas Kolaitis, Pieris","year":"2021","venue":"PODS","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Deutsch and Tannen, 2003] Alin Deutsch and Val Tannen. Reformulation of XML queries and constraints. In ICDT, pages 225-241, 2003.","title":"Reformulation of XML queries and constraints","authors":"Alin Deutsch, Val Tannen","year":"2003","venue":"ICDT","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Eiter et al., 1997] Thomas Eiter, Georg Gottlob, and Heikki Mannila. Disjunctive datalog. ACM Trans. Database Syst., 22(3):364-418, 1997.","title":"Disjunctive datalog","authors":"Thomas Eiter, Georg Gottlob, Heikki Mannila","year":"1997","venue":"ACM Trans. Database Syst","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Fagin et al., 2005] Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, and Lucian Popa. Data exchange: seman- tics and query answering. Theor. Comput. Sci., 336(1):89- 124, 2005.","title":"Data exchange: semantics and query answering","authors":"Ronald Fagin, G Phokion, Renée J Kolaitis, Lucian Miller, Popa","year":"2005","venue":"Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Fagin et al., 2008] Ronald Fagin, Phokion G. Kolaitis, Lu- cian Popa, and Wang Chiew Tan. Quasi-inverses of schema mappings. ACM Trans. Database Syst., 33(2):11:1-11:52, 2008.","title":"Quasi-inverses of schema mappings","authors":"Ronald Fagin, G Phokion, Lucian Kolaitis, Wang Popa, Tan Chiew","year":"2008","venue":"ACM Trans. Database Syst","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Lenzerini, 2002] Maurizio Lenzerini. Data integration: A theoretical perspective. In PODS, pages 233-246, 2002.","title":"Data integration: A theoretical perspective","authors":"Maurizio Lenzerini","year":"2002","venue":"PODS","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Lutz et al., 2011] Carsten Lutz, Robert Piro, and Frank Wolter. Description logic tboxes: Model-theoretic char- acterizations and rewritability. In IJCAI, pages 983-988, 2011.","title":"Description logic tboxes: Model-theoretic characterizations and rewritability","authors":"Carsten Lutz, Robert Piro, Frank Wolter","year":"2011","venue":"IJCAI","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Makowsky and Vardi, 1986] Johann A. Makowsky and Moshe Y. Vardi. On the expressive power of data depen- dencies. Acta Inf., 23(3):231-244, 1986.","title":"On the expressive power of data dependencies","authors":"Johann A Makowsky, Moshe Y Vardi","year":"1986","venue":"Acta Inf","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Mugnier and Thomazo, 2014] Marie-Laure Mugnier and Michaël Thomazo. An introduction to ontology-based query answering with existential rules. In Reasoning Web, pages 245-278, 2014.","title":"An introduction to ontology-based query answering with existential rules","authors":"Marie-Laure Mugnier, Michaël Thomazo","year":"2014","venue":"Reasoning Web","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[ten Cate and Kolaitis, 2009] Balder ten Cate and Phokion G. Kolaitis. Structural characterizations of schema-mapping languages. In ICDT, pages 63-72, 2009.","title":"Balder ten Cate and Phokion G. Kolaitis. Structural characterizations of schema-mapping languages","authors":"Kolaitis Cate","year":"2009","venue":"ICDT","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Zhang et al., 2020] Heng Zhang, Yan Zhang, and Guifei Jiang. Model-theoretic characterizations of existential rule languages. In IJCAI, 2020.","title":"Model-theoretic characterizations of existential rule languages","authors":"Heng Zhang, Yan Zhang, Guifei Jiang","year":"2020","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2020/269"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}