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

Fernando Bobillo, Felix Bou, Umberto Straccia

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 no…