| T. Mailis, G. Stoilos, N. Simou, G. Stamou |
| Tractable Reasoning Based on the Fuzzy EL++ Algorithm |
| 7th International Workshop on Uncertainty Reasoning For the Semantic Web, Karlsruhe, Germany, October 2008 |
|
ABSTRACT
|
| Fuzzy Description Logics (f-DLs) are extensions of classic DLs that are capable of representing and reasoning about imprecise and vague knowledge. Though reasoning algorithms for very expressive fuzzy DLs have been explored, an open issue in the fuzzy DL community is the study of tractable systems. In this paper we introduce the fuzzy extension of EL++, we provide its syntax and semantics together with a reasoning algorithm for the fuzzy concept subsumption problem, in which other problems related to fuzzy DLs can be reduced.
|
| 26 October , 2008 |
| T. Mailis, G. Stoilos, N. Simou, G. Stamou, "Tractable Reasoning Based on the Fuzzy EL++ Algorithm", 7th International Workshop on Uncertainty Reasoning For the Semantic Web, Karlsruhe, Germany, October 2008 |
[  PDF] [
BibTex] [
Print] [
 Back] |
