ML Anthology

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers

Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
IJCAI 2009 pp. 836-841
/ijcai/2009/kontchakov2009ijcai-minimal/
PDF IJCAI Semantic Scholar

Cite

Text

Kontchakov et al. "Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Kontchakov et al. "Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/kontchakov2009ijcai-minimal/)

BibTeX

@inproceedings{kontchakov2009ijcai-minimal,
  title     = {{Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers}},
  author    = {Kontchakov, Roman and Pulina, Luca and Sattler, Ulrike and Schneider, Thomas and Selmer, Petra and Wolter, Frank and Zakharyaschev, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {836-841},
  url       = {https://mlanthology.org/ijcai/2009/kontchakov2009ijcai-minimal/}
}