Programme

 

[Programme][Participating systems][Accepted papers]


Programme (Monday, July 22)

  • 8:30-9:00: Registration
  • 9:00-9:15: Welcome
  • 9:15-10:30: Session 1 (5 x 15min talks). Chair: Pavel Klinov
    • A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner [slides]
    • MORe: a Modular OWL Reasoner for Ontology Classification [slides]
    • Snorocket 2.0: Concrete Domains and Concurrent Classification [slides]
    • The ELepHant Reasoner System Description [slides]
    • Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies [slides]
  • 10:30-11:00: Coffee break
  • 11:00-12:30: Session 2 (6 x 15min talks). Chair: Ernesto Jimenez-Ruiz
    • DRAOn: A Distributed Reasoner for Aligned Ontologies [slides]
    • TReasoner: System Description [slides]
    • Evaluating SPARQL-to-SQL translation in ontop
    • OBDA with Ontop
    • YARR!: Yet Another Rewriting Reasoner [slides]
    • FRaQuE: A Framework for Rapid Query Processing Evaluation
  • 12:30-14:00: Lunch
  • 14:00-15:15: Session 3 (5 x 15min talks). Chair: Bijan Parsia
    • Reasoning the FMA Ontologies with TrOWL [slides]
    • Evaluating OWL 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection [slides]
    • KB_Bio_101: A Challenge for OWL Reasoners [slides]
    • Genomic CDS: an example of a complex ontology for pharmacogenetics and clinical decision support [slides]
    • A large-scale gene-centric semantic web knowledge base for molecular biology [slides]
  • 15:15-15:45: Coffee break
  • 15:45-16:15: Session 4 (2 x 15min talks). Chair: Samantha Bail
    • Android goes Semantic: DL Reasoners on Smartphones [slides]
    • Experimenting with ELK Reasoner on Android [slides]
  • 16:15-17:00: Competition discussion and feedback
  • 17:00-20:00: Social event
  • 20:00-: Social dinner at Drei Kannen.
    • Please indicate attendance in this poll
    • Getting there: Hafenbad 31/1, 89073, Ulm [map]

ORE sessions at DL (Wednesday, July 24) (see DL programme)

  • 17:20-17:40: ORE Reasoner Competition Results [slides]
  • 19:30-22:00: DL Social Dinner and ORE Award Ceremony

 


Participating systems [Results]

 


Accepted papers

System papers:

  1. Joerg Schoenfisch and Jens Ortmann: YARR!: Yet Another Rewriting Reasoner [pdf]
  2. Andrey Grigoryev and Alexander Ivashko: TReasoner: System Description [pdf]
  3. Alejandro Metke Jimenez and Michael Lawley: Snorocket 2.0: Concrete Domains and Concurrent Classification [pdf]
  4. Weihong Song, Bruce Spencer and Weichang Du: A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner [pdf]
  5. Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo and Eduardo Mena: Android goes Semantic: DL Reasoners on Smartphones [pdf]
  6. Jean-Rémi Bourguet and Luca Pulina: FRaQuE: A Framework for Rapid Query Processing Evaluation [pdf]
  7. Ana Armas, Bernardo Cuenca Grau, Ian Horrocks and Ernesto Jimenez-Ruiz: MORe: a Modular OWL Reasoner for Ontology Classification [pdf]
  8. Yevgeny Kazakov and Pavel Klinov: Experimenting with ELK Reasoner on Android [pdf]
  9. Oleksandr Pospishnyi: Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies [pdf]
  10. Chan Le Duc, Myriam Lamolle, Antoine Zimmermann and Olivier Curé: DRAOn: A Distributed Reasoner for Aligned Ontologies [pdf]
  11. Bariş Sertkaya: The ELepHant Reasoner System Description [pdf]
  12. Mariano Rodriguez-Muro, Martin Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi and Diego Calvanese: Evaluating SPARQL-to-SQL translation in ontop [pdf]
  13. Mariano Rodriguez-Muro, Roman Kontchakov and Michael Zakharyaschev: OBDA with Ontop [pdf]
  14. Jeff Z. Pan, Yuan Ren, Nophadol Jekjantuk and Jhonatan Garcia: Reasoning the FMA Ontologies with TrOWL [pdf]

Ontology and benchmark papers:

  1. Michael Wessel, Vinay Chaudhri and Stijn Heymans: KB_Bio_101: A Challenge for OWL Reasoners [pdf]
  2. Berkan Sesen, Ernesto Jimenez-Ruiz, Rene Banares-Alcantara and Michael Brady: Evaluating OWL 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection [pdf]
  3. Matthias Samwald: Genomic CDS: an example of a complex ontology for pharmacogenetics and clinical decision support [pdf]
  4. Jose Cruz-Toledo, Alison Callahan and Michel Dumontier: A large-scale gene-centric semantic web knowledge base for molecular biology [pdf]