Reasoning with qualified cardinality restrictions in fuzzy Description Logics

Description logics (DLs) are modern knowledge representation formalisms which are used today in many applications for reasoning with structured knowledge. Moreover, they are used in the semantic web (an extension of the current web) through the ontology language OWL. On the other hand fuzzy description logics (fuzzy-DLs) have been proposed as expressive logical formalisms capable of capturing and reasoning with vague and imprecise knowledge in the semantic web. In the current paper we investigate on the problem of reasoning with qualified cardinality restrictions (QCRs) in fuzzy DLs, extending previous results on simple number restrictions, thus we present a tableaux algorithm for the the fuzzy-DL f_KD-ALCIQ.