Data Complexity and Rewritability of Ontology-Mediated Queries in Metric
Temporal Logic under the Event-Based Semantics (Full Version)

v1v2 (latest)

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)

30 May 2019

Vladislav Ryzhikov

Michael Zakharyaschev

ArXiv (abs)PDF HTML

Papers citing "Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)"

5 / 5 papers shown

Title
Inconsistency Handling in DatalogMTL Meghyn Bienvenu Camille Bourgaux Atefe Khodadaditaghanaki 60 0 0 15 May 2025
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version) A. Artale Anton Gnatenko Vladislav Ryzhikov Michael Zakharyaschev 64 1 0 23 Jan 2025
Seminaive Materialisation in DatalogMTL Dingmin Wang P. Walega Bernardo Cuenca Grau 23 1 0 15 Aug 2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators Dingmin Wang Pan Hu P. Walega Bernardo Cuenca Grau OffRL AI4CE LRM 44 24 0 12 Jan 2022
Query Evaluation in DatalogMTL -- Taming Infinite Query Results Luigi Bellomarini Markus Nissl Emanuel Sallinger 13 4 0 21 Sep 2021