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

Abstract

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]. © Springer-Verlag Berlin Heidelberg 2005.