f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group.

Li Yan,Fu Zhang,Zong Min Ma
DOI: https://doi.org/10.1145/2245276.2245340
2012-01-01
Abstract:To satisfy the need of representing and reasoning with fuzzy knowledge and fuzzy data information in the context of the Semantic Web, an expressive fuzzy Description Logic (DL) named f-SROIQ(G) is proposed in this paper. The fuzzy DL f-SROIQ(G) can support not only the representation and reasoning of complex fuzzy OWL 2 concept knowledge, but also fuzzy data information with customized fuzzy data types and predicates. Briefly, the paper makes the following main contributions: (i) we propose a new fuzzy DL f-SROIQ(G), and define its syntax, semantics and knowledge bases. (ii) we propose a tableau algorithm for deciding the reasoning problems of f-SROIQ(G). The work is a step forward in the direction of fuzzy DLs, the representation and reasoning capabilities of f-SROIQ(G) go beyond the existing fuzzy DLs, and it may lay a theoretical foundation for the representation and reasoning of fuzzy data information in the Semantic Web.
What problem does this paper attempt to address?