Cover Image
QR Code

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...

Full description

Published in:Journal of Philosophical Logic Vol. 44; no. 2; pp. 117 - 147
Main Authors: Baader, Franz, Borgwardt, Stefan, Peñaloza, Rafael
Format: Article
Published: Springer Nature Apr2015
Subjects:
Fuzzy logic
Algorithms
Description logics
Mathematical formulas
Problem solving
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost