Description Logics and the Semantic Web

Abstract

To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web,a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions (FCDLs) is presented.The syntax and semantics of FCDLs are formally defined,and the forms of axioms and assertions in FCDLs knowledge bases are specified.FCDLs combine both fuzzy concepts from the fuzzy description logics (FDLs) and cut concepts from the extended fuzzy description logics (EFDLs) in the same theory.Furthermore,cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees,which are often used in practice but not supported by the other fuzzy extensions of description logics.FCDLs have more expressive power than FDLs and EFDLs,and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them.Therefore,FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.