CEUR proceedings, DBLP index, detailed results, and datasets published

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.

>> You can access the proceedings here.

>> The proceedings have also been indexed in DBLP.

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.

>> You can find the datasets and results here.

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 (ore2013@easychair.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!