TitleFuzzy Description Logics and t-norm based Fuzzy Logics
Publication TypeJournal Article
Year of Publication2010
AuthorsGarcía-Cerdaña A, Armengol E, Esteva F
JournalInternational Journal of Approximate reasoning
Pagination632 – 655
Date PublishedJuly/2010
KeywordsDescription Logics, fuzzy description logics, Many-valued Logics, Propositional and Predicate t-norm based Fuzzy Logics, Truth-constantsReceived 22 May 2009

Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Ha?jek proposed to deal with FDLs taking as basis t-norm based fuzzy logics with the aim of enriching the expressive possibilities in FDLs and to capitalize on recent developments in the field of Mathematical Fuzzy Logic. From this perspective we define a family of description lan- guages, denoted by ALC