面向矛盾问题的描述逻辑SHOQ扩展.docVIP

面向矛盾问题的描述逻辑SHOQ扩展 　　摘 要：为了利用描述逻辑的推理规则分析并解决简单矛盾问题，引入了可拓集合作为描述逻辑SHOQ的集合论基础，提出了一种新的描述逻辑DSHOQES，定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系，引入了动作理论以获取概念和关系的质变域和量变域，并给出了DSHOQES中概念、关系、动作等的语义解释以及Tableau算法推理规则，研究了矛盾问题的一般求解方法，从而为矛盾问题的求解提供了策略。 　　关键词：描述逻辑；可拓集合；可拓学；矛盾问题；动作理论 　　0 引言 　　描述逻辑（Description Logic， DL）是一类具有合适定义语义和可判定推理方法的知识表示语言，是语义Web的逻辑基础[1]。近年来，国内外学者对描述逻辑进行了深入的扩展研究。为了提高传统描述逻辑表示知识的能力，更充分地描述语义Web中的信息，对描述逻辑主要进行了以下几个方面的扩展：一是在描述逻辑ALC（Attributive concept description Language with Complements）的基础上增加构造算子关系分层、传递关系、逆关系、数量限定、枚举个体等，以得到不同表述能力的描述逻辑，如SHIF[2]、SHIQ[3]、SHOIQ（D）[4]等； 　　二是为了满足语义Web需要处理模糊和不精确知识的要求，对经典描述逻