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.

• Type: Conference
• Year: 2007
• Where: DLOG
• Authors: Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
• Keywords: Automated Reasoning, Conservative Extensions, Corresponding Reasoning Tasks, DLOG 2007, Modular Ontologies