On the Decidability Status of Fuzzy A ℒ C with General Concept Inclusions

Journal of Philosophical Logic 44 (2):117-146 (2015)

The combination of Fuzzy Logics and Description Logics has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been extended to reason also with their fuzzy counterparts. It has turned out, however, that in the presence of general concept inclusion axioms this extension is less straightforward than thought. In fact, a number of tableau algorithms claimed to deal correctly with fuzzy DLs with GCIs have recently been shown to be incorrect. In this paper, we concentrate on fuzzy \, the fuzzy extension of the well-known DL \. We present a terminating, sound, and complete tableau algorithm for fuzzy \ with arbitrary continuous t-norms. Unfortunately, in the presence of GCIs, this algorithm does not yield a decision procedure for consistency of fuzzy \ ontologies since it uses as a sub-procedure a solvability test for a finitely represented, but possibly infinite, system of inequations over the real interval [0,1], which are built using the t-norm. In general, it is not clear whether this solvability problem is decidable for such infinite systems of inequations. This may depend on the specific t-norm used. In fact, we also show in this paper that consistency of fuzzy \ ontologies with GCIs is undecidable for the product t-norm. This implies, of course, that for the infinite systems of inequations produced by the tableau algorithm for fuzzy \ with product t-norm, solvability is in general undecidable. We also give a brief overview of recently obtained decidability results for fuzzy \ w.r.t. other t-norms
Keywords Fuzzy description logics  Decidability
Categories (categorize this paper)
DOI 10.1007/s10992-014-9329-3
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,629
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Fuzzy Sets.Lofti A. Zadeh - 1965 - Information and Control 8 (1):338--53.
Metamathematics of Fuzzy Logic.Petr Hajek - 1998 - Kluwer Academic Publishers.
A Variant of a Recursively Unsolvable Problem.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (2):55-56.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Observables and Statistical Maps.Stan Gudder - 1999 - Foundations of Physics 29 (6):877-897.
Fuzzy Power Structures.George Georgescu - 2008 - Archive for Mathematical Logic 47 (3):233-261.
Partitions of Large Rado Graphs.M. Džamonja, J. A. Larson & W. J. Mitchell - 2009 - Archive for Mathematical Logic 48 (6):579-606.
An Example Related to Gregory’s Theorem.J. Johnson, J. F. Knight, V. Ocasio & S. VanDenDriessche - 2013 - Archive for Mathematical Logic 52 (3-4):419-434.
Classical Modal De Morgan Algebras.Sergio A. Celani - 2011 - Studia Logica 98 (1-2):251-266.
Embedding FD(Ω) Into {Mathcal{P}_s} Densely.Joshua A. Cole - 2008 - Archive for Mathematical Logic 46 (7-8):649-664.
Why is $$\Mathcal{CPT}$$ Fundamental?O. W. Greenberg - 2006 - Foundations of Physics 36 (10):1535-1553.
Covering Properties of Ideals.Marek Balcerzak, Barnabás Farkas & Szymon Gła̧b - 2013 - Archive for Mathematical Logic 52 (3-4):279-294.
Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
Around Splitting and Reaping for Partitions of Ω.Hiroaki Minami - 2010 - Archive for Mathematical Logic 49 (4):501-518.


Added to PP index

Total views
7 ( #924,134 of 2,280,568 )

Recent downloads (6 months)
1 ( #835,594 of 2,280,568 )

How can I increase my downloads?


My notes

Sign in to use this feature