v1v2 (latest)

Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP

28 January 2013

Papers citing "Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP"

21 / 21 papers shown

Title
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version) A. Artale Anton Gnatenko Vladislav Ryzhikov Michael Zakharyaschev 55 1 0 23 Jan 2025
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology J. C. Jung Vladislav Ryzhikov Franz-Erich Wolter Michael Zakharyaschev 79 0 0 13 Jun 2023
Decidability of Querying First-Order Theories via Countermodels of Finite Width Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph LRM 83 2 0 13 Apr 2023
Ontology-Mediated Querying on Databases of Bounded Cliquewidth C. Lutz Leif Sabellek Lukas Schulze 13 0 0 04 May 2022
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies Maurice Funk J. C. Jung C. Lutz 26 14 0 29 Apr 2022
Conservative Extensions for Existential Rules J. C. Jung C. Lutz J. Marcinkowski 20 1 0 11 Feb 2022
Characterizing the Program Expressive Power of Existential Rule Languages Cathrin Elich 19 3 0 15 Dec 2021
Conservative Extensions in Horn Description Logics with Inverse Roles J. C. Jung C. Lutz M. Martel Thomas Schneider 19 9 0 19 Nov 2020
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics Meghyn Bienvenu P. Hansen C. Lutz F. Wolter 13 60 0 19 Nov 2020
Query Expressibility and Verification in Ontology-Based Data Access C. Lutz Johannes Marti Leif Sabellek 15 15 0 18 Nov 2020
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics P. Bourhis C. Lutz 13 20 0 22 Oct 2020
A tetrachotomy of ontology-mediated queries with a covering axiom Olga Gerasimova S. Kikot Agi Kurucz V. Podolskii Michael Zakharyaschev 24 2 0 07 Jun 2020
When is Ontology-Mediated Querying Efficient? Pablo Barceló C. Feier C. Lutz Andreas Pieris 25 12 0 17 Mar 2020
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL C. Lutz Leif Sabellek 18 8 0 29 Apr 2019
Query Inseparability for ALC Ontologies E. Botoeva C. Lutz Vladislav Ryzhikov F. Wolter Michael Zakharyaschev 23 14 0 31 Jan 2019
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey E. Botoeva B. Konev C. Lutz Vladislav Ryzhikov F. Wolter Michael Zakharyaschev 20 42 0 20 Apr 2018
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment André Hernich C. Lutz Fabio Papacchini F. Wolter 27 24 0 18 Apr 2018
Exact Learning of Lightweight Description Logic Ontologies B. Konev C. Lutz Ana Ozaki F. Wolter 44 47 0 20 Sep 2017
Containment for Rule-Based Ontology-Mediated Queries Pablo Barceló Gerald Berger Andreas Pieris 17 8 0 23 Mar 2017
The Data Complexity of Description Logic Ontologies C. Lutz F. Wolter 47 23 0 08 Nov 2016
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity Meghyn Bienvenu S. Kikot R. Kontchakov V. Podolskii Michael Zakharyaschev 20 17 0 04 May 2016