TitleOn Triangular Norm based Fuzzy Description Logics
Publication TypeConference Paper
Year of Publication2009
AuthorsGarcía-Cerdaña A, Armengol E, Esteva F
Conference NameIFSA-EUSFLAT
Conference LocationCalouste Gulbekian Foundation, 20-24 July 2009. Lisbon, Portugal
ISBN Number978-989-95079-6-8
KeywordsDescription Logics, fuzzy description logics, Involutive negation, t-norm based fuzzy logics, Truth-constants

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.