Finite fuzzy description logics: a crisp representation for finite fuzzy ALCH (Contributo in atti di convegno)

Type
Label
  • Finite fuzzy description logics: a crisp representation for finite fuzzy ALCH (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bobillo F.; Straccia U. (2010)
    Finite fuzzy description logics: a crisp representation for finite fuzzy ALCH
    in 6th ISWC Workshop on Uncertainty Reasoning for the Semantic Web, Shanghai, China
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bobillo F.; Straccia U. (literal)
Pagina inizio
  • 61 (literal)
Pagina fine
  • 72 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ceur-ws.org/Vol-654/paper6.pdf (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Proceedings of the 6th ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 654 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: URSW 2010 - 6th ISWC Workshop on Uncertainty Reasoning for the Semantic Web (Shanghai, China, 7 November 2010). Proceedings, vol. 654 pp. 61 - 72. (CEUR Workshop Proceedings). CEUR, 2010. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge affected by imprecision or vagueness. In the setting of fuzzy DLs, restricting to a finite set of degrees of truth has proved to be useful. In this paper, we propose finite fuzzy DLs as a generalization of existing approaches. We assume a finite totally ordered set of linguistic terms or labels, which is very useful in practice since expert knowledge is usually expressed using linguistic terms. Then, we consider any smooth t-norm defined over this set of degrees of truth. In particular, we focus on the finite fuzzy DL $mathcal{ALCH}$, studying some logical properties, and showing the decidability of the logic by presenting a reasoning preserving reduction to the non-fuzzy case. (literal)
Note
  • Google Scholar (literal)
  • DBLP (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • University of Zaragoza, Spain, CNR-ISTI, Pisa (literal)
Titolo
  • Finite fuzzy description logics: a crisp representation for finite fuzzy ALCH (literal)
Abstract
  • Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge affected by imprecision or vagueness. In the setting of fuzzy DLs, restricting to a finite set of degrees of truth has proved to be useful. In this paper, we propose finite fuzzy DLs as a generalization of existing approaches. We assume a finite totally ordered set of linguistic terms or labels, which is very useful in practice since expert knowledge is usually expressed using linguistic terms. Then, we consider any smooth t-norm defined over this set of degrees of truth. In particular, we focus on the finite fuzzy DL $mathcal{ALCH}$, studying some logical properties, and showing the decidability of the logic by presenting a reasoning preserving reduction to the non-fuzzy case. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it