A family of fuzzy description logics with comparison expressions

Abstract

The fuzzy knowledge plays an important role in many applications on the semantic web which faces imprecise and vague information. The current ontology languages on the semantic web use description logics as their logic foundation, which are insufficient to deal with fuzzy knowledge. Comparisons expressions between fuzzy membership degrees are frequently used in fuzzy knowledge systems. However, the current fuzzy extensions of description logics are not support the expression of such comparisons. This paper defines fuzzy comparison cuts to represent comparison expressions, extends fuzzy description logics by importing fuzzy comparison cuts and introducing new constructors. Furthermore, the reasoning algorithm is proposed. It enables representation and reasoning for fuzzy knowledge on the semantic web. Show more