<div class="csl-bib-body">
<div class="csl-entry">Bellomarini, L., Blasi, L., Nissl, M., & Sallinger, E. (2025). The Temporal Vadalog System. In <i>32nd International Symposium on Temporal Representation and Reasoning</i>. 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</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/221114
-
dc.description.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
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Leibniz International Proceedings in Informatics (LIPIcs)
-
dc.subject
DatalogMTL (Datalog with Metric Temporal Operators)
en
dc.subject
Knowledge Representation and Reasoning (KRR)
en
dc.subject
Temporal Vadalog System
en
dc.subject
Temporal Join Algorithm
en
dc.title
The Temporal Vadalog System
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Bank of Italy, Italy
-
dc.relation.isbn
978-3-95977-401-7
-
dc.relation.doi
10.4230/LIPIcs.TIME.2025.0
-
dc.relation.issn
1868-8969
-
dc.relation.grantno
VRG18-013
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
32nd International Symposium on Temporal Representation and Reasoning
-
tuw.container.volume
355
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Schloss Dagstuhl
-
tuw.project.title
Scalable Reasoning in Knowledge Graphs
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publication.orgunit
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)
-
tuw.publisher.doi
10.4230/LIPICS.TIME.2025.15
-
dc.description.numberOfPages
8
-
tuw.event.name
32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)
en
tuw.event.startdate
27-08-2025
-
tuw.event.enddate
29-08-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
London
-
tuw.event.country
GB
-
tuw.event.presenter
Blasi, Livia
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
crisitem.author.dept
Bank of Italy
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
