This volume contains the papers presented at ORE 2014: The 3rd OWL Reasoner Evaluation Workshop held on July 13, 2014 in Vienna (co-located with the Vienna Summer of Logic, VSL). 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 di erent reasoning tasks. The competition included six disciplines in which reasoners could compete: ontology classi cation, consistency checking, and realisation each for OWL EL and OWL DL reasoners. 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.
i 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 e ort.
We also thank Konstantin Korovin (supported by the Royal Society grant RG080491) at the University of Manchester who kindly provided us with the PC cluster for the competition.
We also gratefully acknowledge the support of our sponsors. In particular, we thank the main workshop sponsors: the DL workshop (http://dl.kr.org/) and B2i Healthcare (https://www.b2international.com/).
We would also like to acknowledge that the work of the ORE organisers was greatly simpli ed by using the EasyChair conference management system (http://www.easychair.org) and the CEUR Workshop Proceedings publication service (http://ceur-ws.org/).
Competition Organisers
Markus Krotzsch Marvin Schiller Alessandro Solimando Dmitriy Zheleznyakov
TU Dresden Stanford University University of Montpellier European Bioinformatics Institute The University of Ulm University of Ulm National Technical University of Athens Yahoo Universidad Politecnica of Madrid University of Mannheim TU Dresden Universidad de Malaga Vrije Universiteit Amsterdam University of Mannheim University of New Brunswick IBM Research The University of Manchester Gri th University
TU Dresden University of Ulm Universita di Genova University of Oxford