Research Of The Knowledge Compilation And Description Logic Reason

Knowledge compilation is a technical used to dealing with the complex reasoning problems, the goal is to improve the efficiency of knowledge of the query. First, given the knowledge base compiled in the offline stage, thereby enhancing the efficiency of online queries. Initially, this technology is widely used to deal with propositions to solve difficult reasoning. In recent years, with the description logic reasoning services for the ongoing research, it has been successfully applied to describe the logical reasoning problems.Reasoning service of description logic is a long-term research problems, the basic problem that the reasoning efficiency of concepts have not get reasonable proposed. Because of the different description language have a different ability, so, the computation complexity of reasoning problems in description logic was proportional with the ability of language expression, if the stronger of language expression ability, the higher the computation complexity is. This paper analyzes the description logic reasoning service in the recent research and existing problems, we applied knowledge compile technology to description logic knowledge base. In this paper, we first make a brief introduce to the basic theory of knowledge compiled which include its object; Then we make a detail introduce the basic language to description logic,application field,system structure and make a deep research in description logic reasoning problems; Expounds the problems existing in the current method; Aiming at the defect existing in the compilation approach, this paper put forward the fourth chapter presents a compiler description logic knowledgebase of data structure.To prove the new compilation approach is effective and feasible, has carried on the experiment, and to the results and original method, the comparison results show that the proposed method in dealing with description logic reasoning have very good effect.