PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Straccia U. Finite fuzzy description logics and crisp representations. Fernando Bobillo, Paulo C. G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool (eds.). (Lecture Notes in Computer Science, vol. 7123). Berlin: Springer Verlag, 2013.
 
 
Abstract
(English)
Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge that is imprecise or vague by nature. In fuzzy DLs, restricting to a finite set of degrees of truth has proved to be useful, both for theoretical and practical reasons. 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 fuzzy DLs based on any smooth t-norm defined over this set. Initially we focus on the finite fuzzy DL ALCH, studying some logical properties, and showing the decidability of the logic by presenting a reasoning preserving reduction to the classical case. Finally, we extend our logic in two directions: by considering non-smooth t-norms and by considering additional DL constructors.
URL: http://link.springer.com/chapter/10.1007/978-3-642-35975-0_6
DOI: 10.1007/978-3-642-35975-0_6
Subject Fuzzy Description logic
OWL 2
Semantic Web
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