On the relationship between fuzzy description logics and many-valued modal logics

https://doi.org/10.1016/j.ijar.2017.11.006Get rights and content
Under an Elsevier user license
open archive

Highlights

  • We study the relationships between a family of ALC-like fuzzy description logics (FDLs) and some many- valued multi-modal logics (MMLs).

  • We analyze how to merge FDLs into MMLs and vice-versa, concerning languages and reasoning tasks.

  • The results concerning translations between reasoning tasks are applied in order to get decidability and complexity bounds.

Abstract

In this paper we study the relationships between a family of ALC-like fuzzy description logics (FDLs) defined over left-continuous t-norms and some many-valued multi-modal logics (MMLs). We analyze these relationships in both directions, that is, how to merge FDLs into MMLs and vice-versa. The analysis starts from the relationships between the languages to reach systematically the deeper level of reasoning tasks. At this level we are able to truly investigate both formalisms from each other point of view. Finally, the results concerning translations between reasoning tasks are applied in order to get decidability and complexity bounds.

Keywords

Mathematical fuzzy Logic
Fuzzy description logics
Many-valued modal logics
Fuzzy predicate logics
Attributive description languages

Cited by (0)