The fourth edition of the annual Stream Reasoning Workshop will take place from April 16th till April 17th, 2019. A hackaton (external) will additionally be organised based on last year’s commitment, and will take place in the morning of April 16th.
- Daniele Dell'Aglio (Zürich University)
- Emanuele Della Valle (Politecnico di Milano)
- Danh Le Phuoc (TU Berlin)
- Fredrik Heintz (Linköping University, Chair)
- Robin Keskisärkkä (Linköping University, HCS)
- Daniel de Leng (Linköping University, AIICS)
Aim and Scope
Processing, querying and reasoning over streaming data is studied in different communities such as KR&R, Semantic Web, Databases, Stream Processing, Complex Event Processing, etc., where researchers have different perspectives and face different challenges.
This workshop aims at advancing Stream Reasoning as research area by bringing together these different views and goals. In addition to invited talks, the workshop will provide opportunities for all participants to engage in discussions on open problems and future directions.
Participation is by invitation only. Registration is free of charge and includes attendance to all workshop events and lectures, coffee breaks, and lunches.
Date and Venue
The workshop main programme will take place on Tuesday April 16th and Wednesday April 17th in lecture hall Ada Lovelace. Signs will lead you there.
The workshop will be held at the Department of Computer and Information Science at Linköping University, 581 83 Linköping, Sweden. Linköping is known as the aviation capital of Sweden, housing both an Air Force base and a civilian airport run by Saab, known as Linköping City Airport (external). Linköping City Airport has regular KLM flights from and to Schiphol Airport in Amsterdam. Alternatively, one can use either Stockholm Skavsta in Nyköping which services Ryanair, or Stockholm Arlanda in the Greater Stockholm area which services a variety of airliners. For more details, please consult the travelling directions.
Please note that Sweden is in the Central European time-zone and uses the Swedish Krona (SEK) as the local currency. Purchases are commonly made by debit or credit card, and sometimes cannot be made in cash. Visa and MasterCard are widely accepted. Support for Maestro has improved over the years but may be less reliable.
Programme and Schedule
Tuesday April 16
Wednesday April 17
- 09:00-12:00 Second Stream Reasoning Hackaton (external)
- 12:00-13:00 Lunch
- 13:00-13:05 Opening
- 13:05-14:00 Keynote 1 - Thomas Eiter: "Stream Reasoning and its Relationship to Multi-Context Systems"
- 14:00-15:00 Session 1, 4x15 min
- Stefan Ellmauthaler: "Multi-Context Reasoning in Continuous Data-Flow Environments"
- Przemysław Andrzej Wałęga: "Stream Reasoning in Datalog with Metric Temporal Operators"
- Efthimis Tsilionis: "Incremental Event Calculus for Run-Time Reasoning"
- Andreas Harth: "Dynamical Systems on the Web: Classification and Challenges" (tentative)
- 15:00-15:30 Coffee
- 15:30-16:00 Demonstration in the Terra UAV lab
- 16:00-17:00 Keynote 2 - Patrick Doherty: "Emergency Rescue and Collaborative Robotics" (preliminary title)
- 19:00- Dinner
- 09:00-10:00 Session 2, 4x15 min
- Robin Keskisärkkä: TBD
- Daniel de Leng: "Approximate Stream Reasoning with Incomplete State Information"
- Rafael Kiesel: "Quantitative Stream Reasoning with LARS"
- Jacopo Urbani: "Adapting Datalog Evaluation Techniques for LARS-based Reasoning"
- 10:00-10:30 Coffee
- 10:30-11:00 Keynote 3 - Daniel Jakobsson: "Data and Challenges at the Swedish Transport Administration"
- 11:00-12:00 Session 3, 4x15 min
- Patrick Koopmann: "Ontology-Based Query Answering for Probabilistic Temporal Data"
- Simon Schiff: "Probabilistic Relational Query Answering on Stream Data"
- Mattias Tiger: "Probabilistic Signal Temporal Logic for Predictive Stream Reasoning"
- 12:00-13:00 Lunch
- 13:00-14:00 Session 4, 4x15 min
- Mathias De Brouwer: "Automatic (Re)configuration of RSP Engines"
- Emanuele Della Valle: "Inductive Stream Reasoning" (tentative)
- Riccardo Tommasini: "Ontology-Based Event Processing"
- 14:00-15:00 Closing discussion (hackaton report, SR community, next workshop)