Modularity in DL-Lite
Roman Kontchakov, Frank Wolter, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2007
Abstract. 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. 1