On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)

23 January 2025

Papers citing "On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)"

5 / 5 papers shown

Title
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators Dingmin Wang Pan Hu P. Walega Bernardo Cuenca Grau OffRL AI4CE LRM 24 24 0 12 Jan 2022
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version) Vladislav Ryzhikov P. Walega Michael Zakharyaschev 28 23 0 30 May 2019
The DL-Lite Family and Relations A. Artale Diego Calvanese R. Kontchakov Michael Zakharyaschev 58 595 0 15 Jan 2014
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP Meghyn Bienvenu B. T. Cate C. Lutz F. Wolter 46 233 0 28 Jan 2013
A Cookbook for Temporal Conceptual Data Modelling with Description Logics A. Artale R. Kontchakov Vladislav Ryzhikov Michael Zakharyaschev 48 79 0 25 Sep 2012