Towards a fuzzy description logic for the semantic Web (preliminary report)

In this paper we present a fuzzy version of ${cal SHOIN}(D)$, the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasoning capabilities of fuzzy SHOIN(D) go clearly beyond classical SHOIN(D). We present its syntax and semantics. Interesting features are that concrete domains are fuzzy and entailment and subsumption relationships may hold to some degree in the unit interval [0,1].