Research On Ontology Reasoning Based On OWL

Since 2000, due to the identification of grammar structure by Time Berners-Lee, people have focused on the application of Ontology. With the development of Ontology, the descriptive language of ontology is going to diversification, and every ontology has its own structure operator and grammar basic. Since 2002, OWL (Web Ontology Language) became the recommended ontology descriptive language of W3C, the research on OWL is more and more important. Because we can know the grammar of language much better by researching on ontology descriptive language, we can prepare for discursion regulation research.Recently, the discursion of ontology has been focused, and the research of discursion becomes more and more mature, but much research addresses on the discursion domain ontology, not too much research on Tbox. The set of axiom is the basic part of descriptive logic, and it supports the ontology, the research on discursion regulation of axiom can help us obtaining knowledge. People can get the knowledge from ontology, but some of the important knowledge is often get from the recessive ontology. The recessive knowledge is the key information, which is not presented directly but in the ontology content or the relevant webpages. So far, the research on the discursion of recessive knowledge, especially the recessive knowledge deduced from the OWL descriptive ontology, has been the hot point of ontology discursion.Through the research and analysis on RDF(Resource Description Framework) implication regulation and OWL language operator, this dissertation locates the implication grammar of OWL, creates the regulation set and formulate the applied arithmetic, then implement the recessiveknowledge deduced by ontology.The specific research content as follows:1. Introduction of ontology researchThe introduction of the ontology function in grammar net and the development status of ontology.2. The specific introduction of OWL and compile tool JENAThe discussion and analysis are the theory basic for further research. It presents the three sub-language of OWL: OWL lite,OWL dl and OWL full; OWL structure operator and the descriptive logical relation of axiom; the introduction of OWL and RDF characters, which includes: the detailed demonstration of the equivalence and the inequation relation among class, attribute and unit; the introduction of OWL attribute characters, attribute restriction and restricted radices, moreover, their intersection, union and complement. The introduction of compile tool-JENA uses and grammar, which includes the introduction of how-to-use JENA to implement the modeling, reading and writing operations; the save of ontology; query of ontology by RDQL.3. Through the analysis of the recessive regulation and attributes of RDF, I research on the recessive grammar of OWL operator and give out the deduce regulation of these operators.Based on the research of RDF class and attributes, the basic RDF of researching ontology descriptive logic has been done, and the deduce regulation has been found. the research of the recessive deduce regulations in RDF supports the research of deduce regulation based on OWL; in the process of introducing the relation between OWL structure operators and descriptive logic, the grammar relation of OWL operators has been discussed; According to the relation of class, attribute and instance, the deduce relationamong them has been analyzed.4. This dissertation analyze the shortage of the grammar algorithmic based on RDF and PD*, create the algorithmic of ORBO, and the ADL description of ORBO algorithmic.Through the analysis of RDF and PD* algorithmic created by Li, such algorithmic is a iteration arithmetic, the node of such algorithmic could estimate with every deduce relation of every deduce regulation. We found that if the first deduce relation of regulation cannot be matched, the whole deduce regulation cannot be matched. Based on above ideology, we create ORBO algorithmic, and give out the main ideology of ORBO algorithmic and the description of ADL, solve the shortage problem of PD* algorithmic, and give an example of detailed deducing process for ORBO algorithmic.5. The design and implementation of the deduce presentation system based on OWL.Based on the deduce regulation set and ORBO proposed by this dissertation, an presentation system has been implemented, the main functions including: the implementation of deducing the specific ontology deduce regulations; saving the deduced ontology to the specific location; spotting the errors in deducing process; the contrast between the execution time and the deduce result, the contrast result presents no matter the same deduce regulation set used on the different ontology, or the different deduce regulation set used on the same ontology, the time cost of ORBO algorithmic is much less than PD* algorithmic.RDF is the basic for describing ontology, this dissertation based on the research of RDF attribute relations and recessive regulation, proposes that the OWL deduce regulation base on the TBOX of ontology, through the analysis of the relation attribute between the OWL and RDF and the OWL grammar,therefore, the OWL has the universality; the proposed ORBO algorithmic do not use the conventional deducing methodology of point-to-point, but use the methodology of estimating the precondition of deducing regulation, which could avoid the duplicate estimate of node and decrease the time complexity.The work of this dissertation is meaningful for acquiring the recessive knowledge by deducing ontology and querying work in further operations.