Document Open Access Logo

The Temporal Vadalog System (Short Paper)

Authors Luigi Bellomarini , Livia Blasi , Markus Nissl , Emanuel Sallinger

PDF

File

Thumbnail PDF
PDF
LIPIcs.TIME.2025.15.pdf
  • Filesize: 0.71 MB
  • 8 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Theory of computation → Automated reasoning
  • Information systems → Database management system engines
Keywords
  • temporal reasoning
  • Datalog
  • DatalogMTL

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

The recent resurgence of the Datalog language in the Knowledge Representation and Reasoning community has paved the way for a very promising proposal for temporal extension. DatalogMTL (Datalog with Metric Temporal Operators) is a language that offers a good trade-off between computational complexity and expressive power. However, existing implementations are still preliminary or prototypical. In this extended abstract, we give a brief overview of Temporal Vadalog, a system supporting reasoning over DatalogMTL programs built upon an engineered architecture and adopted in production scenarios in the financial setting.

Cite As Get BibTex

Luigi Bellomarini, Livia Blasi, Markus Nissl, and Emanuel Sallinger. The Temporal Vadalog System (Short Paper). In 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 355, pp. 15:1-15:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.TIME.2025.15

Author Details

Luigi Bellomarini
  • Bank of Italy, Rome, Italy
Livia Blasi
  • TU Wien, Vienna, Austria
  • Bank of Italy, Rome, Italy
Markus Nissl
  • TU Wien, Vienna, Austria
Emanuel Sallinger
  • TU Wien, Vienna, Austria
  • University of Oxford, Oxford, UK

Funding

This work has been supported by the Vienna Science and Technology Fund (WWTF) [10.47379/ICT2201, 10.47379/VRG18013, 10.47379/NXT22018]; and by the Austrian Science Fund (FWF) 10.55776/COE12.

References

  1. Teodoro Baldazzi, Luigi Bellomarini, and Emanuel Sallinger. Reasoning over financial scenarios with the Vadalog system. In EDBT, pages 782-791. OpenProceedings.org, 2023. URL: https://doi.org/10.48786/edbt.2023.66.
  2. Luigi Bellomarini, Davide Benedetto, Georg Gottlob, and Emanuel Sallinger. Vadalog: A modern architecture for automated reasoning with large knowledge graphs. IS, 105:101528, 2022. URL: https://doi.org/10.1016/j.is.2020.101528.
  3. Luigi Bellomarini, Livia Blasi, Markus Nissl, and Emanuel Sallinger. The Temporal Vadalog system. In RuleML+RR, volume 13752, pages 130-145. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-21541-4_9.
  4. Luigi Bellomarini, Livia Blasi, Markus Nissl, and Emanuel Sallinger. The Temporal Vadalog system: Temporal Datalog-based reasoning. Theory and Practice of Logic Programming, pages 1-29, 2025. URL: https://doi.org/10.1017/S1471068425000018.
  5. Luigi Bellomarini, Markus Nissl, and Emanuel Sallinger. Monotonic Aggregation for Temporal Datalog. In Proceedings of the 15th International Rule Challenge, volume 2956, 2021. URL: https://ceur-ws.org/Vol-2956/paper30.pdf.
  6. Luigi Bellomarini, Emanuel Sallinger, and Georg Gottlob. The Vadalog System: Datalog-based reasoning for knowledge graphs. PVLDB, 11(9):975-987, 2018. URL: https://doi.org/10.14778/3213880.3213888.
  7. Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev. Ontology-based data access with a Horn fragment of metric temporal logic. In AAAI, pages 1070-76. AAAI Press, 2017. URL: https://doi.org/10.1609/aaai.v31i1.10696.
  8. Sebastian Brandt, Elem Güzel Kalayci, 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.
  9. Frank Buschmann, Kevlin Henney, and Douglas C. Schmidt. Pattern-oriented software architecture, 4th Edition. Wiley, 2007. URL: https://www.worldcat.org/oclc/314792015.
  10. Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz. A general Datalog-based framework for tractable query answering over ontologies. J. Web Semant., 14:57-83, 2012. URL: https://doi.org/10.1016/j.websem.2012.03.001.
  11. Hector Garcia-Molina, Jeffrey D. Ullman, and Jennifer Widom. Database systems - the complete book (2. ed.). Pearson Education, 2009. Google Scholar
  12. Allen Van Gelder, Kenneth A. Ross, and John S. Schlipf. The well-founded semantics for general logic programs. J. ACM, 38(3):620-650, 1991. URL: https://doi.org/10.1145/116825.116838.
  13. Goetz Graefe and William J. McKenna. The volcano optimizer generator: Extensibility and efficient search. In ICDE, pages 209-218, 1993. URL: https://doi.org/10.1109/ICDE.1993.344061.
  14. NASDAQ OMX Group. NASDAQ composite index. http://tinyurl.com/frednq, 2023. FRED, Federal Reserve Bank of St. Louis, Accessed: 2023-03-22. Google Scholar
  15. David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, and Egor V. Kostylev. Stratified negation in Datalog with metric temporal operators. In AAAI, pages 6488-6495, 2021. URL: https://doi.org/10.1609/aaai.v35i7.16804.
  16. Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, and Egor V. Kostylev. DatalogMTL: Computational complexity and expressive power. In IJCAI, pages 1886-1892, 2019. URL: https://doi.org/10.24963/ijcai.2019/261.
  17. Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, and Egor V. Kostylev. DatalogMTL over the integer timeline. In KR, pages 768-77, 2020. URL: https://doi.org/10.24963/kr.2020/79.
  18. Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, and Egor V. Kostylev. Tractable fragments of Datalog with metric temporal operators. In IJCAI, pages 1919-1925, 2020. URL: https://doi.org/10.24963/ijcai.2020/266.
  19. Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, and Bernardo Cuenca Grau. MeTeoR: Practical reasoning in Datalog with metric temporal operators. In AAAI, pages 5906-5913, 2022. URL: https://doi.org/10.1609/aaai.v36i5.20535.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

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