Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.

Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Browse the full IJCAI paper archive.