Inconsistency Handling in DatalogMTL

Bienvenu, Meghyn; Bourgaux, Camille; Khodadaditaghanaki, Atefe

doi:10.24963/ijcai.2025/487

Inconsistency Handling in DatalogMTL

Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki

Download BibTeX Cite

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

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

Keywords

Knowledge Representation and Reasoning: KRR: Qualitative, geometric, spatial, and temporal reasoning
Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning
Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning

Abstract

In this paper, we explore the issue of inconsistency handling in DatalogMTL, an extension of Datalog with metric temporal operators. Since facts are associated with time intervals, there are different manners to restore consistency when they contradict the rules, such as removing facts or modifying their time intervals. Our first contribution is the definition of relevant notions of conflicts (minimal explanations for inconsistency) and repairs (possible ways of restoring consistency) for this setting and the study of the properties of these notions and the associated inconsistency-tolerant semantics. Our second contribution is a data complexity analysis of the tasks of generating a single conflict / repair and query entailment under repair-based semantics.

Meghyn Bienvenu, Camille Bourgaux, and Atefe Khodadaditaghanaki. 2025. Inconsistency Handling in DatalogMTL. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4374–4381. https://doi.org/10.24963/ijcai.2025/487

@inproceedings{ijcai2025p487,
  title     = {Inconsistency Handling in DatalogMTL},
  author    = {Bienvenu, Meghyn and Bourgaux, Camille and Khodadaditaghanaki, Atefe},
  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     = {4374--4381},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/487},
  url       = {https://doi.org/10.24963/ijcai.2025/487},
}

TY  - CPAPER
TI  - Inconsistency Handling in DatalogMTL
AU  - Bienvenu, Meghyn
AU  - Bourgaux, Camille
AU  - Khodadaditaghanaki, Atefe
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  - 4374
EP  - 4381
DO  - 10.24963/ijcai.2025/487
UR  - https://doi.org/10.24963/ijcai.2025/487
ER  -