Abstract

Description logics provide a logic foundation of the semantic web and ontology languages, but they are insufficient to deal with fuzzy ontology, which plays an important role in web applications. The fuzzy description logics support representation and reasoning for fuzzy ontology. Comparisons between fuzzy membership degrees are frequently used in fuzzy ontology. However, the current fuzzy description logics don't support the expression of such comparisons. This paper defines fuzzy comparison cuts to represent comparison expressions, and extends fuzzy description logics by importing fuzzy comparison cuts and introducing new constructors. A family of fuzzy description logics with comparison expressions, which have different expressive abilities and reasoning complexities, are presented. They enable representation and reasoning for expressive fuzzy ontology on the semantic web.

Paper Details