Formal Properties of Modularisation
Formal Properties of Modularisation
复制标题
DOI：
10.1007/978-3-642-01907-4_3
复制
发表时间：
2009-05
期刊：
影响因子：
--
通讯作者：
B. Konev;C. Lutz;Dirk Walther;F. Wolter
中科院分区：
文献类型：
--
作者：
B. Konev;C. Lutz;Dirk Walther;F. Wolter
本体的模块化是当前一个活跃的研究领域，并且已经提出了许多不同的模块概念。在本文中，我们回顾了模块化的基本原则，并确定了一个强大的模块化概念应该满足的形式属性。我们在描述逻辑和经典谓词逻辑的背景下详细探索这些属性，并将它们置于逻辑和模块化软件规范中众所周知的概念（例如插值、遗忘和均匀插值）的角度。我们还讨论了与模块化相关的推理问题。
Modularity of ontologies is currently an active research field, and many different notions of a module have been proposed. In this paper, we review the fundamental principles of modularity and identify formal properties that a robust notion of modularity should satisfy. We explore these properties in detail in the contexts of description logic and classical predicate logic and put them into the perspective of well-known concepts from logic and modular software specification such as interpolation, forgetting and uniform interpolation. We also discuss reasoning problems related to modularity.