ORE 2013
OWL Reasoner Evaluation Workshop

Table of Contents

• Preface and Conference Organisation
  
  

Evaluation results

• OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report 1-18
  Rafael Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov

System papers

• YARR!: Yet Another Rewriting Reasoner 19-25
  Joerg Schoenfisch, Jens Ortmann
• TReasoner: System Description 26-31
  Andrey V. Grigorev, Alexander G. Ivashko
• Snorocket 2.0: Concrete Domains and Concurrent Classification 32-38
  Alejandro Metke-Jimenez, Michael Lawley
• A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner 39-45
  Weihong Song, Bruce Spencer, Weichang Du
• Android goes Semantic: DL Reasoners on Smartphones 46-52
  Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo, Eduardo Mena
• FRaQuE: A Framework for Rapid Query Processing Evaluation 53-60
  Jean-Rémi Bourguet, Luca Pulina
• MORe: a Modular OWL Reasoner for Ontology Classification 61-67
  Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz
• Experimenting with ELK Reasoner on Android 68-74
  Yevgeny Kazakov, Pavel Klinov
• Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies 75-80
  Pospishnyi Oleksandr
• DRAOn: A Distributed Reasoner for Aligned Ontologies 81-86
  Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé
• The ELepHant Reasoner System Description 87-93
  Baris Sertkaya
• Evaluating SPARQL-to-SQL Translation in Ontop 94-100
  Mariano Rodríguez-Muro, Martin Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese
• OBDA with Ontop 101-106
  Mariano Rodríguez-Muro, Roman Kontchakov, Michael Zakharyaschev
• Reasoning the FMA Ontologies with TrOWL 107-113
  Jeff Z. Pan, Yuan Ren, Nophadol Jekjantuk, Jhonatan Garcia

Ontology and benchmark papers

• KB_Bio_101 : A Challenge for OWL Reasoners 114-120
  Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans
• Evaluating OWL 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection 121-127
  M. Berkan Sesen, Ernesto Jiménez-Ruiz, René Bañares-Alcántara, Sir Michael Brady
• Genomic CDS: an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support 128-133
  Matthias Samwald
• A Large-scale Gene-centric Semantic Web Knowledge Base for Molecular Biology 134-139
  José Cruz-Toledo, Alison Callahan, Michel Dumontier

Complete proceedings in one PDF file