Showing 1–1 of 1 results for author: Cerami, M

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

Authors: Marco Cerami, Umberto Straccia

Abstract: 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… ▽ More 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. △ Less

Submitted 27 July, 2011; v1 submitted 21 July, 2011; originally announced July 2011.