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

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 if we allow… (More)
DOI: 10.1016/j.fss.2011.02.012

Topics

1 Figure or Table

Statistics

0102030201020112012201320142015201620172018
Citations per Year

89 Citations

Semantic Scholar estimates that this publication has 89 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics