Paper Info
Title
Reasoning with the finitely many-valued Lukasiewicz fuzzy Description Logic SROIQ
Abstract
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 SROIQ, the logic behind the language OWL 2, under finitely many-valued Ł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.
Year
DOI
Venue
2011
10.1016/j.ins.2010.10.020
Information Sciences
Keywords
DocType
Volume
Fuzzy Description Logics,Fuzzy ontologies,Fuzzy logic,Logic for the Semantic Web
Journal
181
Issue
ISSN
Citations 
4
0020-0255
3
PageRank 
References 
Authors
0.37
0
2
Name
Order
Citations
PageRank
Fernando Bobillo174242.86
Umberto Straccia22731251.15