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

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