Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers


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.

Extracted Key Phrases

2 Figures and Tables


Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Kontchakov2009MinimalME, title={Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers}, author={Roman Kontchakov and Luca Pulina and Ulrike Sattler and Thomas Schneider and Petra Selmer and Frank Wolter and Michael Zakharyaschev}, booktitle={IJCAI}, year={2009} }