کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
394292 | 665790 | 2011 | 21 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQSROIQ Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQSROIQ](/preview/png/394292.png)
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 SROIQSROIQ, 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.
Journal: Information Sciences - Volume 181, Issue 4, 15 February 2011, Pages 758–778