Pages that link to "Item:Q814639"

The following pages link to Decidability of SHIQ with complex role inclusion axioms (Q814639):

Displaying 10 items.

• Tractable approximate deduction for OWL (Q274420) (← links)
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
• ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
• Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
• Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
• Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm (Q1679661) (← links)
• CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
• Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
• HermiT: an OWL 2 reasoner (Q2351420) (← links)