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
|