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

page 1

page 2

page 3

page 4

research
03/08/2010

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

Fuzzy Description Logics (DLs) are a family of logics which allow the re...
research
03/08/2010

A multivalued knowledge-base model

The basic aim of our study is to give a possible model for handling unce...
research
06/01/2021

On the KLM properties of a fuzzy DL with Typicality

The paper investigates the properties of a fuzzy logic of typicality. Th...
research
08/11/2018

A Parameterized Complexity View on Description Logic Reasoning

Description logics are knowledge representation languages that have been...
research
02/04/2012

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

We propose a novel, type-elimination-based method for reasoning in the d...
research
05/16/2014

Algorithm for Adapting Cases Represented in a Tractable Description Logic

Case-based reasoning (CBR) based on description logics (DLs) has gained ...
research
03/20/2013

A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency

A semantics is given to possibilistic logic, a logic that handles weight...

Please sign up or login with your details

Forgot password? Click here to reset