A Fuzzy Extension of ALC with Fuzzy Modifiers

In this paper, we apply a class of fuzzy modifiers based on fuzzy relations in description logics (DLs) to represent complex imprecise and incomplete knowledge. We investigate how to introduce the fuzzy modifiers into a fuzzy description logic ALC. The fuzzy description logic ALC with the fuzzy modifiers, called FALC_M in the paper, has a more expressive capacity to represent imprecise and incomplete knowledge. At last, we give the reasoning algorithms for the satisfiability of FALC_M concepts.