Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report)

In Proceedings of the 2nd European Semantic Web Conference (ESWC-05).

In this paper we present a fuzzy version of 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].