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

03/08/2010
by   Fernando Bobillo, et al.
0

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 arbitrary knowledge bases, then the fuzzy DLs ALC under Lukasiewicz and Product fuzzy logics do not verify the FMP even if we restrict to witnessed models; in other words, finite satisfiability and witnessed satisfiability are different for arbitrary knowledge bases. The aim of this paper is to point out the failure of FMP because it affects several algorithms published in the literature for reasoning under fuzzy ALC.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/21/2011

On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm

Recently there have been some unexpected results concerning Fuzzy Descri...
research
06/03/2011

Reasoning within Fuzzy Description Logics

Description Logics (DLs) are suitable, well-known, logics for managing s...
research
07/04/2012

Description Logics with Fuzzy Concrete Domains

We present a fuzzy version of description logics with concrete domains. ...
research
08/14/2018

Stream Reasoning on Expressive Logics

Data streams occur widely in various real world applications. The resear...
research
03/13/2023

Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

The problem of minimizing finite fuzzy interpretations in fuzzy descript...
research
01/15/2014

Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

In the last two decades, modal and description logics have been applied ...
research
12/13/2017

Consideration on Example 2 of "An Algorithm of General Fuzzy InferenceWith The Reductive Property"

In this paper, we will show that (1) the results about the fuzzy reasoni...

Please sign up or login with your details

Forgot password? Click here to reset