描述逻辑ALC中的ABOX反绎推理算法

摘要：

鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理,涉及了大量变元和Skolem项的使用.ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在ALC上处理ABOX反绎推理问题的算法.该算法将ABOX反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解.

关键词：反绎推理、ABOX反绎推理问题、Tableau、知识库一致性

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：广西研究生教育创新计划2010105950812M24

在线出版日期：2012-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：217-221