|Títol||On the Failure of the Finite Model Property in some Fuzzy Description Logics|
|Publication Type||Journal Article|
|Year of Publication||2011|
|Authors||Bobillo F., Bou F, Straccia U.|
|Journal||Fuzzy Sets and Systems|
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.
- Quant a IIIA