Module extraction via query inseparability in OWL 2 QL
Boris Yur'evich Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2011
Abstract. We show that deciding conjunctive query inseparability for OWL 2 QL ontologies is PSpace-hard and in ExpTime. We give polynomial-time (incomplete) algorithms and demonstrate by experiments that they can be used for practical module extraction. 1