Abstract: The importance of the nonstandard inference in description logic is analyzed and the current research work and existing problems are summed up. Aiming to the insufficiency of the matching inference which can’t handle number restriction and existential restriction at the same time, this work concentrates on matching inference in description logic [ELN]. The concept patterns are defined by introducing in concept variables in description logic language, then the matching algorithm of [ELN]is presented, its soundness is proved and it is pointed out that the cardinality of the minimal completed set of matchers is exponential of the size of the matching problem.

Key words: description logic, concept pattern, matching

摘要： 分析了描述逻辑非标准推理的重要性，总结了描述逻辑中概念的匹配推理研究现状和存在的问题，针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统[ELN]中概念的匹配推理。将概念变量引入描述语言[ELN]，定义出了[ELN]中概念模式，进而给出了[ELN]中概念的匹配算法，证明了算法的可靠性并指出该算法计算出的匹配极小完全集的基数是随着匹配问题的大小（size）呈指数增长的。

关键词: 描述逻辑, 概念模式, 匹配