@software{glimm_2015_11145, author = {Glimm, Birte and Matentzoglu, Nicolas and Parsia, Bijan and Steigmiller, Andreas}, title = {ORE 2014 Reasoners}, month = jun, year = 2015, publisher = {Zenodo}, doi = {10.5281/zenodo.11145}, url = {https://doi.org/10.5281/zenodo.11145} }