Fuzzy Description Logics (fuzzy DLs) have been proposed as a family of languages to describe structured knowledge with vague concepts. In this paper we consider L-SHIF, an expressive fuzzy DL, under Lukasiewicz semantics, which is within the core of the fuzzy DL reasoner fuzzyDL. We show the decidability of major reasoning problems by providing a calculus based on Mixed Integer Linear Programming.
Reasoning in L-SHIF: an expressive fuzzy description logic under Lukasiewicz semantics
Straccia U
2007
Abstract
Fuzzy Description Logics (fuzzy DLs) have been proposed as a family of languages to describe structured knowledge with vague concepts. In this paper we consider L-SHIF, an expressive fuzzy DL, under Lukasiewicz semantics, which is within the core of the fuzzy DL reasoner fuzzyDL. We show the decidability of major reasoning problems by providing a calculus based on Mixed Integer Linear Programming.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_160853-doc_132041.pdf
solo utenti autorizzati
Descrizione: Reasoning in L-SHIF: an expressive fuzzy description logic under Lukasiewicz semantics
Dimensione
293.02 kB
Formato
Adobe PDF
|
293.02 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.
