swMATH12480MaRDI QIDQ24408FDOQ24408
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-642-13489-0_38
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
