Pages that link to "Item:Q814639"
From MaRDI portal
The following pages link to Decidability of SHIQ with complex role inclusion axioms (Q814639):
Displaying 20 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)
- Modular materialisation of Datalog programs (Q2144176) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- A framework for intuitionistic grammar logics (Q2695538) (← links)
- A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions (Q2846571) (← links)
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics (Q2964452) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ (Q5747785) (← links)
