PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Delgado M., Gómez-Romero J., Straccia U. Joining Gödel and zadeh fuzzy logics in fuzzy description logics. In: International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, vol. 20 (4) pp. 475 - 508. World Scientific Publishing, 2012.
 
 
Abstract
(English)
Ontologies have succeeded as a knowledge representation formalism in many domains of application. Nevertheless, they are not suitable to represent vague or imprecise information. To overcome this limitation, several extensions to classical ontologies based on fuzzy logic have been proposed. Even though different fuzzy logics lead to fuzzy ontologies with very different logical properties, the combined use of different fuzzy logics has received little attention to date. This paper proposes a fuzzy extension of the Description Logic - the logic behind the ontology language OWL 2 - that joins Gödel and Zadeh fuzzy logics. We analyze the properties of the new fuzzy Description Logic in order to provide guidelines to ontology developers to exploit the best features of each fuzzy logic. The proposal also considers degrees of truth belonging to a finite set of linguistic terms rather than numerical values, thus being closer to real experts' reasonings. We prove the decidability of the combined logic by presenting a reasoning preserving procedure to obtain a crisp representation for it. This result is generalized to offer a similar reduction that can be applied when any other finite t-norms, t-conorms, negations or implications are considered in the logic.
URL: http://www.worldscientific.com/worldscinet/ijufks
DOI: 10.1142/S0218488512500249
Subject Description Logics
Fuzzy Logic
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