A Decidable Fuzzy Description Logic F-ALC(G)

摘要

The existing Web Ontology languages and the corresponding description logics don't support customized data type information. Furthermore, they can't process imprecise and uncertain information in the Semantic Web. In order to solve these limitations, we propose a new kind of fuzzy description logic, F-ALC(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.