Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012. CEUR Workshop Proceedings 858, CEUR-WS.org 2012