research
∙
08/15/2022
Seminaive Materialisation in DatalogMTL
DatalogMTL is an extension of Datalog with metric temporal operators tha...
share
research
∙
01/12/2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
DatalogMTL is an extension of Datalog with operators from metric tempora...
research
∙
05/30/2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
We investigate the data complexity of answering queries mediated by metr...
research
∙
06/25/2016
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
The systematic modelling of dynamic spatial systems is a key requirement...
research
∙
06/16/2015
