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 Workshop]

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|