The following pages link to TrOWL (Q24408):
Displaying 4 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Optimizing SPARQL query answering over OWL ontologies (Q2859024) (← links)