| 摘要: |
| 分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足，以ε-Connections语言构建的模块化本体库为研究对象，基于保守扩充理论提出了本体模块知识完整性概念，并证明了知识完整性的相关性质.在此基础上，给出了一种针对模块化本体库的保守扩充重用算法ERMMO（extracting reused modules from modularontologies），讨论了该算法的两种子算法EMMOIK和EMOIK的特点及适用条件.分析并验证了ERMMO算法的可行性和正确性.ERMMO算法是当前保守扩充重用算法的一般化扩充，对模块化思想应用于本体重用问题有所启示. |
| 关键词: 本体重用 保守扩充 模块化 ε-Connections 理论 |
| DOI：10.13328/j.cnki.jos.004920 |
| 分类号: |
| 基金项目:国家自然科学基金（61272066）；教育部新世纪优秀人才支持计划（NCET-12-0644）；广州市科技计划（2014J4100031，201604010098）；广西可信软件重点实验室（桂林电子科技大学）研究课题（KX201419） |
|
| Modular Ontology Reuse Based on Conservative Extension Theory |
|
LI Pu1,2, JIANG Yun-Cheng1, WANG Ju3
|
|
1.School of Computer Science, South China Normal University, Guangzhou 510631, China;2.Software Engineering College, Zhengzhou University of Light Industry, Zhengzhou 450000, China;3.College of Computer Science and Information Engineering, Guangxi Normal University, Guilin 541004, China
|
| Abstract: |
| 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 ε-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. |
| Key words: ontology reuse conservative extension modularization ε-Connections theory |
