The following pages link to (Q4539598):
Displaying 9 items.
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- Optimizing description logic subsumption (Q4260083) (← links)
- Matching in the Description Logic FL0 with respect to General TBoxes (Q5222946) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)
- Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)