Publications

Fuzzy Description Logics and t-norm based Fuzzy Logics

Publication Type:

Journal Article

Authors:

Angel García-Cerdaña; Eva Armengol; Francesc Esteva

Source:

International Journal of Approximate reasoning, Elsevier, Volume 51, Issue 6, p.632 -- 655 (2010)

Keywords:

Description Logics; Fuzzy Description Logics; Many-valued Logics; Propositional and Predicate t-norm based Fuzzy Logics; Truth-constantsReceived 22 May 2009

Abstract:

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

Projects: 
MULOG 2
»