Skip to toolbar

Community & Business Groups

ORE 2015: Programme

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


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:
  2. ELepHant:
  3. ELK:
  4. FaCT++:
  5. HermiT:
  6. jcel:
  7. Jfact:
  8. Konclude:
  9. MORe:
  10. PAGOdA:
  11. Pellet:
  12. Racer:
  13. TrOWL:


Leave a Reply

Your email address will not be published. Required fields are marked *

Before you comment here, note that this forum is moderated and your IP address is sent to Akismet, the plugin we use to mitigate spam comments.