ORE 2014 PROCEEDINGS: EDITOR'S PREFACE

This volume contains the papers presented at ORE 2014: The 3rd OWL Reasoner Evaluation Workshop held on July 13, 2014 in Vienna. The committee decided to accept 11 papers (5 Evaluation and Benchmarks papers, 3 papers about a reasoner or reasoning techniques, and 3 papers describing an ontology). Each submission was reviewed by at least 3 program committee members.

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 ORE 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.

In addition to workshop paper submissions, ORE 2014 also included a competition in which OWL reasoners were faced with different reasoning task, such as ontology classification, consistency checking, and realisation. The tasks were performed on several large corpora of real-life OWL ontologies obtained from the web, as well as user-submitted ontologies which were found to be challenging for reasoners.

Participating Systems:
    TrOWL: http://trowl.eu/
    Konclude: http://www.derivo.de/en/produkte/konclude/
    ELepHant: https://code.google.com/p/elephant-reasoner/
    TReasoner: https://code.google.com/p/treasoner/
    HermiT: http://www.hermit-reasoner.com/
    MORe: http://code.google.com/p/more-reasoner/
    ELK: http://code.google.com/p/elk-reasoner/
    jcel: http://jcel.sourceforge.net/
    FaCT++: http://code.google.com/p/factplusplus/
    Jfact: http://sourceforge.net/projects/jfact/
    Chainsaw: http://sourceforge.net/projects/chainsaw/


We thank all members of the program committee, competition organisers, additional reviewers, authors of the submitted papers, developers of the submitted reasoners and ontologies, and local organizers for their invaluable effort. We would also like to acknowledge that the work of the ORE organisers was greatly simplified by using the EasyChair conference management system (http://www.easychair.org) and the CEUR Workshop Proceedings publication service (http://ceur-ws.org/).