76 citations · 512 across the 33 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.AI2016★ 18 cited
The Data Complexity of Description Logic Ontologies
Carsten Lutz, Frank Wolter
We analyze the data complexity of ontology-mediated querying where the ontologies are formulated in a description logic (DL) of the ALC family and queries are conjunctive queries,…
cs.LO2016★ 2 cited
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov +2
We investigate the problem whether two ALC knowledge bases are indistinguishable by queries over a given vocabulary. We give model-theoretic criteria in terms of (partial) homomorp…