一种面向DL-Lite本体原子断言的不一致度量算法  

An algorithm for measuring inconsistency for atomic assertions in DL-Lite ontologies

作　　者：周丽平[1] 黄厚宽[1] 瞿有利[1] 

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

出　　处：《南京大学学报（自然科学版）》2010年第2期115-121,共7页Journal of Nanjing University（Natural Science）

基　　金：国家"973"重点基础研究发展计划(2007CB307100;2007CB307106);北京市科技计划项目(Z09050600910902)

摘　　要：本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.度量不一致可以为解决本体不一致提供一些额外的信息.目前很多度量不一致度的方法都是基于复杂的描述逻辑,不适合具有大数据量的本体.本文从简单的描述逻辑DL-Lite入手,通过分析DL-Lite的特点,给出了原子断言不一致度的定义和一种能够有效计算原子断言不一致度的算法.算法复杂度的分析及实际的应用表明该方法是有意义的.Inconsistencies frequently occur within the ontology lifecycle, such as ontology construction, ontology evolution and ontology merging. Handling inconsistencies, especially, handling logical inconsistency in ontologies is increasingly recognized as an important research topic. When dealing with logical inconsistency, we frequently need extra information that can facilitate us to choose a proper strategy to resolve this problem. It has been shown that measuring inconsistency in ontologies can provide valuable information for many different inconsistency handling approaches, such as revising ontologies, debugging ontologies and evaluating inconsistent ontologies. Recently, many approaches of measuring inconsistencies do not adapt to very large real life ontologies because they are usually based on expressive description logics which suffer from worst case exponential time behavior of reasoning. In this paper, we focus on DL-Lite, a tractable description logic which can keep all reasoning tasks tractable and are specifically tailored to deal with large amounts of data. By analyzing the character of DL-Lite, we give the definition of root atomic assertion and point out that root atomic assertions can lead to inconsistencies, we are the first to give a definition of inconsistency degree of atomic assertions. We also give an algorithm to compute this inconsistency degree and show that its time complexity is in PTime in the size of ABox and Tbox. The analysis of eomplexity and some applications we give demonstrate that our work is important for dealing with ineonsisteney for DL-Lite ontologies.

关 键 词：DL-Lite 度量不一致 原子断言 

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