When are description logic knowledge bases indistinguishable
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2015
Deciding inseparability of description logic knowl-edge bases (KBs) with respect to conjunctive queries is fundamental for many KB engineering and maintenance tasks including versioning, mod-ule extraction, knowledge exchange and forget-ting. We study the combined and data complex-ity of this inseparability problem for fragments of Horn-ALCHI, including the description logics un-derpinning OWL 2 QL and OWL 2 EL.