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 | ||
| Families: | |||
| Results: | |||