Pages that link to "Item:Q5747784"
From MaRDI portal
The following pages link to Optimized Description Logic Reasoning via Core Blocking (Q5747784):
Displaying 5 items.
- Optimising fuzzy description logic reasoners with general concept inclusion absorption (Q1697336) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Hypertableau Reasoning for Description Logics (Q3651485) (← links)
- Optimizing description logic subsumption (Q4260083) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)