The OWL Reasoner Evaluation Workshop

Call for Papers and Competition Submissions

Call for Systems (Challenge)

We invite reasoner developers to submit their reasoners for participation in the OWL reasoner performance competition. The outline for the competition is as follows:
The test sets will include OWL ontologies from all OWL 2 profiles and of varying sizes, randomly sampled from the NCBO BioPortal, a web crawl, and user-submitted hard ontologies. The tested tasks will include consistency checking, classification, entailment checking, and query answering. Developers should send a JAR file of their systems to the competition organizers who will then carry out the benchmarks.

More information about the competition can be found on the competition page.
We also strongly encourage challenge participants to submit a system description paper, describing

architecture

implementation

expected performance

of their system.

Details of the competition and the submission procedure can be found on the ORE 2013 website: http://ore2013.cs.manchester.ac.uk/competition/

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.