We’re very pleased to announce that we have published the CEUR proceedings of the ORE 2013 workshop, including a short report written by us outlining the most important competition results.
In addition, we’ve also release the spreadsheets containing the detailed results, as well as the ontologies we’ve used for the competition (offline and live competition). We also have more detailed results (i.e. outputs and error messages) for each reasoner, but it’s a large amount of messy data, so we’ll only make them available on request for each individual reasoner — if needed.
Thanks again to everyone who participated in this year’s workshop and competition. We’ve been taking notes with all the feedback we’ve received from you, and we’re really looking forward to next year’s workshop, which we’re hoping to organise as part of the Vienna Summer of Logic. If you’re interested in joining next year’s workshop programme committee or become a competition organiser, please contact us by email (firstname.lastname@example.org).
We’ll keep updating this website with information about next year’s workshop until we’ve set up a new page for ORE 2014.
See you next year!