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.
['Hailong Wang', 'Z. M. Ma', 'Li Yan', 'Gang Zhang']
A Fuzzy Extension of ALC with Fuzzy Modifiers