Description logics for fuzzy ontologies on semantic web

Dazhou Kang,Baowen Xu,Jianjiang Lu,Yanhui Li
DOI: https://doi.org/10.3969/j.issn.1003-7985.2006.03.012
2006-01-01
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.
What problem does this paper attempt to address?