Publications

On Triangular Norm based Fuzzy Description Logics

Publication Type:

Conference Paper

Authors:

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

Source:

IFSA-EUSFLAT, Calouste Gulbekian Foundation, 20-24 July 2009. Lisbon, Portugal, p.891-896 (2009)

ISBN:

978-989-95079-6-8

Keywords:

Description Logics; Fuzzy Description Logics; t-norm based fuzzy logics; Truth-constants; Involutive negation

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\'ajek, 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.

»