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

Description Logic extension based on extenics theory

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

Traditional Description Logic （DL） does not fit to handle the problems with incomplete information, tracit knowledge or even contradiction premise. Therefore it is not sufficient to be the logical foundation of the Semantic Web. For this reason, the matter-element and divergence rules of Extenics were introduced to extend the traditional DL. Firstly, the semantic explanation of matter-element was given. Then the matter-element and divergence rules were used to extend the Tableau algorithm to be new Tableau-E algorithm and Tableau-E＇algorithm, thus realizing the extension and consistency checking of Abox （ assertion of individuals）, and making up the deficiency of traditional DL.