Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1905.12990
Cited By
v1
v2 (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
P. Walega
Michael Zakharyaschev
Re-assign community
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
47
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
1