| Vol-1015 urn:nbn:de:0074-1015-0 Copyright © 2013 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 2013
OWL Reasoner Evaluation Workshop

### Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013)
co-located with the 26th International Workshop on Description Logics (DL 2013)

### Ulm, Germany, July 22, 2013.

Edited by

### Samantha Bail *
Birte Glimm **
Rafael Gonçalves *
Ernesto Jiménez-Ruiz ***
Yevgeny Kazakov **
Nicolas Matentzoglu *
Bijan Parsia *

* Information Management Group, University of Manchester, UK
** Institute of Artificial Intelligence, University of Ulm, Germany
*** Department of Computer Science, University of Oxford, UK

## Table of Contents

- Preface and Conference Organisation

### Evaluation results

- OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report 1-18
  Rafael Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov

### System papers

- YARR!: Yet Another Rewriting Reasoner 19-25
  Joerg Schoenfisch, Jens Ortmann
- TReasoner: System Description 26-31
  Andrey V. Grigorev, Alexander G. Ivashko
- Snorocket 2.0: Concrete Domains and Concurrent Classification 32-38
  Alejandro Metke-Jimenez, Michael Lawley
- A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner 39-45
  Weihong Song, Bruce Spencer, Weichang Du
- Android goes Semantic: DL Reasoners on Smartphones 46-52
  Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo, Eduardo Mena
- FRaQuE: A Framework for Rapid Query Processing Evaluation 53-60
  Jean-Rémi Bourguet, Luca Pulina
- MORe: a Modular OWL Reasoner for Ontology Classification 61-67
  Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz
- Experimenting with ELK Reasoner on Android 68-74
  Yevgeny Kazakov, Pavel Klinov
- Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies 75-80
  Pospishnyi Oleksandr
- DRAOn: A Distributed Reasoner for Aligned Ontologies 81-86
  Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé
- The ELepHant Reasoner System Description 87-93
  Baris Sertkaya
- Evaluating SPARQL-to-SQL Translation in Ontop 94-100
  Mariano Rodríguez-Muro, Martin Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese
- OBDA with Ontop 101-106
  Mariano Rodríguez-Muro, Roman Kontchakov, Michael Zakharyaschev
- Reasoning the FMA Ontologies with TrOWL 107-113
  Jeff Z. Pan, Yuan Ren, Nophadol Jekjantuk, Jhonatan Garcia

### Ontology and benchmark papers

- KB_Bio_101 : A Challenge for OWL Reasoners 114-120
  Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans
- Evaluating OWL 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection 121-127
  M. Berkan Sesen, Ernesto Jiménez-Ruiz, René Bañares-Alcántara, Sir Michael Brady
- Genomic CDS: an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support 128-133
  Matthias Samwald
- A Large-scale Gene-centric Semantic Web Knowledge Base for Molecular Biology 134-139
  José Cruz-Toledo, Alison Callahan, Michel Dumontier

### Complete proceedings in one PDF file

2013-08-14: submitted by Samantha Bail and Ernesto Jiménez-Ruiz
2013-08-15: published on CEUR-WS.org