Query-Based Entailment and Inseparability for ALC Ontologies.

Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Browse the full IJCAI paper archive.