基于证据理论的本体不一致性度量方法研究  

Measuring Ontology Inconsistency Based on Dempster-Shafer Theory

作　　者：李冬梅[1,2] 林友芳[1] 黄厚宽[1] 田萱[2] 

机构地区：[1]北京交通大学计算机与信息技术学院,北京100044 [2]北京林业大学信息学院,北京100083

出　　处：《计算机研究与发展》2013年第3期559-567,共9页Journal of Computer Research and Development

基　　金：中央高校基本科研业务费专项资金(2010JBZ2007;YX2011-30)

摘　　要：随着语义网技术的发展,本体不一致性问题成为本体研究中的热点之一.度量本体的不一致度是处理本体不一致的基础和前提.在分析证据理论不确定推理方法特点与本体不一致性度量问题特点的基础上,提出了一种基于证据理论的本体不一致性度量ETOICM方法,对相关结果进行了证明,给出了度量的计算公式和实现算法,通过实验将该方法与相关方法进行对比分析,说明了该方法的特点.另外,ETOICM方法的度量结果可以作为权重值,为下一步采用不确定性方法进行本体不一致的诊断修复和推理工作提供依据.As the size of ontologies grows and applications become more complex, it is often difficult to construct an ontology which is error-free. Inconsistencies arise naturally in the design and development of ontologies. Measuring ontology inconsistency is the basis and prerequisite of inconsistency-dealing, which can help us to decide how to act on an inconsistency, whether to ignore it or to resolve it. A number of proposals have been made for measuring the degree of inconsistency of an ontology. Most of these efforts start with flat ontology. However, the importance of ontology items is regarded unequal in numerous applications, while weights are associated with items of ontology. Therefore, measuring ontology inconsistency with weighted formulae is a significant but hard work. After analyzing the characteristics of uncertainty reasoning method based on evidence theory and ontology inconsistent measurement, this paper proposes an ontology inconsistency measurement method named ETOICM and then proves its correctness. Finally, measurement formula and algorithm are given. Compared with the related methods, features of the new method are illustrated. In addition, the measurement results of ETOICM method can be used as weights and provide basis for further resolving inconsistency and reasoning with inconsistent ontology.

关 键 词：本体 描述逻辑 不一致性推理 不一致性度量 证据理论 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]