Tractability of the Crisp Representations of Tractable Fuzzy Description Logics

Abstract. An important line of research within the field of fuzzy DLs is the computation of an equivalent crisp representation of a fuzzy ontology. In this short paper, we discuss the relation between tractable fuzzy DLs and tractable crisp representations. This relation heavily depends on the family of fuzzy operators considered. Introduction. Despite the undisputed success of ontologies, classical ontol-ogy languages are not appropriate to deal with vagueness or imprecision in the knowledge, which is inherent to most of the real world application domains. As a solution, several fuzzy extensions of Description Logics (DLs) have been proposed in the literature. For a good survey we refer the reader to [1]