Title | Fuzzy Description Logics and t-norm based Fuzzy Logics |
Publication Type | Journal Article |
Year of Publication | 2010 |
Authors | García-Cerdaña A, Armengol E, Esteva F |
Journal | International Journal of Approximate reasoning |
Volume | 51 |
Pagination | 632 – 655 |
Date Published | July/2010 |
Publisher | Elsevier |
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 |