论文部分内容阅读
概念不可满足是本体建模中一个基本的语义错误,本文在分析已有求解本体中概念不可满足原因方法的基础上,提出一种改进的方法。首先利用改造的tableaux算法求得导致概念不可满足的所有趋于最小的公理集,然后利用收缩策略求得所有符合条件的最小公理集。在理论分析之后,通过一个仿真实例来说明方法的执行效果,最后与相关工作进行比较。实践证明该方法能够有效避免传统方法带来的弊端,具有更高的优越性。