基于保守扩充理论的模块化本体重用

Modular Ontology Reuse Based on Conservative Extension Theory

分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足,以ε-Connections语言构建的模块化本体库为研究对象,基于保守扩充理论提出了本体模块知识完整性概念,并证明了知识完整性的相关性质.在此基础上,给出了一种针对模块化本体库的保守扩充重用算法ERMMO(extracting reused modules from modular ontologies),讨论了该算法的两种子算法EMMO_(IK)和EMO_(IK)的特点及适用条件.分析并验证了ERMMO算法的可行性和正确性.ERMMO算法是当前保守扩充重用算法的一般化扩充,对模块化思想应用于本体重用问题有所启示.

In this paper, the current research progresses of ontology reuse is reviewed and the issue that current ontology reuse algorithms can merely be applied to a single independent ontology is addressed. Focusing on the modular ontologies with s-Connections language, the IKMo （integrity of knowledge about the module in an ontology） is presented based on the theory of conservative extension. The related properties of IKMo are proved. Further, an algorithm for the ontology reuse with the conservative extension ERMMO （extracting reused modules from modular ontologies） is provided. The features and conditions of two sub-algorithms of ERMMO are discussed. Lastly, the feasibility and soundness of ERMMO are analyzed and verified. ERMMO is a generalization of the current reuse algorithms based on conservative extension theory, and can be served as the guidelines for reuse of modular ontologies.