Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property


In the last few years there has been a large effort for analysing the computational properties of reasoning in fuzzy Description Logics. This has led to a number of papers studying the complexity of these logics, depending on their chosen semantics. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the… (More)


5 Figures and Tables