ORE Home Page

July 13, 2014 · Vienna, Austria


ORE 2014 proceedings are available online as Volume 1207 of CEUR-WS.org.

Aims and Scope

The goal of ORE, the OWL Reasoner Evaluation workshop, is to bring together the developers and 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.

Paper Submissions

We invite submission of papers describing:

  • System descriptions describing the architecture, implementation, and expected performance of the reasoner.
  • Reasoner implementation details, usage reports, implementation "tips and tricks".
  • Challenging ontologies and/or benchmark proposals for OWL reasoners.

See the Call for Papers for details.


In addition to the workshop we will run an OWL Reasoner Competition, which is part of the 1st FLoC Olympic Games. The FLoC Olympic Games are intended as a new FLoC tradition and Games will bring together a multitude of established solver competitions by different research communities. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

We invite both reasoner developers and developers of challenging ontologies to submit their systems/ontologies for participation in the OWL reasoner competition.

See the Competition page for details.

Important Dates

Paper submission deadline: April 15, 2014 (EXTENDED)
Notification of acceptance: May 2, 2014
Camera-ready papers: May 16, 2014
System submission (for competition): May 16, 2014
Workshop: July 13, 2014
Live Competition: July 18, 2014
Olympic Games Award Ceremony: July  21, 2014

Previous Workshops