Research on Fuzzy Description Logic Axiom System and Reasoning Mechanism Based on Vague Set
|Course||Computer System Architecture|
|Keywords||Vague Set Discription Logic Semantic Web Axiom System Reasoner|
With the rapid development of Internet and computer, the Semantic Web is being more widely appreciated. It can separate document semantics from document structure to make machine handle the document so that it can solve some problem, which the traditional Web can’t solve. The data not only can be displayed, but also can be automatically processed, integrated, and reused in the Semantic Web environment.Currently, applications of Semantic Web need to deal with a large number of fuzzy information, but the classic description logic as the logical basis is not suitable for the representation and reasoning of fuzzy knowledge. Therefore, the description logic needs to carry on the fuzzy expansion. The existing expansion of fuzzy description logic is not perfect, They can’t uphold the representation of fuzzy knowledge which contains both support and opposition tendency. But such fuzzy knowledge plays an important role in the practical application. With regard to this, a new fuzzy extension of description logic based on Vague Set comes up,which supports the description of complex fuzzy knowledge using interval value to represent the membership. This target as a research paper, the Vague Set Theory as a basis for the Semantic Web the current theory and techniques were more in-depth study, focusing on the theory of complete and systematic presentation. This paper will be introduced to describe the Vague set theory logic, and the establishment of a sound justice system and the system demonstration test of the system. This paper imports Vague Set theory to description logic, establish a perfect axiom system , and inspect the system by demonstration.The main work is as follows:①Vague expansion based on ALC (Attributive concept description Language with Complements) is proposed, The axiom system V-ALC , which acts as theory basis on knowledge representation and reasoning later, is established. Will describe the concept of the logic, relations and other important element is extended, and the corresponding definitions, guidelines, axioms and theorems, etc. The concept, relation and other important element are extended. In addition, the corresponding definitions, guidelines, axioms and theorems are proposed.②Description Language VARL(Vague ALC Rule Language) based on V-ALC Axiom system is proposed .And the current ontology language is expanded by VARL It can deal with information including Vague value. It can supply the design of reasoner with theory basis to make the reasoned perform in this manner. ③Fuzzy reasoner VARLReasoner is put forward by using VARL as Representation language and reasoning framework Jena as reasoning mechanism . It performs by the rules, and gives the relevant results. Finally, A simple demo is applied to prove the capacity of the reasoner.The paper introduces Vague Set theory to represent and reason knowledge in semantic web, and strengthen the ability of dealing with vague information. It provides a set of vague information processing system and has some theoretical and practical significance.