Pages that link to "Item:Q4647812"
From MaRDI portal
The following pages link to Reasoning and Query Answering in Description Logics (Q4647812):
Displaying 17 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)
- (Q4218267) (← links)
- Practical reasoning for very expressive description logics (Q4487262) (← links)
- (Q4576215) (← links)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)
- (Q4999267) (← links)
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (Q5387895) (← links)
- Logic Programming (Q5475803) (← links)
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\) (Q6535408) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features (Q6545542) (← links)
- Exploring non-regular extensions of propositional dynamic logic with description-logics features (Q6563054) (← links)
- Reasoning with ontologies (Q6602220) (← links)