CAJ | 학술논문

本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.度量不一致可以为解决本体不一致提供一些额外的信息.目前很多度量不一致度的方法都是基于复杂的描述逻辑,不适合具有大数据量的本体.本文从简单的描述逻辑DL-Lite入手,通过分析DL-Lite的特点.给出了原子断言不一致度的定义和一种能够有效计算原子断言不一致度的算法.算法复杂度的分析及实际的应用表明该方法是有意义的.
본체재어의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 complexity and some applications we give demonstrate that our work is important for dealing with inconsistency for DL-Lite ontologies.