Reality inconsistency analysis method based on descriptive logic

Abstract

The invention relates to a method of analysing noumenon inconsistency based on description logic, and belongs to the semantic and noumenon analysis field, which is characterized in building a noumenon warehouse, a buffering noumenon library, a noumenon inconsistency analysis module, a logic inference machine RACER and a noumenon tool Protege. The method analyses inconsistent noumenon stored in the buffering noumenon library via the noumenon inconsistency analysis module and calculates a minimum inconsistent axiomatic set and a minimum inconsistent hitting set of the noumenon to finally gain a minimum error set. The minimum error set is the root of generating the noumenon inconsistency. Deleting or modifying the minimum error set can effectively recover consistency of the noumenon. According to the invention can process to analyse for the noumenon in the situation of semantic inconsistency and find out the root of generating the noumenon inconsistency, so as to effectively recover the consistency of the noumenon.

Description

technical field [0001] The invention belongs to the field of semantic and ontology analysis, and aims to provide people with a method for analyzing ontology and solving the inconsistency of ontology under the condition of semantic inconsistency. Background technique [0002] The Semantic Web was formally proposed by WWW founder Tim Berners-Lee in 2001. Its main task is to enable data to be automatically processed and understood by computers. any information needed. The main purpose of its research is to expand the current World Wide Web, so that the information in the network has semantics and can be understood by computers. Semantic Web is mainly realized through ontology. [0003] Ontology is used to describe some subjects clearly and normatively, which can clarify the structure of domain knowledge, obtain unified terms and concepts, and make knowledge sharing possible. The domain ontology established for each professional field can provide the vocabulary of knowledge c...

AI Technical Summary

Problems solved by technology

This inconsistency may come from: 1) the error of the ontology builder, that is, the ontology is inconsistent at the beginning of its establishment due to insufficient knowledge or mistakes of the person who built the ontology; 2) polysemy of a word, that is, a word according to the 3) format conversion, since the ontology has multiple expressions, such as RDF (Resource Description Framework), OWL (Web Ontology Language), etc., when the ontology is converted from one expression to another One way of expression is also prone to inconsistency; 4) Ontology integration, that is, an ontology is integrated from multiple small ontologies. Due to the different construction methods of each small ontology, it is often difficult to achieve consistency in the integrated ontology

[0012] Many researchers have considered the problem of ontology inconsistency, but its research and application are still far from perfect

Schlobach et al. studied the diagnosis and repair of inconsistent ontology in SEKT (Semantically Enabled Knowledge Technologies) project, and proposed the concept of Pinpoint as the diagnostic set of ontology, but the author used a heuristic algorithm, so the completeness of the algorithm cannot be guaranteed (Schlobach S, HUANG Zhisheng. Inconsistent ontology diagnosis and repair [EB / OL]. 2007. http: / / wasp.cs.vu.nl / sekt / dion / sekt363.pdf)

Huang et al. proposed a linear expansion strategy to draw meaningful conclusions from inconsistent ontologies, but its application has certain limitations (HUANG Zhisheng, Harmelen VF, Teije AT. Reasoning with inconsistent ontologies[C]. / / Proc IJCAI'05. Edinburgh, UK: Professional Book Center, 2005: 254-259.)

Deng et al. used the Shapley value in game theory to calculate the error degree of each axiom in the ontology, and solved the inconsistency problem by deleting the axiom with the largest Shapley value, but the computational complexity is exponential, and it is inconvenient to implement (DENG Xi , Haarslev V, Shiri N. Measuring inconsistencies in ontologies [J]. Lecture Notes in Computer Science, 2007, 4519: 326-340.)

Images