A logic-based framework for ontology comparison and module extraction in DL-Lite
A logic-based framework for ontology comparison and module extraction in DL-Lite
复制标题
DL-Lite 中基于逻辑的本体比较和模块提取框架
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
M. Zakharyaschev
中科院分区：
文献类型：
--
作者：
R. Kontchakov;F. Wolter;M. Zakharyaschev
我们开发了一个正式的框架，用于比较DL-Lite本体论的不同版本。我们方法的主要特征是我们考虑了要比较本体论的词汇（=签名）。引入了本体论之间的五种变体和不可分割性关系，并讨论了它们在本体发展和维护中的各自应用。这些变体是通过从数学逻辑中概括保守扩展的概念来获得的，并区分可以在概念包含物之间观察到的不同，通过考虑到其他上下文本体的问题，对Aboxes的查询答案，并考虑了模型的理论，一种模型，，独立于语言的概念。我们比较这些变体，研究它们的元概念，确定相应推理任务的计算复杂性，并提出决策算法。此外，我们表明，可以通过编码QBF满意度并使用O-货架通用QBF求解器来自动化不可分割性。然后，使用本体论之间的不可分割性关系来开发（最小）模块提取的形式框架。我们证明，这些不可分割性关系诱导的最小模块的不同类型可以自动从现实世界中的中等大小的DL-Lite本体论中提取，通过使用多种可萃取算法组成基于可拖动的模块的可挖掘算法，从发动机QBF求解器AQME。最后，我们探讨了统一的插值（或忘记）与本体论之间的不可分割性之间的关系。
We develop a formal framework for comparing di erent versions of DL-Lite ontologies. The main feature of our approach is that we take into account the vocabulary (= signature) with respect to which one wants to compare ontologies. Five variants of di erence and inseparability relations between ontologies are introduced and their respective applications for ontology development and maintenance discussed. These variants are obtained by generalising the notion of conservative extension from mathematical logic and by distinguishing between di erences that can be observed among concept inclusions, answers to queries over ABoxes, by taking into account additional context ontologies, and by considering a model-theoretic, language-independent notion of di erence. We compare these variants, study their meta-properties, determine the computational complexity of the corresponding reasoning tasks, and present decision algorithms. Moreover, we show that checking inseparability can be automated by means of encoding into QBF satisfiability and using o -the-shelf general purpose QBF solvers. Inseparability relations between ontologies are then used to develop a formal framework for (minimal) module extraction. We demonstrate that di erent types of minimal modules induced by these inseparability relations can be automatically extracted from real-world medium-size DL-Lite ontologies by composing the tractable syntactic locality-based module extraction algorithm with non-tractable extraction algorithms using the multi-engine QBF solver aqme. Finally, we explore the relationship between uniform interpolation (or forgetting) and inseparability between ontologies.
影响因子：
5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike