期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于模型诊断的本体调试局部定位 被引量:1
1
作者 欧阳丹彤 苏静 +1 位作者 叶育鑫 崔仙姬 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2014年第6期1757-1763,共7页
将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理... 将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理机计算不可满足概念的一个MUCS,并结合宽度优先原则和Reiter碰集树算法得到所有MUCS。最后利用现实本体对本文算法进行测试,实验结果表明:与传统的MUPS本体调试方法相比,MUCS调试方法能够将逻辑冲突定位到局部位置,准确有效地完成本体调试任务。 展开更多
关键词 本体调试 定位 最小不可满足保持子术语集 极小不一致保持子集
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部