Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers

Kontchakov, Roman; Pulina, Luca; Sattler, Ulrike; Schneider, Thomas; Selmer, Petra; Wolter, Frank; Zakharyaschev, Michael

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers

Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Download BibTeX Cite

Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 836-840.

Abstract

We present a formal framework for (minimal) module extraction based on an abstract notion of inseparability w.r.t. a signature between ontologies. Two instances of this framework are discussed in detail for DL-Lite ontologies: concept inseparability, when ontologies imply the same complex concept inclusions over the signature, and query inseparability, when they give the same answers to existential queries for any instance data over the signature. We demonstrate that different types of corresponding minimal modules for these inseparability relations can be automatically extracted from large-scale DL-Lite ontologies by composing the tractable syntactic locality-based module extraction algorithm with intractable extraction algorithms using the multi-engine QBF solver AQME. The extracted minimal modules are compared with those obtained using non-logic-based approaches.Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, and Michael Zakharyaschev. 2009. Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09. IJCAI, 836–840. https://ijcai.org/proceedings/2009/143

@inproceedings{ijcai2009p143,
  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 = {Proceedings of the Twenty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-09}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Hiroaki Kitano},
  pages     = {836--840},
  year      = {2009},
  url       = {https://ijcai.org/proceedings/2009/143},
}

TY  - CPAPER
TI  - Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers
AU  - Kontchakov, Roman
AU  - Pulina, Luca
AU  - Sattler, Ulrike
AU  - Schneider, Thomas
AU  - Selmer, Petra
AU  - Wolter, Frank
AU  - Zakharyaschev, Michael
T2  - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2009
SP  - 836
EP  - 840
UR  - https://ijcai.org/proceedings/2009/143
ER  -