Temporal Datalog with Existential Quantification

Temporal Datalog with Existential Quantification

Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemysław A. Wałęga

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Main Track. Pages 3277-3285. https://doi.org/10.24963/ijcai.2023/365

Existential rules, also known as tuple-generating dependencies (TGDs) or Datalog+/- rules, are heavily studied in the communities of Knowledge Representation and Reasoning, Semantic Web, and Databases, due to their rich modelling capabilities. In this paper we consider TGDs in the temporal setting, by introducing and studying DatalogMTLE---an extension of metric temporal Datalog (DatalogMTL) obtained by allowing for existential rules in programs. We show that DatalogMTLE is undecidable even in the restricted cases of guarded and weakly-acyclic programs. To address this issue we introduce uniform semantics which, on the one hand, is well-suited for modelling temporal knowledge as it prevents from unintended value invention and, on the other hand, provides decidability of reasoning; in particular, it becomes 2-EXPSPACE-complete for weakly-acyclic programs but remains undecidable for guarded programs. We provide an implementation for the decidable case and demonstrate its practical feasibility. Thus we obtain an expressive, yet decidable, rule-language and a system which is suitable for complex temporal reasoning with existential rules.
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: Knowledge representation languages