PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Straccia U. Reasoning with the finitely many-valued Lukasiewicz fuzzy description logic SROIQ. In: Information Sciences, vol. 181 (4) pp. 758 - 778. Elsevier, 2011.
 
 
Abstract
(English)
Fuzzy Description Logics are a formalism for the representation of structured knowledge affected by imprecision or vagueness. They have become popular as a language for fuzzy ontology representation. To date, most of the work in this direction has focused on the so-called Zadeh family of fuzzy operators (or fuzzy logic), which has several limitations. In this paper, we generalize existing proposals and show how to reason with a fuzzy extension of the logic $mathcal{SROIQ}$, the logic behind the language OWL 2, under finitely many-valued {L}ukasiewicz fuzzy logic. We show for the first time that it is decidable over a finite set of truth values by presenting a reasoning preserving procedure to obtain a non-fuzzy representation for the logic. This reduction makes it possible to reuse current representation languages as well as currently available reasoners for ontologies.
URL: http://www.sciencedirect.com/science/journal/00200255
DOI: 10.1016/j.ins.2010.10.020
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