Proceedings of the 2nd OWL Reasoner Evaluation Workshop (ORE 2013) Collocated with DL 2013 Workshop July 22nd, Ulm, Germany Volume 1015 of CEUR-WS.org: http://ceur-ws.org/Vol-1015/ Workshop webpage: http://ore2013.cs.manchester.ac.uk/ Edited by Samantha Bail, Birte Glimm, Rafael Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu and Bijan Parsia i Preface OWL is a logic-based ontology language standard designed to promote interoperability, partic- ularly 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 this workshop is to bring together both developers and users of reasoners for (subsets of) OWL, including systems focusing on both intensional (ontology) and extensional (data) query answering. This volume contains the papers presented at ORE 2013: The 2nd International Workshop on OWL Reasoner Evaluation, held in Ulm, Germany, on July 22, 2013. ORE 2013 was collocated with the 26th edition of the DL workshop. The workshop received a 18 submissions (14 system papers and 4 ontology/benchmark papers) each of which was reviewed by at least three members of the program committee or additional reviewers. Since there was not any off-topic submission, we accepted all submission, following the inclusive tradition of DL, for oral presentation at the workshop. In addition to workshop paper submissions, ORE 2013 also included a competition in which OWL reasoners were faced with different reasoning task, such as ontology classification, con- sistency checking, and satisfiability checking of concepts. 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. The proceedings also contains a short report summarizing the main results of the competition. Fourteen OWL reasoners participated in the ORE 2013 competition: • BaseVISor http://vistology.com/basevisor/basevisor.html • 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/ • SnoRocket http://research.ict.csiro.au/software/snorocket • FaCT++ http://code.google.com/p/factplusplus/ • Jfact http://sourceforge.net/projects/jfact/ • Chainsaw http://sourceforge.net/projects/chainsaw/ • WSClassifier https://code.google.com/p/wsclassifier/ ii Acknowledgements 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 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 sponsor: B2i Healthcare (https://www.b2international.com/). 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/). iii Organisers, PC Chairs Samantha Bail University of Manchester Ernesto Jiménez-Ruiz University of Oxford Competition Organisers Rafael Gonçalves University of Manchester Nicolas Matentzoglu University of Manchester Bijan Parsia University of Manchester Local Organisers Birte Glimm University of Ulm Yevgeny Kazakov University of Ulm Program Committee Ana Armas University of Oxford Franz Baader TU Dresden Christine Golbreich LIRMM, CNRS, Montpellier & Univ. Versailles Saint-Quentin Janna Hastings European Bioinformatics Institute Pavel Klinov University of Ulm Despoina Magka University of Oxford Francisco Martin-Recuerda Universidad Politécnica de Madrid Christian Meilicke University of Mannheim Julian Mendez TU Dresden Maria Del Mar Roldán Garcı́a Universidad de Malaga Stefan Schlobach Vrije Universiteit Amsterdam Kavitha Srinivas IBM Research Dmitry Tsarkov University of Manchester Zhe Wang Griffith University Additional Reviewers Andrew Bate University of Oxford David Carral Wright State University Maria Copeland University of Manchester Jared Leo University of Manchester Jose Mora Universidad Politécnica de Madrid Weihong Song University of New Brunswick Yujiao Zhou University of Oxford iv Table of Contents Evaluation results OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report . . . . . . . . . . . . . . . . 1 Rafael Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm and Yevgeny Kazakov System papers YARR!: Yet Another Rewriting Reasoner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Joerg Schoenfisch and Jens Ortmann TReasoner: System Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Andrew Grigorev and Alexander Ivashko Snorocket 2.0: Concrete Domains and Concurrent Classification . . . . . . . . . . . . . . . . . . . . . . . . . . 32 Alejandro Metke Jimenez and Michael Lawley A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Weihong Song, Bruce Spencer and Weichang Du Android goes Semantic: DL Reasoners on Smartphones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo and Eduardo Mena FRaQuE: A Framework for Rapid Query Processing Evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Jean-Rémi Bourguet and Luca Pulina MORe: a Modular OWL Reasoner for Ontology Classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 Ana Armas, Bernardo Cuenca Grau, Ian Horrocks and Ernesto Jiménez-Ruiz Experimenting with ELK Reasoner on Android . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Yevgeny Kazakov and Pavel Klinov Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies . . . . . . . . 75 Oleksandr Pospishnyi DRAOn: A Distributed Reasoner for Aligned Ontologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 Chan Le Duc, Myriam Lamolle, Antoine Zimmermann and Olivier Curé The ELepHant Reasoner System Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 Bariş Sertkaya Evaluating SPARQL-to-SQL translation in ontop . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 Mariano Rodriguez-Muro, Martin Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi and Diego Calvanese OBDA with Ontop . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 Mariano Rodriguez-Muro, Roman Kontchakov and Michael Zakharyaschev Reasoning the FMA Ontologies with TrOWL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Jeff Z. Pan, Yuan Ren, Nophadol Jekjantuk and Jhonatan Garcia v Ontology and benchmark papers KB Bio 101 : A Challenge for OWL Reasoners . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 Michael Wessel, Vinay Chaudhri and Stijn Heymans Evaluating OWL 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 Berkan Sesen, Ernesto Jimenez-Ruiz, Rene Banares-Alcantara and Michael Brady Genomic CDS: an example of a complex ontology for pharmacogenetics and clinical decision support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 Matthias Samwald A large-scale gene-centric semantic web knowledge base for molecular biology . . . . . . . . . . . . . 134 Jose Cruz-Toledo, Alison Callahan and Michel Dumontier vi