Community & Business Groups

Home | Call for Papers | Competition | Programme | Organization | Attending

Programme

Presentations are allocated 25 minutes (15-20 min. for presentation + 5 min. for questions).
Download all slides as a zip file.

9:00-9:45 Registration
9:45-10:00 Opening [pdf]
10:00-10:30 Session 1: System presentations

• Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau and Ian Horrocks. Ontology-based Query Answering with PAGOdA [pptx]

10:30-11:00 Coffee break
11:00-12:40 Session 2: System presentations

• Ismail Ilkan Ceylan, Julian Mendez and Rafael Peñaloza. The Bayesian Ontology Reasoner is BORN! [pdf]
• Floriano Scioscia, Michele Ruta and Eugenio Di Sciascio. A swarm of Mini-MEs: reasoning and information aggregation in ubiquitous multi-agent context [pdf]
• Patrick Koopmann and Renate A. Schmidt. LETHE: A Saturation-Based Tool for Non-Classical Reasoning [pdf]
• Jaroslaw Bak. RuQAR: Reasoning with OWL 2 RL Using Forward Chaining Engines [pdf]

12:40-14:10 Lunch break
14:10-15:50 Session 3: Evaluation/benchmark presentations

• Roberto Yus, Fernando Bobillo, Carlos Bobed and Eduardo Mena. The OWL Reasoner Evaluation Goes Mobile [ppt]
• Michael Lee, Nicolas Matentzoglu, Uli Sattler and Bijan Parsia. Verifying Reasoner Correctness – A Justication Based Method [pptx]
• Pieter Bonte, Femke Ongenae, Ben De Meester, Doerthe Arndt, Wim Dereuddre, Jabran Bhatti, Stijn Verschichel and Filip De Turck. Evaluation and optimized usage of OWL 2 Reasoners in an event-based eHealth context [pptx]
• Alessandro Solimando, Ernesto Jimenez-Ruiz and Giovanna Guerrini. On the Feasibility of Using OWL 2 Reasoners in Ontology Alignment Repair Problems [pdf]

15:50-16:20 Coffee break
16:20-17:10 Session 4: Evaluation/benchmark presentations

• Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler and Bijan Parsia. A Survey of Current, Stand-alone OWL Reasoners [pptx]
• Edgaras Valincius, Hai Nguyen and Jeff Z. Pan. A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices [pptx]

17:10-17:40 ORE 2015 closing [pptx]
19:30-23:00 Social dinner: The Butcher Shop. Attendance poll.

 

ORE at DL (June 9, Tuesday)

17:30-17:45 ORE Live Competition Results [pdf]

 

Participating systems

1. Chainsaw: http://sourceforge.net/projects/chainsaw/
2. ELepHant: https://code.google.com/p/elephant-reasoner/
3. ELK: http://code.google.com/p/elk-reasoner/
4. FaCT++: http://code.google.com/p/factplusplus/
5. HermiT: http://www.hermit-reasoner.com/
6. jcel: http://jcel.sourceforge.net/
7. Jfact: http://sourceforge.net/projects/jfact/
8. Konclude: http://www.derivo.de/en/produkte/konclude/
9. MORe: http://code.google.com/p/more-reasoner/
10. PAGOdA: https://www.cs.ox.ac.uk/isg/tools/PAGOdA/
11. Pellet: http://clarkparsia.com/pellet
12. Racer: https://www.ifis.uni-luebeck.de/index.php?id=385
13. TrOWL: http://trowl.org/