Programme

The workshop will be organised in two sessions. In the first session all papers will be given a 4 minutes presentation slot where authors will give a brief overview about their system description and/or evaluation results. The second part of the workshop will be a poster (A1 and portrait) and demo session where all authors will have the opportunity to provide more details about their systems and/or evaluations.

• 08:40-09:00 Poster setup

• 09:00-10:00 Welcome and paper presentation session (papers 1-8)

• 10:00-10:30 Coffee break

• 10:30-11:00 Paper presentation session (papers 9-14)

• 11:00-12:15 Poster and demo session

• 12:15-12:30 Discussion and wrap-up

• 12:30- Social lunch (to be confirmed)

Accepted papers (and order for flash presentations)

1. Wael Yehia and Mikhail Soutchanski: Evaluation of OWL Reasoners on Solving the Projection Problem: Experimental Study
2. Dmitry Tsarkov and Ignazio Palmisano: Chainsaw: a Metareasoner for Large Ontologies
3. Maria Del Mar Roldan-Garcia and Jose F Aldana-Montes: Evaluating DBOWL: A Non-materializing OWL Reasoner based on Relational Database Technology
4. Zhe Wu, Karl Rieb, George Eadon, Ankesh Khandelwal and Vladimir Kolovski: Advancing the Enterprise-class OWL Inference Engine in Oracle Database
5. Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, Filippo Gramegna and Giuseppe Loseto: Mini-ME: the Mini Matchmaking Engine
6. Weihong Song, Bruce Spencer and Weichang Du: WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach
7. Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi and Domenico Fabio Savo: MASTRO: an ontology-based data access system
8. Yong-Bin Kang, Yuan-Fang Li and Shonali Krishnaswamy: A Rigorous Characterization of Reasoning Performance -- A Tale of Four Reasoners
9. Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau and Ian Horrocks: On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems
10. Yevgeny Kazakov, Markus Krotzsch and Frantisek Simancik: ELK Reasoner: Architecture and Evaluation
11. Yingjie Li, Yang Yu and Jeff Heflin: Evaluating Reasoners Under Realistic Semantic Web Conditions
12. Julian Alfredo Mendez: jcel: A Modular Rule-based Reasoner
13. Ian Horrocks, Boris Motik and Zhe Wang: The HermiT OWL Reasoner
14. Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova and Kiril Simov: OWLIM Reasoning over FactForge