Pages that link to "Item:Q4647812"
From MaRDI portal
The following pages link to Reasoning and Query Answering in Description Logics (Q4647812):
Displayed 5 items.
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete (Q2032149) (← links)
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics (Q2964452) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815) (← links)