PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Delgado M., Gómez-Romero J., Straccia U. Fuzzy description logics under Gödel semantics. In: International Journal of Approximate Reasoning, vol. 50 (3) pp. 494 - 514. Elsevier, 2009.
 
 
Abstract
(English)
Classical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description Logics as an appropriate formalism to represent this type of knowledge. Different families of fuzzy operators lead to Fuzzy Description Logics with different properties. This paper studies Fuzzy Description Logics under a semantics given by the G"{o}del family of fuzzy operators. We investigate some logical properties and show the decidability of a fuzzy extension of the logic $mathcal{SROIQ}$, theoretical basis of the language OWL 1.1, by providing a reasoning preserving procedure to obtain a crisp representation for it. Additionally, we show how to represent some types of concept and role modifiers.
URL: http://www.sciencedirect.com/science/journal/0888613X
DOI: 10.1016/j.ijar.2008.10.003
Subject Fuzzy Description Logics
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