Modular first-order ontologies via repositories
Modular first-order ontologies via repositories
复制标题
通过存储库的模块化一阶本体
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Atalay Özgövde
中科院分区：
文献类型：
--
作者：
M. Grüninger;T. Hahmann;Ali Hashemi;Darren Ong;Atalay Özgövde
从一开始，本体工程的重点一直是支持本体的可重用性和可共享性，以及基于本体的软件系统的互操作性。在用来解决这些挑战的方法中，有本体知识库和本体的模块化。在本文中，我们联合收割机这些方法和使用的一阶本体库（如非保守扩展和相对解释）之间的关系来表征模块化的标准。特别是，我们引入了核心层次结构的概念，这是一套理论与相同的非逻辑词汇，这是所有的非保守扩展的一个独特的根理论。相对解释的技术导致了将一个理论还原为不同核心层次的一组理论的概念。我们展示了这些关系如何支持一个半自动化的过程，分解成不可约的模块的本体。我们还提出了一个半自动化的过程，可以使用模块之间的关系来表征哪些模块可以在不同的本体之间共享和重用。
From its inception, the focus of ontological engineering has been to support the reusability and shareability of ontologies, as well as interoperability of ontology-based software systems. Among the approaches employed to address these challenges have been ontology repositories and the modularization of ontologies. In this paper we combine these approaches and use the relationships between first-order ontologies within a repository (such as non-conservative extension and relative interpretation) to characterize the criteria for modularity. In particular, we introduce the notion of core hierarchies, which are sets of theories with the same non-logical lexicons and which are all non-conservative extensions of a unique root theory. The technique of relative interpretation leads to the notion of reducibility of a theory to a set of theories in different core hierarchies. We show how these relationships support a semi-automated procedure that decomposes an ontology into irreducible modules. We also propose a semi-automated procedure that can use the relationships between modules to characterize which modules can be shared and reused among different ontologies.