Pages that link to "Item:Q3532465"
From MaRDI portal
The following pages link to Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ (Q3532465):
Displayed 7 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\) (Q2144172) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- Query Answering in Description Logics: The Knots Approach (Q3638272) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)