Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller. The OWL Reasoner Evaluation (ORE) 2015 Competition Report. Journal of Automated Reasoning, 59(4):455-482, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.