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

Roman Kontchakov Luca Pulina Ulrike Sattler Thomas Schneider Petra Selmer Frank Wolter Michael Zakharyaschev Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. 836-841 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-143.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#KontchakovPSSSWZ09