[DL] [CfP] Call for Participation: ORE 2014, the 3rd OWL Reasoner Evaluation Workshop (with VSL 2014)

Ernesto Jimenez-Ruiz ernesto.jimenez.ruiz at gmail.com
Tue May 27 10:36:19 CEST 2014

[Apologies for cross-posting]

                             CALL FOR PARTICIPATION
                     3rd OWL Reasoner Evaluation Workshop (ORE 2014)
                    Collocated with the Vienna Summer of Logic (VSL)
                 July 13, 2014 - Vienna, Austria


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


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

The registration fees for the ORE workshop on the 13th of July are:  100
EUR Early / 120 EUR Late / 130 EUR On-Site. There is an optional extra
charge of 25 EUR for the USB proceedings.
Registration fees ONLY include coffee breaks.


We had some great submissions to ORE 2014 covering a broad range of OWL
reasoning related topics – reasoner system descriptions, challenging
ontologies, 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, 11 systems were submitted to the
Furthermore, we have also received several user-submitted ontologies (THE

Tentative program (Sunday, July 13)

- 10:15-10:45 Coffee Break

- 10:45-11:00 ORE Opening

- 11:00-13:00 ORE: Paper Session 1
Jean-Rémi Bourguet and Luca Pulina
TROvE: a Graphical Tool to Evaluate OWL Reasoners (abstract)
Thomas Eiter, Patrik Schneider, Mantas Simkus and Guohui Xiao
Using OpenStreetMap Data to Create Benchmarks for Description Logic
Reasoners (abstract)
Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys and Guohui
A Scalable Benchmark for OBDA Systems: Preliminary Report (abstract)
Alexander Kropotin
Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship
Diagrams During Software Development (abstract)
Michel Ludwig
Just: a Tool for Computing Justifications w.r.t. ELH Ontologies (abstract)
Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban and Eduardo
Android Went Semantic: Time for Evaluation (abstract)

- 13:00-14:30 Lunch Break

- 14:30-15:30 ORE: Paper Session 2
C. Maria Keet, Claudia D'Amato, Zubeida Khan and Agnieszka Lawrynowicz
Exploring Reasoning with the DMOP Ontology (abstract)
José Antonio Minarro-Giménez and Matthias Samwald
An update on Genomic CDS, a complex ontology for pharmacogenomics and
clinical decision support (abstract)
Robert Stevens, Nicolas Matentzoglu and Uli Sattler
A Family History Knowledge Base in OWL 2 (abstract)

- 15:30-16:00 ORE Competition Session

- 16:00-16:30 Coffee Break

- 16:30-17:10 ORE: Paper Session 3
Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Saverio
Ieva and Eugenio Di Sciascio
Mini-ME 2.0: powering the Semantic Web of Things (abstract)
Dmitry Tsarkov
Incremental and Persistent Reasoning in FaCT++ (abstract)
17:10-17:15 Session 13: ORE closing

ORE session at DL (Thursday, July 18)
- ORE "Live" Reasoner Competition


In addition to the "competition session" during ORE workshop, there will
also be a "live competition" during the DL workshop.

The ORE 2014 data set contains a wide range of ontologies from the web,
obtained through a standard web crawl and the Google Custom Search API, and
a snapshot from the well known BioPortal repository. Some user submitted
ontologies spice up the corpus with particularly relevant and difficult
test cases. The ontologies in the test set are binned by profiles to enable
the participation of reasoners specialised on the EL and QL profiles of

Reasoners will be evaluated with three tasks: Consistency, Classification
and Realisation (new this year).

The ontologies, the framework, and most of the reasoners will be available
after the competition in order to reproduce and verify the results.
Moreover, the competition framework will be open source and, enabled by the
development over the last years and further improvements for coming
competitions, it will eventually serve as a platform for reasoner
developers to easily check, improve, and evaluate their systems.

Participating systems

 - TrOWL: http://trowl.eu/
 - Konclude: http://www.derivo.de/en/produkte/konclude/
 - ELepHant: https://sites.google.com/site/sertkayabaris/
 - TReasoner: https://code.google.com/p/treasoner/
 - 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/

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20140527/0bed831b/attachment-0001.html>

More information about the dl mailing list