The following pages link to Volker Haarslev (Q631079):
Displayed 14 items.
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- A formal framework for description logics with uncertainty (Q962955) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- Pushing the boundaries of reasoning about qualified cardinality restrictions (Q1687544) (← links)
- (Q2721226) (← links)
- Intelligent Tableau Algorithm for DL Reasoning (Q2851951) (← links)
- Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬 (Q3568231) (← links)
- (Q4251215) (← links)
- A description logic with concrete domains and a role-forming predicate operator (Q4260086) (← links)
- (Q4539596) (← links)
- (Q4539598) (← links)
- (Q4539653) (← links)
- (Q4548197) (← links)
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)