基于模型诊断的本体调试局部定位.pdfVIP

第 卷 第 期 （ ） ４４ ６ 吉林大学学报 工学版 Ｖｏｌ．４４ Ｎｏ．６ 　 　 　 年 月 （ ） ２０１４ １１ Ｎｏｖ．２０１４ 　 ＪｏｕｒｎａｌｏｆＪｉｌｉｎＵｎｉｖｅｒｓｉｔ Ｅｎ ｉｎｅｅｒｉｎ ａｎｄＴｅｃｈｎｏｌｏ Ｅｄｉｔｉｏｎ 　 　 　 ｙ ｇ ｇ 　 ｇｙ 　 　 基于模型诊断的本体调试局部定位 ， ， ， ， ， １２ １２ １２ ３ １２ ， ， ， 欧阳丹彤 苏 静 叶育鑫 崔仙姬 　 （ ， ； ， 吉林大学计算机科学与技术学院 长春 吉林大学 符号计算与知识工程教育部重点实验室 １． １３００１２ ２． ； ， ） 长春 吉林大学国家地球物理探测仪器工程技术研究中心 长春 １３００１２３． １３００２６ ： ， 摘 要 将模型诊断引入到本体调试的局部定位 在定义公理的部件术语集的基础上给出不可 　 ， 。 满足概念的ＭＵＣＳ 实现在本体术语集的局部调试 利用ＭＵＣＳ 将不可满足概念的逻辑错误 ， 。 定位至公理内部 ＭＵＣＳ 调试与现有的本体调试是相互独立的 调用外部ＤＬ推理机计算不 ， 。 可满足概念的一个ＭＵＣＳ 并结合宽度优先原则和Ｒｅｉｔｅｒ碰集树算法得到所有ＭＵＣＳ 最后 ， ： ， 利用现实本体对本文算法进行测试 实验结果表明 与传统的 ＭＵＰＳ 本体调试方法相比 ， 。 ＭＵＣＳ 调试方法能够将逻辑冲突定位到局部位置 准确有效地完成本体调试任务 ： ； ； ； 关键词 本体调试 定位 最小不可满足保持子术语集 极小不一致保持子