ResearchofResolutionindescriptionlogic

This paper describes the logic in the application of the Semantic Web, in the semantic data model definition and reasoning, including the following aspects:(1) Research description logic architecture, describing the construction of the logical operator, describing the logic of reasoning must satisfy the basic properties. The development of the Semantic Web and Semantic Web architecture to make a brief presentation, a common method of knowledge representation is given enough to build ontology OWL ontology description language norms and the construction of operator and support justice, analysis of the three OWL sub-language OWL Lite, OWL DL and OWL Full relationship.(2) Research and analyze the development status of the Semantic Web, the link between the Semantic Web and description logic, semantic representation of the proposed problems are given, Tableaux--- reasoning algorithm is given to meet the satisfiability.(3) Reference to a first-order predicate logic, complete description of the logic of the ideological reasoning, using the reasoning control strategy to accomplish the semantic reasoning.(4) The use of rough set theory describing the uncertainty of knowledge.Paper is divided into seven chapters, the first chapter describes the background to the study and the need for paper; the second chapter study of description logic concepts and its architecture; The third chapter describes the development of the Semantic Web Status and development prospects of the Semantic Web, and elaborated the relationship between description logic; the fourth chapter describes the first-order predicate logic reasoning used in the method attribute, and summed up the reasoning process used in control strategy; the fifth chapter describes rough set theory, describing the use of the rough set theory to represent the description of uncertainty knowledge; the sixth chapter using the Jena ontology framework model to achieve to complete the query and reasoning; the seventh chapter summary the whole text as well as my vision for the future.