Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., & Zakharyaschev, M. In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pages 836–841, 2009.
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers [pdf]Paper  bibtex   

Downloads: 0