Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Straccia U. Finite fuzzy description logics: a crisp representation for finite fuzzy ALCH. 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.
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.
Subject Description Logics
F.4 Mathematical Logic and Formal Languages

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional