Suite Kontchakov

Download(0 Kb)
Submitter: Roman Kontchakov
Description: QBF encodings related to Minimal Query Inseparability Module Extraction in DL-Lite. Details in Kontchakov, Roman, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, and Michael Zakharyaschev. "Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers." In IJCAI, vol. 9, pp. 836-841. 2009.
Number of families: 1