A Datalog Rewriting Algorithm for Warded Ontologies

Benedetto, Davide; Calautti, Marco; Hammad, Hebatalla; Sallinger, Emanuel; Vlad-Starrabba, Adriano

doi:10.24963/ijcai.2025/485

A Datalog Rewriting Algorithm for Warded Ontologies

Davide Benedetto, Marco Calautti, Hebatalla Hammad, Emanuel Sallinger, Adriano Vlad-Starrabba

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 4356-4364.

https://doi.org/10.24963/ijcai.2025/485

Keywords

Knowledge Representation and Reasoning: KRR: Knowledge representation languages
Knowledge Representation and Reasoning: KRR: Applications

Abstract

Existential rules, a.k.a. tuple-generating dependencies (TGDs), form a well-established formalism for specifying ontologies. In particular, the warded language is a well-behaved fragment of TGD-based ontologies, striking a good balance between expressive power and computational complexity of answering Ontology-Mediated Queries (OMQs). The theoretical foundations of answering OMQs over warded ontologies are by now well-understood, but to the best of our knowledge, very few efforts exist that exploit such a rich theory for building practical query answering algorithms. Our goal is to fill the above gap by designing a novel Datalog rewriting algorithm for OMQs over warded ontologies which is amenable to practical implementations, as well as providing an implementation and an experimental evaluation, with the aim of understanding how key input parameters affect the performance of this approach, and what are its limits when combined with off-the-shelf Datalog-based engines.

Davide Benedetto, Marco Calautti, Hebatalla Hammad, Emanuel Sallinger, and Adriano Vlad-Starrabba. 2025. A Datalog Rewriting Algorithm for Warded Ontologies. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4356–4364. https://doi.org/10.24963/ijcai.2025/485

@inproceedings{ijcai2025p485,
  title     = {A Datalog Rewriting Algorithm for Warded Ontologies},
  author    = {Benedetto, Davide and Calautti, Marco and Hammad, Hebatalla and Sallinger, Emanuel and Vlad-Starrabba, Adriano},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {4356--4364},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/485},
  url       = {https://doi.org/10.24963/ijcai.2025/485},
}

TY  - CPAPER
TI  - A Datalog Rewriting Algorithm for Warded Ontologies
AU  - Benedetto, Davide
AU  - Calautti, Marco
AU  - Hammad, Hebatalla
AU  - Sallinger, Emanuel
AU  - Vlad-Starrabba, Adriano
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 4356
EP  - 4364
DO  - 10.24963/ijcai.2025/485
UR  - https://doi.org/10.24963/ijcai.2025/485
ER  -