On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
From MaRDI portal
Publication:2341257
DOI10.1007/s10992-014-9329-3zbMath1318.03034OpenAlexW1601173339WikidataQ57383672 ScholiaQ57383672MaRDI QIDQ2341257
Rafael Peñaloza, Stefan Borgwardt, Franz Baader
Publication date: 23 April 2015
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-014-9329-3
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics ⋮ Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the failure of the finite model property in some fuzzy description logics
- Attributive concept descriptions with complements
- On the structure of semi-groups on a compact manifold with boundary
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Fuzzy description logics with general t-norms and datatypes
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations
- Triangular norms
- Making fuzzy description logic more general
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- How Fuzzy Is My Fuzzy Description Logic?
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
- Fuzzy sets
- A variant of a recursively unsolvable problem
- An overview of tableau algorithms for description logics
This page was built for publication: On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
