Pages that link to "Item:Q2462647"

The following pages link to A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647):

Displaying 11 items.

• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
• Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
• Extending soft sets with description logics (Q980132) (← links)
• Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
• Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
• Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
• HermiT: an OWL 2 reasoner (Q2351420) (← links)
• Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
• Package-Based Description Logics (Q3631366) (← links)