Transforming Fuzzy Description Logics into Classical Description Logics
In Proceeedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04).
Abstract:
In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the considerable practical consequence that reasoning in fuzzy DLs is feasible using already existing DL systems.