Consistency reasoning in lattice-based fuzzy description logics

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

zbMATH Keywords

triangular normsresiduated latticestableau algorithmfuzzy description logics

Mathematics Subject Classification ID

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

• KL-ONE

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