ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1905.12990
  4. Cited By
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
P. Walega
Michael Zakharyaschev
ArXiv (abs)PDFHTML

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
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)
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
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
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Dingmin Wang
Pan Hu
P. Walega
Bernardo Cuenca Grau
OffRLAI4CELRM
44
24
0
12 Jan 2022
Query Evaluation in DatalogMTL -- Taming Infinite Query Results
Query Evaluation in DatalogMTL -- Taming Infinite Query Results
Luigi Bellomarini
Markus Nissl
Emanuel Sallinger
13
4
0
21 Sep 2021
1