activity
20062026
most citedInseparability and Conservative Extensions of Description Logic Ontologies: A Survey

10 citations · 17 across the 9 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…