Pages that link to "Item:Q928657"

The following pages link to A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657):

Displaying 2 items.

• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
• Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)