The following pages link to (Q2970045):
Displaying 7 items.
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- The Description Logic Handbook (Q3569996) (← links)
- (Q3826520) (← links)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815) (← links)
- Rough Pragmatic Description Logic (Q5245313) (← links)