Study On Extended Fuzzy Description Logics Based On Triangular Norms

Description logic is a decidable subset of first-order logic, and it is considered tobe the ontology language of the semantic web, therefore research on description logicis the guarantee of the Semantic Web is implemented. Fuzzy description logic endowsthem with more abundant scope of application, and it satisfied peoples requirementsthat deal with fuzzy information in the actual application.Zadeh’s fuzzy set theory provides an effective tool for solving the problems offuzziness with fuzziness. Different researchers have studied fuzzy description logicfrom different aspects and a series of research results have been achieved, laid a solidfoundation for subsequent research.In this paper, on the basis of previous research conclusions, we summarized theresearch findings that have been obtained and analysis of shortcomings on thecontents and methods in the aspects of study on extended fuzzy description logics.Then, proposed appropriate new extended research. We mainly considered and solvedthe problem in the following areas:1. The fuzzy description logic based on the R0implication operator, or therevised Kleene implication is proposed. At the same time, added thenew interpretation and new rules, makes the new system can complete the basicreasoning tasks. And the syntax, semantics, knowledge base form, and thecorresponding reasoning algorithm of the logic are presented.2. The fuzzy description logics based on general left continuous t-norms arestudied. This kind of logics combines some excellent qualities of left continuoust-norms with description logic. Some properties of the new logical systems areshowed. At the same time, gives the corresponding inference algorithm, and describedsome special properties of fuzzy logic-based on the left continuous t-norms that has.3. The connection between several extended fuzzy description logics is discussed. Some meaningful comments or recommendations are provided for expansion of fuzzydescription logic in the future research work. Finally, from a different perspective,summarizes the numerous extensions of the similarities and differences, and proposeda general rule in the extension should work together to follow.