On the Decidability Status of Fuzzy $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions.
The combination of Fuzzy Logics and Description Logics (DLs) has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been extended to reason also with their fuzzy counterpar...
| Publicado en: | Journal of Philosophical Logic Vol. 44; no. 2; pp. 117 - 147 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Apr2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |