Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)

DOI10.1016/j.jal.2010.08.009zbMath1214.68381OpenAlexW2040241347MaRDI QIDQ631080

Jocelyne Faddoul, Volker Haarslev

Publication date: 22 March 2011

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2010.08.009

zbMATH Keywords

description logicsalgebraic reasoningtableau reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) ⋮ Automated Reasoning in $\mathcal{ALCQ}$ via SMT

Cites Work

• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
• Modal logics, description logics and arithmetic reasoning
• Cardinality restrictions on concepts
• EXPtime tableaux for ALC
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Individual Reuse in Description Logic Reasoning
• Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬
• Optimized Reasoning in Description Logics Using Hypertableaux
• The Description Logic Handbook
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)