In this paper we consider Description Logics (DLs), well-known logics for managing structured knowledge, with its fuzzy extension to deal with vague information. While for fuzzy DLs correct and complete ad-hoc reasoning procedures have been given, 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.
Reducing Fuzzy Description Logics into Classical Description Logics
Straccia U
2004
Abstract
In this paper we consider Description Logics (DLs), well-known logics for managing structured knowledge, with its fuzzy extension to deal with vague information. While for fuzzy DLs correct and complete ad-hoc reasoning procedures have been given, 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_160736-doc_125730.pdf
accesso aperto
Descrizione: Reducing Fuzzy Description Logics into Classical Description Logics
Dimensione
188.37 kB
Formato
Adobe PDF
|
188.37 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
