Publications

On the Failure of the Finite Model Property in some Fuzzy Description Logics

Publication Type:

Journal Article

Authors:

F. Bobillo; Fèlix Bou; U. Straccia

Source:

Fuzzy Sets and Systems, Volume 172, Issue 1, p.1-12 (2011)

Abstract:

Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by vagueness. Although most of the not very expressive crisp DLs, such as ALC, enjoy the Finite Model Property (FMP), this is not the case once we move into the fuzzy case. In this paper we show that the fuzzy DLs ALC under Lukasiewicz and Product fuzzy logics do not verify the FMP, even if we restrict to witnessed models. This affects several algorithms published in the literature for reasoning under fuzzy ALC.

Projects: 
LOCOMOTION
MULOG 2
»