On the Decidability Status of Fuzzy $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions.
The combination of Fuzzy Logics and Description Logics (DLs) 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 counterpar...
| Publicado en: | Journal of Philosophical Logic Vol. 44; no. 2; pp. 117 - 147 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Apr2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=102012880&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 102012880 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Apr2015 vid: 44 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 102012880 10.1007/s10992-014-9329-3 ppf: 117 ppct: 30 formats: fmt: @attributes: type: P size: 702KB tig: atl: On the Decidability Status of Fuzzy $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions. aug: au: Baader, Franz Borgwardt, Stefan Peñaloza, Rafael affil: Institute of Theoretical Computer Science, Technische Universität Dresden, 01062 Dresden Germany su: Fuzzy logic Algorithms Description logics Mathematical formulas Problem solving sug: subj: Fuzzy logic Algorithms Description logics Mathematical formulas Problem solving keyword: Decidability Fuzzy description logics ab: The combination of Fuzzy Logics and Description Logics (DLs) 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 (GCIs) 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 $\mathcal {A}\mathcal {L}\mathcal {C}$, the fuzzy extension of the well-known DL $\mathcal {A}\mathcal {L}\mathcal {C}$. We present a terminating, sound, and complete tableau algorithm for fuzzy $\mathcal {A}\mathcal {L}\mathcal {C}$ with arbitrary continuous t-norms. Unfortunately, in the presence of GCIs, this algorithm does not yield a decision procedure for consistency of fuzzy $\mathcal {A}\mathcal {L}\mathcal {C}$ 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 $\mathcal {A}\mathcal {L}\mathcal {C}$ 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 $\mathcal {A}\mathcal {L}\mathcal {C}$ with product t-norm, solvability is in general undecidable. We also give a brief overview of recently obtained (un)decidability results for fuzzy $\mathcal {A}\mathcal {L}\mathcal {C}$ w.r.t. other t-norms. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2015. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|