177 citations · 621 across the 42 of their papers we have counts for
4 papers · 2 filters
Conservative Extensions in Horn Description Logics with Inverse Roles
Jean Christoph Jung, Carsten Lutz, Mauricio Martel +1
We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) wi…
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
Meghyn Bienvenu, Peter Hansen, Carsten Lutz +1
We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment prob…
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
Cristina Feier, Carsten Lutz, Frank Wolter
We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs base…
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini +1
We study the separation of positive and negative data examples in terms of description logic (DL) concepts and formulas of decidable FO fragments, in the presence of an ontology. I…