Classical, two-valued, ontologies have been successfully applied to represent the
knowledge in many domains. However, it has been pointed out that they are not suitable in …

Abstract Mathematical Fuzzy Logics 51, 60 have a long tradition with roots going back to the
many-valued logics of Łukasiewicz, Gödel, and Kleene 57, 68, 73 and the Fuzzy Set Theory …

[eng] According to Zadeh, the term “fuzzy logic” has two different meanings: wide and
narrow. In a narrow sense it is a logical system which aims a formalization of approximate …

The aim of the present paper is to prove that concept validity and positive satisfiability with
an empty ontology in the Fuzzy Description Logic I ALE, under standard product semantics …

Fuzzy extensions to description logics (DLs) have gained considerable attention the last
decade. So far most works on fuzzy DLs have focused on either very expressive languages …

In the literature, little attention has been paid to the development of solvers for systems of
mathematical fuzzy logic, and in particular, there are few works concerned with infinitely …

Research in the field of Knowledge Representation is concerned with develo**
formalisms to describe domain-specific knowledge pertinent to a given application. The …

Fuzzy description logics, the formalism behind fuzzy ontologies, are an important
mathematical method with applications in many artificial intelligence scenarios. This paper …

In recent years we have seen a number of satisfiability solvers emerge in the world of fuzzy
propositional logics. However, only a few of them can solve product logic problems with the …

The area of automated theorem proving in fuzzy logics has been revisited during the last
decade with novel approaches, mathematical foundations, and software. However, only a …