李璞,蒋运承,王驹.基于保守扩充理论的模块化本体重用.软件学报,2016,27(11):2777-2795 |
基于保守扩充理论的模块化本体重用 |
Modular Ontology Reuse Based on Conservative Extension Theory |
投稿时间:2015-04-29 修订日期:2015-08-24 |
DOI:10.13328/j.cnki.jos.004920 |
中文关键词: 本体重用 保守扩充 模块化 ε-Connections 理论 |
英文关键词:ontology reuse conservative extension modularization ε-Connections theory |
基金项目:国家自然科学基金(61272066);教育部新世纪优秀人才支持计划(NCET-12-0644);广州市科技计划(2014J4100031,201604010098);广西可信软件重点实验室(桂林电子科技大学)研究课题(KX201419) |
|
摘要点击次数: 1643 |
全文下载次数: 1597 |
中文摘要: |
分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足,以ε-Connections语言构建的模块化本体库为研究对象,基于保守扩充理论提出了本体模块知识完整性概念,并证明了知识完整性的相关性质.在此基础上,给出了一种针对模块化本体库的保守扩充重用算法ERMMO(extracting reused modules from modularontologies),讨论了该算法的两种子算法EMMOIK和EMOIK的特点及适用条件.分析并验证了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 ε-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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |