| Vol-1207 urn:nbn:de:0074-1207-1 Copyright © 2014 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 2014
OWL Reasoner Evaluation Workshop

### Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)
co-located with the Vienna Summer of Logic (VSL 2014)

### Vienna, Austria, July 13, 2014.

Edited by

### Samantha Bail *
Birte Glimm **
Ernesto Jiménez-Ruiz ***
Nicolas Matentzoglu ****
Bijan Parsia ****
Andreas Steigmiller **

* Flatiron Health, New York, US
** Institute of Artificial Intelligence, University of Ulm, Germany
*** Department of Computer Science, University of Oxford, UK
**** Information Management Group, University of Manchester, UK

## Table of Contents

- Preface and Conference Organisation i-iii
- Summary ORE 2014 Competition iv-vii

### System papers

- Just: a Tool for Computing Justifications w.r.t. ELH Ontologies 1-7
  Michel Ludwig
- Mini-ME 2.0: Powering the Semantic Web of Things 8-15
  Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Saverio Ieva, Eugenio Di Sciascio
- Incremental and Persistent Reasoning in FaCT++ 16-22
  Dmitry Tsarkov

### Evaluation and benchmark papers

- Android Went Semantic: Time for Evaluation 23-29
  Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban, Eduardo Mena
- TROvE: a Graphical Tool to Evaluate OWL Reasoners 30-35
  Jean-Rémi Bourguet, Luca Pulina
- A Scalable Benchmark for OBDA Systems: Preliminary Report 36-43
  Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao
- Evaluating OWL 2 Reasoners in the Context of Checking Entity-Relationship Diagrams During Software Development 44-50
  Alexander A. Kropotin
- Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57
  Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao

### Ontology papers

- An Update on Genomic CDS, a Complex Ontology for Pharmacogenomics and Clinical Decision Support 58-63
  José Antonio Minarro-Giménez, Matthias Samwald
- Exploring Reasoning with the DMOP Ontology 64-70
  C. Maria Keet, Claudia d'Amato, Zubeida Khan, Agnieszka Lawrynowicz
- A Family History Knowledge Base in OWL 2 71-76
  Robert Stevens, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens

2014-08-07: submitted by Ernesto Jiménez-Ruiz
2014-08-07: published on CEUR-WS.org |valid HTML5|