2026-07-27T08:59:58Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25054 2026-03-19T12:49:47Z ddc:004 open_access

Reasoning About Time in DatalogMTL: Course Notes (Invited Paper) Wałęga, Przemysław Andrzej DatalogMTL Logic Programming Temporal Reasoning Many real-world applications, such as those in healthcare, finance, and logistics, require reasoning over temporal data. Standard rule-based languages like Datalog, however, lack explicit mechanisms for handling time and temporal dependencies. In this chapter, we discussDatalogMTL, an extension of Datalog with operators frommetric temporal logic that allow to express complex temporal properties. We focus on reasoning algorithms for DatalogMTL, discussing bothmaterialisation, based on fixpoint applications of the immediate consequence operator, and anovel saturation-based extensionthat detects and halts infinite derivations, ensuring both completeness and termination of reasoning. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Przemysław Andrzej Wałęga 2025 Is Part Of OASIcs, Volume 138, Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.RW.2024/2025.9 urn:nbn:de:0030-drops-250546 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.RW.2024/2025.9 eng https://creativecommons.org/licenses/by/4.0/legalcode