[CfP] 4th OWL Reasoner Evaluation (ORE) Workshop (with DL 2015) - 1st Call for Participation

[Apologies for cross-posting]

                     4th OWL Reasoner Evaluation Workshop (ORE 2015)
           Collocated with the 28th International Workshop on Description
                 June 6, 2015 - Athens, Greece

The goal of this workshop is to bring together both the DEVELOPERS and
END-USERS of reasoners for (subsets of) OWL 2, including systems focusing
on both intensional (ontology) and extensional (data) query answering. The
workshop will give developers a perfect opportunity to promote their


Registration for the workshop is open:
Venue information can also be found at the same page.

The registration fees for the ORE workshop day are as follows:

    Regular: 85 EUR
    Student: 45 EUR

Registration fees for ORE include: ORE sessions, coffee breaks and lunch on
the 6th of June.

ORE and DL use the same registration system. To register for ORE (or both
DL and ORE) use http://dl2015.image.ntua.gr/registration

If you would like to additionally register for the DL workshop, the early
fees are 300 EUR regular / 200 EUR students, late fees 380 EUR regular /
250 EUR students.
Note that early registration for DL finishes on May 15.

DL also has a limited number of student grants available for attending the
DL workshop. Please check the DL website for details:


We had some great submissions to ORE 2015 covering a broad range of OWL
reasoning related topics – reasoner system descriptions, performance
evaluations and OWL reasoners on mobile devices.

We are very pleased to announce that we accepted 11 papers to be presented
at this year's workshop. Additionally, 13 systems were submitted to the
Furthermore, we have also received several user-submitted ontologies.

Accepted papers for presentation

 - Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau and Ian Horrocks.
Ontology-based Query Answering with PAGOdA
 - Roberto Yus, Fernando Bobillo, Carlos Bobed and Eduardo Mena. The OWL
Reasoner Evaluation Goes Mobile
 - Michael Lee, Nicolas Matentzoglu, Uli Sattler and Bijan Parsia.
Verifying Reasoner Correctness – A Justication Based Method
 - Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler and Bijan
Parsia. A Survey of Current, Stand-alone OWL Reasoners
 - Ismail Ilkan Ceylan, Julian Mendez and Rafael Peñaloza. The Bayesian
Ontology Reasoner is BORN!
 - Pieter Bonte, Femke Ongenae, Ben De Meester, Doerthe Arndt, Wim
Dereuddre, Jabran Bhatti, Stijn Verschichel and Filip De Turck. Evaluation
and optimized usage of OWL 2 Reasoners in an event-based eHealth context.
 - Alessandro Solimando, Ernesto Jimenez-Ruiz and Giovanna Guerrini. On the
Feasibility of Using OWL 2 Reasoners in Ontology Alignment Repair Problems
 - Floriano Scioscia, Michele Ruta and Eugenio Di Sciascio. A swarm of
Mini-MEs: reasoning and information aggregation in ubiquitous multi-agent
 - Patrick Koopmann and Renate A. Schmidt. LETHE: A Saturation-Based Tool
for Non-Classical Reasoning
 - Jaroslaw Bak. RuQAR: Reasoning with OWL 2 RL Using Forward Chaining
 - Edgaras Valincius, Hai Nguyen and Jeff Z. Pan. A Power Consumption
Benchmark Framework for Ontology Reasoning on Android Devices

Submitted systems

 - TrOWL: http://trowl.eu/
 - Konclude: http://www.derivo.de/en/produkte/konclude/
 - ELepHant: https://code.google.com/p/elephant-reasoner/
 - HermiT: http://www.hermit-reasoner.com/
 - MORe: http://code.google.com/p/more-reasoner/
 - ELK: http://code.google.com/p/elk-reasoner/
 - jcel: http://jcel.sourceforge.net/
 - FaCT++: http://code.google.com/p/factplusplus/
 - Jfact: http://sourceforge.net/projects/jfact/
 - Chainsaw: http://sourceforge.net/projects/chainsaw/
 - RACER: https://www.ifis.uni-luebeck.de/index.php?id=385
 - Pellet: http://clarkparsia.com/pellet
 - PAGOdA: https://www.cs.ox.ac.uk/isg/tools/PAGOdA/

Ernesto Jiménez-Ruiz
Research Assistant
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road, Oxford OX1 3QD, UK


Received on Thursday, 14 May 2015 12:57:41 UTC