Conjunctive Query Inseparability of OWL 2 QL TBoxes.

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

Browse the full AAAI paper archive.