A Fuzzy Description Logic with Fuzzy Data Type Group

The Semantic Web is expected to process concept knowledge and data information in an intelligent and automatic way. Recent research has shown that OWL has a serious limitation on data types; i.e., it does not support customized data types and customized data type predicates. Furthermore, it can't process imprecise and uncertain information which widely exists in the Semantic Web and Ontology. These issues are being addressed by W3C Semantic Web Best Practices and Development Working Group. In the current paper, we make the following two contributions to solve the above limitations: (I) present a new kind of fuzzy description logic F-SHOIQ(G) which can not only support the representation and reasoning of fuzzy concept knowledge, but also support fuzzy data information with customized fuzzy data types and customized fuzzy data type predicates; (ii) give the tableau algorithm for F-SHOIQ(G) and prompt a flexible reasoning architecture for fuzzy data type reasoning, also the design for fuzzy data type reasoner is discussed here. The example in paper witnesses the representation and reasoning capabilities of F-SHOIQ(G) go clearly beyond the other DLs.