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

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

2011-07-21

arxiv.org/abs/1107.4212v3

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-687667