Record link: 
http://hdl.handle.net/20.500.12708/221114
-
Title: 
The Temporal Vadalog System
en
Citation: 
Bellomarini, L., Blasi, L., Nissl, M., & Sallinger, E. (2025). The Temporal Vadalog System. In 32nd International Symposium on Temporal Representation and Reasoning. 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025), London, United Kingdom of Great Britain and Northern Ireland (the). Schloss Dagstuhl. https://doi.org/10.4230/LIPICS.TIME.2025.15
-
Publisher DOI: 
10.4230/LIPICS.TIME.2025.15
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Bellomarini, Luigi 
Blasi, Livia 
Nissl, Markus 
Sallinger, Emanuel 
-
Organisational Unit: 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML) 
-
Published in: 
32nd International Symposium on Temporal Representation and Reasoning 
-
ISBN: 
978-3-95977-401-7
-
Volume: 
355
-
DOI of the book: 
10.4230/LIPIcs.TIME.2025.0
-
Date (published): 
13-Oct-2025
-
Event name: 
32nd International Symposium on Temporal Representation and Reasoning (TIME 2025) 
en
Event date: 
27-Aug-2025 - 29-Aug-2025
-
Event place: 
London, United Kingdom of Great Britain and Northern Ireland (the)
-
Number of Pages: 
8
-
Publisher: 
Schloss Dagstuhl
-
Peer reviewed: 
Yes
-
Keywords: 
DatalogMTL (Datalog with Metric Temporal Operators); Knowledge Representation and Reasoning (KRR); Temporal Vadalog System; Temporal Join Algorithm
en
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.
en
Project title: 
Scalable Reasoning in Knowledge Graphs: VRG18-013 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

8
checked on Nov 17, 2025

Google ScholarTM

Check