人的认知状态会随着知识的变化而变化,有时候会引起知识库不一致现象的出现。本体作为知识的一种表示方法,很多操作都会引起不同程度的本体不一致问题,例如一词多义、本体融合等都会影响本体的协调性。本体推理机是本体知识系统进行推理的工具。推理机进行推理主要有以下两种思想,一种是基于规则的推理,另一种是基于描述逻辑的推理。无论是哪种方法,推理机在进行推理之前都要检查知识库的协调性。当检测到不一致时,系统就会自动停止推理。但是本体推理机只能检测到系统的不一致,并没有提供解决办法,而是把这个问题留给了系统工程师和用户。因此,改善推理机,使得推理机能够在不一致本体的基础上进行推理,变得越来越重要。现在国外已经有学者提出了解决本体不一致问题的方法,这些方法大体可以分为两种思想。一种是对本体中的不一致信息进行修正,得到协调的一致本体,然后再进行推理,例如逻辑领域中的信念修正方法在不一致本体上的应用。另一种思想是采用非标准的推理方法,使得推理能够在容忍矛盾的前提下进行,例如超协调逻辑在本体推理中的应用等。但是,修正不一致本体经常会产生有用信息的丢失,所以本文在第二种思想的基础上提出了一种解决本体不一致问题的方法。本文将逻辑推理领域中的信念非修正方法应用在不一致本体的推理中。当新信念加入到原有的信念集时,有时候会产生不一致现象,信念非修正方法允许不一致信念的存在,把根据新信念集推出的没有相反信息的结论作为系统的最终结论。本文在信念非修正理论的思想上提出了两种解决不一致本体推理问题的方法。一种是将本体语言转化到一阶逻辑下,然后在一阶逻辑下上应用信念非修正方法进行推理。另一种是根据信念非修正的思想改进推理机中的表算法,实现推理机在容忍矛盾的前提下继续推理的功能。同时,本文还研究了描述逻辑到一阶逻辑转化过程的实现,以及改进后的本体推理机的结构框架。