LIPIcs.TIME.2024.3.pdf
- Filesize: 482 kB
- 3 pages
Document
Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk)
Author
Przemysław Andrzej Wałęga 
-
Part of:
Volume:
31st International Symposium on Temporal Representation and Reasoning (TIME 2024)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Temporal Representation and Reasoning (TIME) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-10-22
File
Document Identifiers
Author Details
Acknowledgements
The research surveyed in this talk is a result of a joint work with Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev, Michał Zawidzki, Dingmin Wang, David Tena Cucala, Pan Hu, Matthias Lanzinger, Markus Nissl, and Emanuel Sallinger.
Cite AsGet BibTex
Przemysław Andrzej Wałęga. Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). In 31st International Symposium on Temporal Representation and Reasoning (TIME 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 318, pp. 3:1-3:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.TIME.2024.3
https://doi.org/10.4230/LIPIcs.TIME.2024.3
Abstract
I will introduce DatalogMTL - an extension of Datalog, augmenting it with operators known from metric temporal logic (MTL). DatalogMTL is an expressive language which allows us for complex temporal reasoning over a dense timeline and, at the same time, remains decidable. I will provide an overview of research on DatalogMTL by discussing its computational complexity, syntactic and semantic modifications, practical reasoning approaches, applications, and future research directions.
Subject Classification
ACM Subject Classification
- Computing methodologies → Temporal reasoning
Keywords
- Temporal Datalog
- Temporal Logic Programming
- Temporal Reasoning
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Luigi Bellomarini, Emanuel Sallinger, and Georg Gottlob. The Vadalog system: Datalog-based reasoning for knowledge graphs. Proc. VLDB Endow., 11(9):975-987, 2018. URL: https://doi.org/10.14778/3213880.3213888.
- Sebastian Brandt, Elem Güzel Kalaycı, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev. Querying log data with metric temporal logic. J. Artif. Intell. Res., 62:829-877, 2018. URL: https://doi.org/10.1613/JAIR.1.11229.
- Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev. Ontology–based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci, 29(1):17-30, 2019. URL: https://doi.org/10.2478/AMCS-2019-0002.
-
Przemysław Andrzej Wałęga, Bernardo Cuenca Grau, Mark Kaminski, and Egor V. Kostylev. DatalogMTL: Computational complexity and expressive power. In Sarit Kraus, editor, Proc. IJCAI, pages 1886-1892, 2019.
-
Dingmin Wang, Pan Hu, Przemysław Andrzej Wałęga, and Bernardo Cuenca Grau. MeTeoR: Practical reasoning in datalog with metric temporal operators. In Proc. AAAI, pages 5906-5913, 2022.
- Przemysław Andrzej Wałęga, David J. Tena Cucala, Bernardo Cuenca Grau, and Egor V. Kostylev. The stable model semantics of Datalog with metric temporal operators. Theory Pract. Log. Program., 24(1):22-56, 2024. URL: https://doi.org/10.1017/S1471068423000315.
- Przemysław Andrzej Wałęga, Mark Kaminski, Dingmin Wang, and Bernardo Cuenca Grau. Stream reasoning with DatalogMTL. J. Web Semant., 76:100776, 2023. URL: https://doi.org/10.1016/J.WEBSEM.2023.100776.
- Przemysław Andrzej Wałęga, Michał Zawidzki, and Bernardo Cuenca Grau. Finite materialisability of Datalog programs with metric temporal operators. J. Artif. Intell. Res., 76:471-521, 2023. URL: https://doi.org/10.1613/JAIR.1.14040.