一种求解本体中概念不可满足原因的优化方法
概念不可满足是本体建模中一个基本的语义错误,本文在分析已有求解本体中概念不可满足原因方法的基础上,提出一种改进的方法。首先利用改造的tableaux算法求得导致概念不可满足的所有趋于最小的公理集,然后利用收缩策略求得所有符合条件的最小公理集。在理论分析之后,通过一个仿真实例来说明方法的执行效果,最后与相关工作进行比较。实践证明该方法能够有效避免传统方法带来的弊端,具有更高的优越性。
本体建模 概念不可满足 最小公理集 收缩策略 计算机数学
王琳琳 蔡健平 林世平
福州大学计算机科学与技术系,福州 350002
国内会议
哈尔滨
中文
511-516
2007-11-20（万方平台首次上网日期，不代表论文的发表时间）