本体修正问题研究

项目名称： 本体修正问题研究

项目编号： No.60903131

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 孙瑜

作者单位： 云南师范大学

项目金额： 17万元

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

中文关键词： 本体；信念修正；本体修正；缺省逻辑；

英文摘要：

英文关键词： Ontology；Belief Revision；Ontology Revision；Default logic；