OWL Rules Extension And Application Research Of Its Reasoning

Semantic web, which is the extending of Web, can make the computers and people working together more cooperative. OWL, the web ontology language proposed by W3C, is a knowledge representation semantic markup language, and has nice knowledge representation ability to adapt to huge scale reasoning. However, vocabularies in OWL only represent certain and complete concepts and rules, and are unuseful to deal with fuzzy knowledge in real world.Having analyzed the background and extendable property of OWL, learned the theory foundation, the content essential and the form of OWL syntax and semantic, and integrated a Horn clause rules extension to OWL - SWRL , which is recommended by Ian Horrocks, the paper proposes a framework of OWL representation and reasoning based on fuzzy logic, and expatiates on an axiom system which is based on the integration fuzzy logic and OWL.Understanding the mathematic foundation and practical application of fuzzy logic, and integrating the achievement which the experts have done, the paper extends OWL by constructing the new fuzzy axioms, restrictions and rules. Through that, ontologies can represent the fuzzy information in real world. Then we strengthen OWL ability to deal with the basic concepts and various relations of fuzzy logic by the translation rules from OWL to FOWL. Finally, we build a new axiom system, as a result of extending, OWL can represent fuzzy ontologies, and resolve fuzzy knowledge reasoning.Under the extending of the language and logic, and integrating the practical application of ontology modeling and reasoning, an evaluation and a test of extended OWL is taken by the realization of a reasoning system.