描述逻辑中概念的匹配推理研究现状和存在的问题

摘要

描述逻辑除了知识表示外,在众多领域均有使用。描述逻辑有着强大的表达能力,是知识形式化表现的重要方式。今年来描述逻辑受到了人们的极大关注,关于描述逻辑中概念的匹配推理的研究逐渐增多及深入。该文对描述逻辑中概念的匹配推理研究现状进行分析,探讨现存的问题并提出一些解决办法。