| Authors | Title | Paper | Talk |
|---|
| Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban and Eduardo Mena | Android Went Semantic: Time for Evaluation |  | Jul 13 12:40 |
| Michel Ludwig | Just: a Tool for Computing Justifications w.r.t. ELH Ontologies |  | Jul 13 12:20 |
| Jean-Rémi Bourguet and Luca Pulina | TROvE: a Graphical Tool to Evaluate OWL Reasoners |  | Jul 13 11:00 |
| José Antonio Minarro-Giménez and Matthias Samwald | An update on Genomic CDS, a complex ontology for pharmacogenomics and clinical decision support |  | Jul 13 14:50 |
| Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys and Guohui Xiao | A Scalable Benchmark for OBDA Systems: Preliminary Report |  | Jul 13 11:40 |
| Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Saverio Ieva and Eugenio Di Sciascio | Mini-ME 2.0: powering the Semantic Web of Things |  | Jul 13 16:30 |
| Dmitry Tsarkov | Incremental and Persistent Reasoning in FaCT++ |  | Jul 13 16:50 |
| Alexander Kropotin | Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development |  | Jul 13 12:00 |
| C. Maria Keet, Claudia D'Amato, Zubeida Khan and Agnieszka Lawrynowicz | Exploring Reasoning with the DMOP Ontology |  | Jul 13 14:30 |
| Thomas Eiter, Patrik Schneider, Mantas Simkus and Guohui Xiao | Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners |  | Jul 13 11:20 |
| Robert Stevens, Nicolas Matentzoglu and Uli Sattler | A Family History Knowledge Base in OWL 2 |  | Jul 13 15:10 |