Pages that link to "Item:Q631080"

The following pages link to Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080):

Displaying 7 items.

• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
• Pushing the boundaries of reasoning about qualified cardinality restrictions (Q1687544) (← links)
• Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$ (Q3052749) (← links)
• (Q3408128) (← links)
• Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆 (Q4637881) (← links)
• Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)
• An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)