描述逻辑是一类用于表达结构化的知识,并按照规则来提取和推理的形式化语言,它是语义网本体的逻辑基础。在语义网这种开放变化的、异地合作的环境中,获得的信息通常是不完美的。基于描述逻辑表示的知识库或本体可能包含不协调的知识,而描述逻辑不能处理不协调的知识。超协调方法指利用非经典的推理关系,使矛盾能被容纳但从矛盾却不能推出一切――这被称为超协调性。超协调描述逻辑为描述逻辑提供一种满足超协调性的推理机制。本文主要研究超协调描述逻辑,主要工作包括:1.针对多值描述逻辑不满足消解规则,提出了一种准经典描述逻辑,给出了准经典描述逻辑的表演算和归约算法,并初步实现了OWLDL超协调推理系统PROSE。2.针对准经典描述逻辑不满足协调性保护性质和排中律,提出了极小悖论描述逻辑,并给出了极小悖论描述逻辑的带标记的极小表演算。3.针对基于多值的超协调方法和基于协调子集的超协调方法对引起不协调双方缺乏主次之分,提出了辩论描述逻辑,并给出了描述逻辑DL-Lite上的辩元搜索算法。