First Order-Rewritability and Containment of Conjunctive Queries in Horn
Description Logics

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

19 November 2020

Meghyn Bienvenu

ArXiv (abs)PDF HTML

Papers citing "First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics"

15 / 15 papers shown

Title
Shapley Value Computation in Ontology-Mediated Query Answering Meghyn Bienvenu Diego Figueira Pierre Lafourcade 30 2 0 29 Jul 2024
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
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 of Frontier-Guarded Ontology-Mediated Queries Pablo Barceló Gerald Berger C. Lutz Andreas Pieris LRM 11 16 0 18 Nov 2020
Query Expressibility and Verification in Ontology-Based Data Access C. Lutz Johannes Marti Leif Sabellek 12 15 0 18 Nov 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
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs Pablo Barceló V. Dalmau C. Feier C. Lutz Andreas Pieris 13 7 0 28 Dec 2019
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
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries P. Hansen C. Lutz 16 6 0 18 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
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