Debugging And Diagnosing Incoherent Terminologies In Semantic Web

As the extension of the current world wide web, Semantic Web can answer and searchOntology, with the help of the reasoning. Convenienting for people to gain the information, it,which is the base of the next web intelligentize web too, is when it has been raised. Thesemantic web can check the inconsistent ontology, even it is a large one, with the help of theideal reasoning. However, it is the point we must figure out urgently, when Ontology hasalready been checked inconsistently.Too many success semantic webs have already been in lots of domain step-by-step, butthe standard of semantic web and the calculable of Ontology are not suited to every semanticweb with Ontology. It is an especial Ontology in continental project Galileo, which is alwaysmentioned to welkin No.1, as aerospace developing faster nowadays. It needs to have thedefinition like planetary orbits and calculus, the especial applications, as a result the Ontologyin Galileo is an Ontology called No-Restricted Ontology. In the paper, the formalize definitionof the inconsistency of the Ontology has been given out during the reasoning, in order tostudy debugging and diagnosing easily. With the help of the logic difference of ontologies, thestudy discovers a kind of especial axioms as follows in the study of debugging and diagnosingthe actual ontologies: no matter which rule the study use, like the semantic of initialization wewanting the reasoner use, the semantic of target the reasoner really using, the semantic of theOntology itself, or the semantic of target with the ontology having been repaired, one or a setof axioms of vindicability can be contained, which makes the ontology inconsistent.The algorithm of SDA has been defined formalizingly based on the debugging anddiagnosing about the axioms in the paper. It fails, when only a small quantity of simpleconcepts in the ontology, the traditional methods is, the study finding based on a huge ofexperiments. However with the help of the algorithm of SDA, we solve this problem whichhas been nearly ten years. The most effective traditional methods has the same time cost withthe work in this paper, but it is advantaged in space cost the work in this paper has, based onthe study of the traditional ontology. The capability in time of the work in this paper has alsobeen discussed during the following experiments.It is calculated out in only one ontology when this ontology is inconsistent nowadays.However, it limits the study of the special ontology. The study in this paper explains theprimary reason of this special inconsistent ontology based on the Galileo model, and thereason is an assumption of multi-ontologies. Transferring debugging and diagnosing anddistributed communicating debugging and diagnosing are two methods to calculate twodifferent kinds of special ontology, respectively. As the cloud computing, cloud model and the model library developing faster, the effectsof ontology in web is more and more prominent. The improving debugging and diagnosing inthe paper suits well the distributed web, and with the help of the integrity knowledge in modellibrary, the work of debugging and diagnosing in the paper is very important.