Finite Fuzzy Description Logics: A Crisp Representation for Finite Fuzzy ALCH.
In Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW-10).
Abstract:
Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge affected by imprecision or vagueness. In the setting of fuzzy DLs, it is common to restrict to a finite set of degrees of truth. In this paper, we propose finite fuzzy DLs as a generalization of existing approaches that consider any smooth t-norm defined over the chain of degrees of truth. We assume a finite totally ordered set of linguistic terms or labels, which is very useful in practice since expert knowledge is usually expressed using linguistic terms. In particular, we concentrate on the finite fuzzy DL ALCH, studying some logical properties, and showing the decidability of the logic has been shown by presenting a reasoning preserving reduction to the non-fuzzy case.