Sciweavers

AI
2010
Springer

Logic-based ontology comparison and module extraction, with an application to DL-Lite

13 years 10 months ago
Logic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description logics designed for data-intensive applications. 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 difference 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 differences 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 difference. We compare these variants, study their meta-properties, determine the computational co...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2010
Where AI
Authors Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Comments (0)