Query Inseparability for Description Logic Knowledge Bases.

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Browse the full KR paper archive.