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

07/21/2011
by   Marco Cerami, et al.
0

Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs). They show that, unlike the classical case, the DL ALC with GCIs does not have the finite model property under Lukasiewicz Logic or Product Logic and, specifically, knowledge base satisfiability is an undecidable problem for Product Logic. We complete here the analysis by showing that knowledge base satisfiability is also an undecidable problem for Lukasiewicz Logic.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset