[CEUR Workshop Proceedings] Vol-858

Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

OWL Reasoner Evaluation Workshop 2012

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012)

In conjunction with the 6th International Joint Conference on Automated Reasoning (IJCAR-2012)

Manchester, UK, July 1st, 2012.

Edited by

Ian Horrocks
Mikalai Yatskevich
Ernesto Jimenez-Ruiz

Department of Computer Science, University of Oxford, UK

Table of Contents


  1. Solving the Projection Problem with OWL2 Reasoners: Experimental Study
    Wael Yehia, Mikhail Soutchanski
  2. Chainsaw: a Metareasoner for Large Ontologies
    Dmitry Tsarkov, Ignazio Palmisano
  3. Evaluating DBOWL: A Non-materializing OWL Reasoner based on Relational Database Technology
    María del Mar Roldán-García, José Francisco Aldana Montes
  4. Advancing the Enterprise-class OWL Inference Engine in Oracle Database
    Zhe Wu, Karl Rieb, George Eadon, Ankesh Khandelwal, Vladimir Kolovski
  5. Mini-ME: the Mini Matchmaking Engine
    Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, Filippo Gramegna, Giuseppe Loseto
  6. WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach
    Weihong Song, Bruce Spencer, Weichang Du
  7. MASTRO: A Reasoner for Effective Ontology-Based Data Access
    Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
  8. A Rigorous Characterization of Classification Performance -- A Tale of Four Reasoners
    Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy
  9. On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
  10. ELK Reasoner: Architecture and Evaluation
    Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
  11. Evaluating Reasoners Under Realistic Semantic Web Conditions
    Yingjie Li, Yang Yu, Jeff Heflin
  12. jcel: A Modular Rule-based Reasoner
    Julian Mendez
  13. The HermiT OWL Reasoner
    Ian Horrocks, Boris Motik, Zhe Wang
  14. OWLIM Reasoning over FactForge
    Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Ivanov Simov

Complete proceedings in one PDF file

Complete proceedings in one ZIP file

25-Jun-2012: submitted by Ernesto Jimenez-Ruiz
25-Jun-2012: published on CEUR-WS.org