| Vol-1387 urn:nbn:de:0074-1387-2 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# ORE 2015
4th OWL Reasoner Evaluation Workshop

### Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015)
co-located with the 28th International Workshop on Description Logics (DL 2015)

### Athens, Greece, June 6, 2015.

Edited by

### Michel Dumontier *
Birte Glimm **
Rafael Gonçalves *
Matthew Horridge *
Ernesto Jiménez-Ruiz ***
Nicolas Matentzoglu ****
Bijan Parsia ****
Giorgos Stamou *****
Giorgos Stoilos *****

* Stanford Center for Biomedical Informatics Research, Stanford University, US
** Institute of Artificial Intelligence, University of Ulm, Germany
*** Department of Computer Science, University of Oxford, UK
**** Information Management Group, University of Manchester, UK
***** Artificial Intelligence Group, National Technical University of Athens, Greece

## Table of Contents

- Preface

### Session 1: System Papers

- Ontology-based Query Answering with PAGOdA 1-7
  Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
- The Bayesian Ontology Reasoner is BORN! 8-14
  Ismail Ilkan Ceylan, Julian Mendez, Rafael Peñaloza
- A Swarm of Mini-MEs: Reasoning and Information Aggregation in Ubiquitous Multi-agent Contexts 15-22
  Floriano Scioscia, Michele Ruta, Eugenio Di Sciascio
- LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks 23-30
  Patrick Koopmann, Renate A. Schmidt
- RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines 31-37
  Jaroslaw Bak

### Session 2: Evaluation and Benchmark Papers

- The OWL Reasoner Evaluation Goes Mobile 38-45
  Roberto Yus, Fernando Bobillo, Carlos Bobed, Eduardo Mena
- Verifying Reasoner Correctness - A Justication Based Method 46-52
  Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia
- Evaluation and Optimized Usage of OWL 2 Reasoners in an Event-based eHealth Context 53-59
  Pieter Bonte, Femke Ongenae, Jeroen Schaballie, Ben De Meester, Doerthe Arndt, Wim Dereuddre, Jabran Bhatti, Stijn Verstichel, Filip De Turck, Erik Mannens
- On the Feasibility of Using OWL 2 Reasoners in Ontology Alignment Repair Problems 60-67
  Alessandro Solimando, Ernesto Jimenez-Ruiz, Giovanna Guerrini
- A Survey of Current, Stand-alone OWL Reasoners 68-79
  Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia
- A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices 80-86
  Edgaras Valincius, Hai Nguyen, Jeff Z. Pan

2015-07-15: submitted by Ernesto Jimenez-Ruiz, metadata incl. bibliographic data published under Creative Commons CC0
2015-07-17: published on CEUR-WS.org |valid HTML5|