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|