中文摘要：

本体修正是研究本体的构建和维护的一个逻辑理论，是考虑在增加新知识的同时维护本体的协调性和完整性的手段之一。信息系统的本体修正中常常出现结构不清、矛盾和冗余等问题，因此，需要建立一套有效的本体修正的理论和方法。本项目基于信念修正公理化方法对本体修正的逻辑基础进行研究。首先，对本体的构建过程进行研究，提出本体系统的语言和推理规则，并且利用缺省理论来分析本体的协调性；然后，基于信念修正公理化方法，根据本体的特性，提出本体修正基本假定和满足该基本假定的本体修正公理系统，并且根据修正断言与本体的协调性，提出满足该公理系统的一个具体的本体修正算子；最后，将信念修正推广到缺省理论，对本体修正和信念修正进行形式化的比较和分析。 这方面的研究结果将改善目前逻辑理论与实际应用脱离的现状, 在知识表示, 分析和推理方面有一定的理论意义和实用价值。

结论摘要：

本体修正是研究本体的构建和维护的一个逻辑理论，是考虑在增加新知识的同时维护本体的协调性和完整性的手段之一。本项目基于信念修正公理化方法对本体修正的逻辑基础进行研究。首先，研究本体系统的语言和推理规则，并且利用缺省理论来分析本体的协调性；然后，根据本体的特性，研究本体修正基本假定和修正公理系统，以及满足该公理系统的具体的本体修正算子；最后，将信念修正推广到缺省理论，对本体修正和信念修正进行形式化的比较和分析。 这方面的研究结果将改善目前逻辑理论与实际应用脱离的现状, 在知识表示, 分析和推理方面有一定的理论意义和实用价值。通过三年的研究，我们发表基金资助学术论文26篇（其中EI检索12篇，ISTP检索1篇），得到了以下主要成果（1）基于本体系统的本体论假定，提出了本体系统的语言和推理规则，并且给出了本体的形式定义．根据类，个体，槽和类槽这四个层次上的断言之间和不同层次上的断言之间的冲突，对本体和本体的逻辑闭包的协调性进行分析．最后，将本体转换为本体系统的缺省理论和正规缺省理论，并且证明了如果本体具有树形结构，那么该缺省理论只有一个扩展．（2）根据本体的结构特性，本体中的断言间的逻辑关系，提出了本体修正假定和OR公理系统，并且证明了OR公理系统蕴含成功原则和协调原则. 根据修正断言与本体，本体的逻辑闭包，以及本体的逻辑闭包在封闭世界假设下的扩展理论的协调性，提出了对本体和修正断言之间的各种协调和不协调的情况进行修正的本体修正算子，并且证明了该算子满足OR公理系统．（3）给出了本体系统到基于一阶逻辑的缺省理论的转换函数．基于该转换函数，我们将本体的逻辑闭包转换为缺省理论．根据该转换函数和本体修正算子，定义了对该缺省理论进行修正的信念修正函数，并且证明了该信念修正算子满足AGM公理和由本体修正的OR公理系统转换得到的公理系统. （4）对本体中的超缺省规则和形式上下文进行了研究，给出了超缺省规则、超缺省理论及其扩展的定义和性质；以及提出了对本体中的形式上下文进行研究的理论和方法．（5）将本体系统构建及修正理论应用于智能教学系统的知识库构建与维护中，提出了基于本体论的领域知识表示方法和网上的教学资源的共享模式，以及基于本体的知识管理系统模型；构建了民族教育资源本体，并且对该本体进行动态维护和修正.