Document Open Access Logo

Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk)

Author Przemysław Andrzej Wałęga

PDF

File

Thumbnail PDF
PDF
LIPIcs.TIME.2024.3.pdf
  • Filesize: 482 kB
  • 3 pages

Document Identifiers

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)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get 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

Author Details

Przemysław Andrzej Wałęga
  • University of Oxford, UK
  • Queen Mary University of London, UK

Funding

This research was partially supported by the EPSRC projects OASIS (EP/S032347/1), ConCuR (EP/V050869/1) and UK FIRES (EP/S019111/1), as well as SIRIUS Centre for Scalable Data Access and Samsung Research UK.

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.

References

  1. 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.
  2. 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.
  3. 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.
  4. 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. Google Scholar
  5. 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. Google Scholar
  6. 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.
  7. 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.
  8. 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.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact