Cited in
(12)- Tractable approximate deduction for OWL
- Optimizing SPARQL query answering over OWL ontologies
- The OWL reasoner evaluation (ORE) 2015 competition report
- Chainsaw
- COROR
- DReW
- LUBM
- RacerPro
- ELepHant
- JFact
- Snorocket
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: TrOWL
