Consistency reasoning in lattice-based fuzzy description logics
From MaRDI portal
Publication:465592
DOI10.1016/j.ijar.2013.07.006zbMath1433.03064OpenAlexW2150198624MaRDI QIDQ465592
Stefan Borgwardt, Rafael Peñaloza
Publication date: 23 October 2014
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2013.07.006
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (6)
A comprehensive survey on formal concept analysis, its research trends and applications ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ A new view of relationship between atomic posets and complete (algebraic) lattices ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ Reasoning over Vague Concepts ⋮ Quantifying sequential subsumption
Uses Software
Cites Work
- On the failure of the finite model property in some fuzzy description logics
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- On the structure of semi-groups on a compact manifold with boundary
- Residuated lattices. An algebraic glimpse at substructural logics
- 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 extensions of OWL: logical properties and reduction to fuzzy description logics
- Metamathematics of fuzzy logic
- Consistency checking reduced to satisfiability of concepts in terminological systems
- Triangular norms
- Making fuzzy description logic more general
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- L-fuzzy sets
- How Fuzzy Is My Fuzzy Description Logic?
- Optimized Reasoning in Description Logics Using Hypertableaux
- A description logic with transitive and inverse roles and role hierarchies
- JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
- DESCRIPTION LOGICS OVER LATTICES
- The Description Logic Handbook
- Fuzzy sets
- An overview of tableau algorithms for description logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Consistency reasoning in lattice-based fuzzy description logics
