| Vol-858 urn:nbn:de:0074-858-1 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.

# ORE-2012
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

#### Preface

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