Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Reasoning in L-SHIF: an expressive fuzzy description logic under Lukasiewicz semantics. Technical report, 2007.
Fuzzy Description Logics (fuzzy DLs) have been proposed as a family of languages to describe structured knowledge with vague concepts. In this paper we consider L-SHIF, an expressive fuzzy DL, under Lukasiewicz semantics, which is within the core of the fuzzy DL reasoner fuzzyDL. We show the decidability of major reasoning problems by providing a calculus based on Mixed Integer Linear Programming.
Subject Fuzzy Description logics
I.2.4 Knowledge Representation Formalisms and Methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional