Day 1 (Monday, September 15)
| 8:45-9:00 |
Opening
|
| 9:00-10:00 |
Keynote talk
Frank van Harmelen Is the Web of Data turning into a self-organising complex system? And what does that mean for our tools and theories? |
| 10:00-10:30 |
Coffee break
|
| 10:30-12:20 |
Ontology-Based Data Access and Data Integration
|
| 10:30-11:00 |
Guohui Xiao, Martin Rezk, Mariano Rodríguez-Muro and Diego Calvanese
Rules and Ontology Based Data Access |
| 11:00-11:30 |
Domenico Lembo, José Mora, Riccardo Rosati, Domenico Fabio Savo and Evgenij Thorstensen
Towards Mapping Analysis in Ontology-based Data Access |
| 11:30-12:00 |
Balder ten Cate, Richard Halpert and Phokion Kolaitis
Exchange-Repairs: Managing Inconsistency in Data Exchange |
| 12:00-12:20 |
Andreas Nolle, Christian Meilicke, Heiner Stuckenschmidt and German Nemirovski
Efficient Federated Debugging of Lightweight Ontologies |
| 12:30-14:30 |
Lunch
|
| 14:30-16:30 |
Logic Programming and Ontologies
|
| 14:30-15:00 |
Yi Bi, Jia-Huai You and Zhiyong Feng
A Generalization of Approximation Fixpoint Theory and Application |
| 15:00-15:30 |
Reza Basseda, Anthony J. Bonner and Michael Kifer
Planning with Transaction Logic |
| 15:30-15:50 |
Giuseppe Marra, Antonino Nocera, Francesco Ricca, Giorgio Terracina and Domenico Ursino
Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming |
| 15:50-16:10 |
Matthias Nickles and Alessandra Mileo
Web Stream Reasoning Using Probabilistic Answer Set Programming |
| 16:10-16:30 |
Luca Pulina
An Ontology for Container Terminal Operations |
| 16:30-17:00 |
Coffee break
|
| 17:00-18:00 |
Tutorial
Nasos Drosopoulos and Ilianna Kollia Web Reasoning for Cultural Heritage |
Day 2 (Tuesday, September 16)
| 9:00-10:00 |
Industry talk
Stephan Grimm (Siemens) Semantic Technologies in Selected Industrial Applications |
| 10:00-10:30 |
Coffee break
|
| 10:30-12:30 |
Query Answering and Search on the Web
|
| 10:30-11:00 |
Mathew Joseph, Gabriel Kuper and Luciano Serafini
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity |
| 11:00-11:30 |
Szymon Klarman and Thomas Meyer
Querying Temporal Databases via OWL 2 QL |
| 11:30-11:50 |
Eli Katsiri, George Papastefanatos, Manolis Terrovitis and Timos Sellis
Airport Context Analytics |
| 11:50-12:10 |
Dimitrios Koutsomitropoulos, Georgia Solomou and Aikaterini Kalou
Navigating among Educational Resources in the Web of Linked Data |
| 12:10-12:30 |
Maria Karpathiotaki, Kallirroi Dogani, Manolis Koubarakis, Bernard Valentin, Paolo Mazzetti, Mattia Santoro and Sabina Di Franco
Semantic Search for Earth Observartion Products using Ontology Services |
| 12:30-14:30 |
Lunch
|
| 14:30-14:55 |
Poster announcements
|
| 14:30-14:33 |
Hajer Baazaoui-Zghal and Ghada Besbes
Ontology-Based Answer Extraction Method |
| 14:33-14:36 |
Thomas Kowark and Hasso Plattner
Collective, Incremental Ontology Alignment Through Query Translation |
| 14:36-14:39 |
Emanuele Rabosio, Álvaro Cortés-Calabuig and Jan Paredaens
Disjunctive Constraints in RDF and Their Application to Context Schemas |
| 14:39-14:42 |
Manolis Koubarakis et al.
Linked Open Data in the Earth Observation Domain: the Vision of Project LEO |
| 14:42-14:45 |
Tanel Tammet and Ago Luberg
Combining Fuzzy and Probabilistic Reasoning for Crowd-Sourced Categorization and Tagging |
| 14:45-14:48 |
Barbara Nardi
Visual Editor for Answer Set Programming: Preliminary Report |
| 14:48-14:51 |
Zia Ush Shamszaman
Adaptive Stream Query Processing Approach for Linked Stream Data: Extended Abstract |
| 14:51-14:54 |
Pieter Van Hertum
Combining Logic and Business Rule Systems |
| 15:00-17:00 |
Poster session (Doctoral consortium, RR and RW)
|
| 17:00 | Social event and conference dinner |
Day 3 (Wednesday, September 17)
| 9:30-10:30 |
Keynote talk
Markus Krötzsch P ≠ P: Why Some Reasoning Problems are More Tractable Than Others |
| 10:30-11:00 |
Coffee break
|
| 11:00-12:40 |
Ontology-Based Query Answering
|
| 11:00-11:20 |
Magdalena Ortiz and Mantas Simkus
Revisiting the Hardness of Query Answering in Expressive Description Logics |
| 11:20-11:50 |
Theofilos Mailis, Rafael Peñaloza and Anni-Yasmin Turhan
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics |
| 11:50-12:20 |
Mark Kaminski, Yavor Nenov and Bernardo Cuenca Grau
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies |
| 12:20-12:40 |
Giorgos Stoilos
Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies |
| 12:40-13:00 |
Closing ceremony
|