Call for papers

Workshop Objectives

OWL is a logic-based ontology language standard designed to promote interoperability, particularly in the context of the (Semantic) Web. The standard has encouraged the development of numerous OWL reasoning systems, and such systems are already key components of many applications.

The goal of this workshop is to bring together the developers 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.

Call for Papers

In parallel with the OWL Reasoner Competition, 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.

Submissions and review process

Papers should be formatted according to the Springer LNCS guidelines ( and should not be longer than 6 pages (excluding references).

Submissions must be in PDF through the EasyChair conference system:

All submissions will be peer-reviewed by the program committee. Selected papers will be presented during the workshop and published as a volume of CEUR workshop proceedings (

Important dates

  • Paper submission deadline: May 3rd, 2013 extended to May 12th, 2013
  • Notification of acceptance: May 31st, 2013 extended to June 7th, 2013
  • Camera-ready papers: June 27th, 2013
  • System submission deadline for competition: June 27th, 2013
  • Workshop: July 22nd, 2013
  • Competitions: July 22-26, 2013

For enquiries, please contact the organisers at