[Programme][Participating systems][Accepted papers]
- 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.
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]
System papers:
- Joerg Schoenfisch and Jens Ortmann: YARR!: Yet Another Rewriting Reasoner [pdf]
- Andrey Grigoryev and Alexander Ivashko: TReasoner: System Description [pdf]
- Alejandro Metke Jimenez and Michael Lawley: Snorocket 2.0: Concrete Domains and Concurrent Classification [pdf]
- Weihong Song, Bruce Spencer and Weichang Du: A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner [pdf]
- Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo and Eduardo Mena: Android goes Semantic: DL Reasoners on Smartphones [pdf]
- Jean-Rémi Bourguet and Luca Pulina: FRaQuE: A Framework for Rapid Query Processing Evaluation [pdf]
- Ana Armas, Bernardo Cuenca Grau, Ian Horrocks and Ernesto Jimenez-Ruiz: MORe: a Modular OWL Reasoner for Ontology Classification [pdf]
- Yevgeny Kazakov and Pavel Klinov: Experimenting with ELK Reasoner on Android [pdf]
- Oleksandr Pospishnyi: Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies [pdf]
- Chan Le Duc, Myriam Lamolle, Antoine Zimmermann and Olivier Curé: DRAOn: A Distributed Reasoner for Aligned Ontologies [pdf]
- Bariş Sertkaya: The ELepHant Reasoner System Description [pdf]
- Mariano Rodriguez-Muro, Martin Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi and Diego Calvanese: Evaluating SPARQL-to-SQL translation in ontop [pdf]
- Mariano Rodriguez-Muro, Roman Kontchakov and Michael Zakharyaschev: OBDA with Ontop [pdf]
- Jeff Z. Pan, Yuan Ren, Nophadol Jekjantuk and Jhonatan Garcia: Reasoning the FMA Ontologies with TrOWL [pdf]
Ontology and benchmark papers:
- Michael Wessel, Vinay Chaudhri and Stijn Heymans: KB_Bio_101: A Challenge for OWL Reasoners [pdf]
- 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]
- Matthias Samwald: Genomic CDS: an example of a complex ontology for pharmacogenetics and clinical decision support [pdf]
- Jose Cruz-Toledo, Alison Callahan and Michel Dumontier: A large-scale gene-centric semantic web knowledge base for molecular biology [pdf]
Comments are closed.