In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the considerable practical consequence that reasoning in fuzzy DLs is feasible using already existing DL systems.
Transforming fuzzy description logics into classical description logics
Straccia U
2004
Abstract
In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the considerable practical consequence that reasoning in fuzzy DLs is feasible using already existing DL systems.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_43786-doc_125568.pdf
solo utenti autorizzati
Descrizione: Transforming fuzzy description logics into classical description logics
Tipologia:
Versione Editoriale (PDF)
Dimensione
175.2 kB
Formato
Adobe PDF
|
175.2 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.
