Consistency reasoning in lattice-based fuzzy description logics
DOI10.1016/J.IJAR.2013.07.006zbMATH Open1433.03064OpenAlexW2150198624MaRDI QIDQ465592FDOQ465592
Authors: 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
Recommendations
- How fuzzy is my fuzzy description logic?
- Some Complexity Results on Fuzzy Description Logics
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- The limits of decidability in fuzzy description logics with general concept inclusions
Reasoning under uncertainty in the context of artificial intelligence (68T37) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)
Cites Work
- Fuzzy sets
- Triangular norms
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- The Description Logic Handbook
- L-fuzzy sets
- Residuated lattices. An algebraic glimpse at substructural logics
- Title not available (Why is that?)
- On the structure of semi-groups on a compact manifold with boundary
- A description logic with transitive and inverse roles and role hierarchies
- Making fuzzy description logic more general
- Reasoning within fuzzy description logics
- Title not available (Why is that?)
- Optimized Reasoning in Description Logics Using Hypertableaux
- Title not available (Why is that?)
- On the failure of the finite model property in some fuzzy description logics
- An overview of tableau algorithms for description logics
- Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics
- DESCRIPTION LOGICS OVER LATTICES
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Fuzzy description logics under Gödel semantics
- A formal framework for description logics with uncertainty
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Consistency checking reduced to satisfiability of concepts in terminological systems
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- How fuzzy is my fuzzy description logic?
- Title not available (Why is that?)
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
Cited In (10)
- Quantifying sequential subsumption
- On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- Reasoning over vague concepts
- The limits of decidability in fuzzy description logics with general concept inclusions
- A comprehensive survey on formal concept analysis, its research trends and applications
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
- Title not available (Why is that?)
- A new view of relationship between atomic posets and complete (algebraic) lattices
- Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices
Uses Software
This page was built for publication: Consistency reasoning in lattice-based fuzzy description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q465592)
