PUMA
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.
 
 
Abstract
(English)
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
Fuzzy
OWL 2
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