The limits of decidability in fuzzy description logics with general concept inclusions
From MaRDI portal
Publication:2512986
DOI10.1016/j.artint.2014.09.001zbMath1319.68211OpenAlexW2093797880MaRDI QIDQ2512986
Rafael Peñaloza, Felix Distel, Stefan Borgwardt
Publication date: 2 February 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2014.09.001
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25)
Related Items
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS, On the KLM properties of a fuzzy DL with typicality, Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics, Reasoning in fuzzy description logics using automata, The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm, One-variable fragments of intermediate logics over linear frames, Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures, Optimising fuzzy description logic reasoners with general concept inclusion absorption, Adding Threshold Concepts to the Description Logic $\mathcal{EL}$, Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics, On the relationship between fuzzy description logics and many-valued modal logics, Expressivity in chain-based modal logics, Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics, On transitive modal many-valued logics, Reasoning within fuzzy OWL 2 EL revisited, Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Consistency reasoning in lattice-based fuzzy description logics
- On the failure of the finite model property in some fuzzy description logics
- On the structure of semi-groups on a compact manifold with boundary
- Fuzzy description logics under Gödel semantics
- A formal framework for description logics with uncertainty
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Fuzzy description logics with general t-norms and datatypes
- Triangular norms
- Residuated fuzzy logics with an involutive negation
- 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?
- Extended Caching, Backjumping and Merging for Expressive Description Logics
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
- Hypertableau Reasoning for Description Logics
- JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
- DESCRIPTION LOGICS OVER LATTICES
- The Description Logic Handbook
- Logics in Artificial Intelligence
- Finite Fuzzy Description Logics and Crisp Representations
- Fuzzy sets
- A variant of a recursively unsolvable problem
