ORE-2012
OWL Reasoner Evaluation Workshop 2012

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