A Fuzzy Description Logic

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). Interesting features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) entailment and subsumption relationships may hold to some degree in the unit interval [0, 1].

• Type: Conference
• Year: 1998
• Where: AAAI
• Authors: Umberto Straccia
• Keywords: AAAI 1998, Corresponding Description Logic, Fuzzy Version, Intelligent Agents, Language Owl Dl