基于可拓理论的描述逻辑扩展

传统描述逻辑不适合于处理信息不全、存在隐性知识甚至存在矛盾前提的问题,所以作为语义Web的逻辑基础它是不充分的,为此引入可拓学中的物元及其发散规则对它进行了扩充.首先给出了物元的语义解释,然后引入物元及其发散规则扩充Tableau算法,生成了Tableau-E算法和Tableau-E′算法,从而实现了对实例断言集Abox的扩展以及一致性检测,弥补了传统描述逻辑的不足.