DROPS

Document

Short Paper

DOI: 10.4230/LIPIcs.TIME.2025.15

The Temporal Vadalog System (Short Paper)

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

Published in: LIPIcs, Volume 355, 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)

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

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)

Copy BibTex To Clipboard

@InProceedings{bellomarini_et_al:LIPIcs.TIME.2025.15,
  author =	{Bellomarini, Luigi and Blasi, Livia and Nissl, Markus and Sallinger, Emanuel},
  title =	{{The Temporal Vadalog System}},
  booktitle =	{32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)},
  pages =	{15:1--15:8},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-401-7},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{355},
  editor =	{Vidal, Thierry and Wa{\l}\k{e}ga, Przemys{\l}aw Andrzej},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2025.15},
  URN =		{urn:nbn:de:0030-drops-244611},
  doi =		{10.4230/LIPIcs.TIME.2025.15},
  annote =	{Keywords: temporal reasoning, Datalog, DatalogMTL}
}

Search Results

Documents authored by Blasi, Livia

The Temporal Vadalog System (Short Paper)

Abstract

Cite as

Thanks for your feedback!

Could not send message