Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Straccia U. Towards a crisp representation of fuzzy description logics under Lukasiewicz semantics. In: Foundations of Intelligent Systems. 17th International Symposium on Methodologies for Intelligent Systems - ISMIS 2008 (Toronto, 20-23 May 2008). Proceedings, pp. 309 - 318. (Lecture Notes in Computer Science, vol. 4994). Springer Verlag, 2008.
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but they require an appropriate fuzzy language to be agreed and an important number of available resources to be adapted. An alternative is to use classical ontologies to represent fuzzy ontologies. To date, all of the work in this direction has restricted to the Zadeh family of fuzzy operators. In this paper, we generalize existing proposals and propose a reasoning preserving procedure to obtain a crisp representation for a fuzzy extension of the logic $mathcal{ALCHIO}$ under {L}ukasiewicz semantics. This reduction makes possible to reuse a crisp representation language as well as currently available reasoners under crisp semantics.
URL: http://www.springerlink.com/content/c299021t81k8g4r7/fulltext.pdf
DOI: 10.1007/978-3-540-68123-6
Subject Description Logics
Fuzzy Logic
I.2.4 Knowledge Representation Formalisms and Methods

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