Chinese Journal of Computers   Full Text
Title	Fuzzy Description Logic F-SHOIQ(G) Supporting Representation of Fuzzy Data Types
Authors	WANG Hai-Long1) MA Zong-Min1) YAN Li2) CHENG Jing-Wei1)
Address	1)(Institute of Computer Application Technology, College of Information Science and Engineering, Northeastern University, Shenyang 110004) 2)(Institute of Software Engineering, School of Software, Northeastern University, Shenyang 110004)
Year	2009
Issue	No.8(1511—1524)
Abstract &   Background	Abstract The shortcomings of existing description logics in the representation of fuzzy knowledge and data types are analyzed and a kind of new fuzzy description logic named F-SHOIQ(G) is proposed in the paper. F-SHOIQ(G) can support not only the representation of fuzzy knowledge, but also the representation of fuzzy data information with customized fuzzy data types and customized fuzzy data type predicates. Firstly, the concept of fuzzy data type group and a general formalism of the representation of fuzzy data types are introduced. Then, based on the fuzzy data type group, the syntax, semantics of F-SHOIQ(G) and the components of its corresponding knowledge base are defined. Furthermore, the satisfiability reasoning algorithm of F-SHOIQ(G)-concept based on the fuzzy Tableaux is presented. Secondly, the traditional reasoning architecture in which the reasoning of Tableaux expansion rules and data type can be divided is adopted for the reasoning of F-SHOIQ(G). The corresponding fuzzy data type reasoner is designed. Finally, the decidability of the satisfiability reasoning problem of F-SHOIQ(G)-concept is proved. The representation and reasoning capabilities of F-SHOIQ(G) go beyond the fuzzy description logic FSHOIQ in the representation of data information. F-SHOIQ(G) lays a theoretical foundation for the representation and reasoning of fuzzy data information in the Semantic Web. Keywords fuzzy description logic; F-SHOIQ(G); representation of fuzzy data types；Tableaux algorithm; customized fuzzy data type predicate Background Data type support is one of the most useful features that OWL is expected to provide, which has received extensive discussions in the Semantic Web Best Practices mailing list. Recent efforts have shown that Web ontology languages and their corresponding description logics are limited in the representation of fuzzy data information. Furthermore, they cannot deal with imprecision and uncertainty which widely exist in human knowledge and natural language. The existing researches mainly focus on the representation and reasoning of fuzzy knowledge rather than fuzzy data information. In order to provide reasoning services for the description logics integrated with fuzzy data type group, in this paper, we propose a kind of new fuzzy description logic named F-SHOIQ(G). F-SHOIQ(G) can support not only the representation and reasoning of fuzzy knowledge, but also the representation of fuzzy data information with customized fuzzy data types and predicates. The representation and reasoning capabilities of F-SHOIQ(G) go beyond the other fuzzy description logics in the representation of fuzzy data information. F-SHOIQ(G) lays a foundation for the representation and reasoning of fuzzy knowledge and data in the Semantic Web. This work is supported by the National Natural Science Foundation of China (60873010) and the Program for New Century Excellent Talents in University (NCET-05-0288), and in part by the MOE Funds for Doctoral Programs (20050145024).