Consistency reasoning in lattice-based fuzzy description logics

DOI10.1016/J.IJAR.2013.07.006MaRDI QIDQ465592zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

triangular normsresiduated latticestableau algorithmfuzzy description logics

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

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

Cites work

• scientific article; zbMATH DE number 5356404 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 67504 (Why is no real title available?)
• scientific article; zbMATH DE number 647713 (Why is no real title available?)
• scientific article; zbMATH DE number 1076962 (Why is no real title available?)
• A description logic with transitive and inverse roles and role hierarchies
• A formal framework for description logics with uncertainty
• An overview of tableau algorithms for description logics
• Consistency checking reduced to satisfiability of concepts in terminological systems
• DESCRIPTION LOGICS OVER LATTICES
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Fuzzy description logics under Gödel semantics
• Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics
• Fuzzy sets
• How fuzzy is my fuzzy description logic?
• Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
• L-fuzzy sets
• Making fuzzy description logic more general
• Metamathematics of fuzzy logic
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• 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
• Optimized Reasoning in Description Logics Using Hypertableaux
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Reasoning within fuzzy description logics
• Residuated lattices. An algebraic glimpse at substructural logics
• The Description Logic Handbook
• Triangular norms

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
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)
• A new view of relationship between atomic posets and complete (algebraic) lattices
• Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices

Describes a project that uses

Uses Software

• KL-ONE

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)