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

来源：软件学报杂志2016年第11期北京时间：

作者：李璞,蒋运承,王驹

单位：李璞，华南师范大学 计算机学院, 广东 广州 510631;郑州轻工业学院 软件学院, 河南 郑州 45000011,蒋运承，华南师范大学 计算机学院, 广东 广州 51063102,王驹，广西师范大学 计算机科学与信息工程学院, 广西 桂林 54100403

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

关键词：本体重用;保守扩充;模块化;ε-Connections 理论

基金资助：国家自然科学基金（61272066）；教育部新世纪优秀人才支持计划（NCET-12-0644）；广州市科技计划（2014J4100031，201604010098）；广西可信软件重点实验室（桂林电子科技大学）研究课题（KX201419）