| 基于模型诊断的本体调试局部定位 |
| |
| 引用本文： | 欧阳丹彤,苏静,叶育鑫,崔仙姬.基于模型诊断的本体调试局部定位[J].吉林大学学报(工学版),2014(6):1757-1763. |
| |
| 作者姓名： | 欧阳丹彤 苏静 叶育鑫 崔仙姬 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院;吉林大学符号计算与知识工程教育部重点实验室;吉林大学国家地球物理探测仪器工程技术研究中心 |
| |
| 基金项目： | 国家自然科学基金重点项目(61133011);国家自然科学基金面上项目(41172294,61170314,61272208);吉林省科技发展计划项目青年基金(201201011) |
| |
| 摘 要： | 将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理机计算不可满足概念的一个MUCS,并结合宽度优先原则和Reiter碰集树算法得到所有MUCS。最后利用现实本体对本文算法进行测试,实验结果表明:与传统的MUPS本体调试方法相比,MUCS调试方法能够将逻辑冲突定位到局部位置,准确有效地完成本体调试任务。
|
| 关 键 词： | 本体调试 定位 最小不可满足保持子术语集 极小不一致保持子集 |
| 本文献已被 CNKI 等数据库收录！ |
|
