论文部分内容阅读
本体调试是人工智能中非标准推理任务之一，主要用于找出本体中导致逻辑冲突的解释并进行修改，对于本体工程具有重要意义．结合语法相关性与关联解释，提出一种术语集的极小不可满足子术语集求解方法．语法相关性用于递归扩展不可满足子术语集，从待测术语集中将与不可满足概念语法相关的公理集合加入到不可满足子术语集，一定程度上减少了不相关公理的加入，可以有效减少待测术语集规模．进一步地，将术语集的极小不可满足保持子术语集（minimal unsatisfiability－preserving sub－TBox，MUPS）的求