Modularity in DL-Lite

13 years 9 months ago
Modularity in DL-Lite
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ontologies. For two members of the DL-Lite family of description logics, we prove important metaproperties of these notions such as robustness under joins, vocabulary extensions, and iterated import of ontologies. The computational complexity of the corresponding reasoning tasks is investigated.
Roman Kontchakov, Frank Wolter, Michael Zakharyasc
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2007
Where DLOG
Authors Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Comments (0)