Tractable reasoning with vague knowledge using fuzzy $\mathcal{EL}^{++}$
Journal of Intelligent Information Systems
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
Information Sciences: an International Journal
| Hi-index | 0.00 |
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, little attention has been given to the role of datatypes in fuzzy DLs. This paper presents a fuzzy DL with three kinds of extended datatype restrictions, together with the necessary rules to reason with them.