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]
@article{ParsiaMGGS17,
title = {The OWL Reasoner Evaluation (ORE) 2015 Competition Report},
author = {Bijan Parsia and Nicolas Matentzoglu and Rafael S. Gonçalves and Birte Glimm and Andreas Steigmiller},
year = {2017},
doi = {10.1007/s10817-017-9406-8},
url = {https://doi.org/10.1007/s10817-017-9406-8},
researchr = {https://researchr.org/publication/ParsiaMGGS17},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {59},
number = {4},
pages = {455-482},
}