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].
A fuzzy description logic for the semantic Web
Straccia U
2006
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). 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].File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_138954-doc_54205.pdf
solo utenti autorizzati
Descrizione: s06
Tipologia:
Versione Editoriale (PDF)
Dimensione
205.11 kB
Formato
Adobe PDF
|
205.11 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.