ORE 2012: Manchester, UK
Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz (Eds.): Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 858
Wael Yehia, Mikhail Soutchanski: Solving the Projection Problem with OWL2 Reasoners: Experimental Study.
María del Mar Roldán García, José Francisco Aldana Montes: Evaluating DBOWL: A Non-materializing OWL Reasoner based on Relational Database Technology.
Zhe Wu, Karl Rieb, George Eadon, Ankesh Khandelwal, Vladimir Kolovski: Advancing the Enterprise-class OWL Inference Engine in Oracle Database.
Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, Filippo Gramegna, Giuseppe Loseto: Mini-ME: the Mini Matchmaking Engine.
Weihong Song, Bruce Spencer, Weichang Du: WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach.
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: MASTRO: A Reasoner for Effective Ontology-Based Data Access.
Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy: A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners.
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks: On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems.

Julian Mendez: jcel: A Modular Rule-based Reasoner.
Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Ivanov Simov: OWLIM Reasoning over FactForge.



