Title | On Triangular Norm based Fuzzy Description Logics |
Publication Type | Conference Paper |
Year of Publication | 2009 |
Authors | García-Cerdaña A, Armengol E, Esteva F |
Conference Name | IFSA-EUSFLAT |
Conference Location | Calouste Gulbekian Foundation, 20-24 July 2009. Lisbon, Portugal |
Pagination | 891-896 |
ISBN Number | 978-989-95079-6-8 |
Keywords | Description Logics, fuzzy description logics, Involutive negation, t-norm based fuzzy logics, Truth-constants |
Abstract | Description Logics (DLs) are knowledge representation languages useful to represent concepts and roles. Fuzzy Description Logics (FDLs) incorporate both vague concepts and vague roles modeling them as fuzzy sets and fuzzy relations respectively. In the present paper, following ideas from Hájek, we propose the use of t-norm based (fuzzy) logics with truth constants in the language as logics underlying the fuzzy description language. We introduce the languages ALC_L*(Al[S]) and ALC_L*_(Al[S]) as an adequate syntactical counterpart of some semantic calculi given in different works dealing with FDLs. |