含传递角色和存在限制描述逻辑系统的匹配推理

摘要

分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题.针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理.通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法.说明算法的可靠性,并分析算法的复杂性.