一种基于符号变换的描述逻辑ALC超协调推理算法

语义万维网作为一个开放、不断更新而且相互协作的环境，经常会包含一些不协调的或不精确的信息。众所周知，描述逻辑是语义万维网重要的逻辑基础，然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化，从而容忍本体中出现的不协调。因为这些方法限制了描述逻辑系统的推理能力，所以推理能力弱于经典的描述逻辑推理能力，即使在处理协调的本体时。提出一种基于符号变换的具有强推理能力的超协调推理算法。证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。