The fourth edition of the annual Stream Reasoning Workshop will take place from April 16th till April 17th, 2019. A challenge track (external) will additionally be organised based on last year’s commitment, and will take place in the morning of April 16th.
Organisation
Organising committee:
- Daniele Dell'Aglio (Zürich University)
- Emanuele Della Valle (Politecnico di Milano)
- Danh Le Phuoc (TU Berlin)
- Fredrik Heintz (Linköping University, Chair)
Local organisation:
- 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
- 09:00-12:00 Second Stream Reasoning Challenge (external) [ PDF ]
- 12:00-13:00 Lunch at Universitetsklubben
- 13:00-13:05 Opening
- 13:05-14:00 Keynote 1 - Thomas Eiter: "Stream Reasoning and its Relationship to Multi-Context Systems" [ PDF ]
- 14:00-15:00 Session 1, 4x15 min
- Stefan Ellmauthaler: "Multi-Context Reasoning in Continuous Data-Flow Environments" [ PDF ]
- Przemysław Andrzej Wałęga: "Stream Reasoning in Datalog with Metric Temporal Operators"
- Efthimis Tsilionis: "Incremental Event Calculus for Run-Time Reasoning" [ PDF ]
- Andreas Harth: "Dynamical Systems on the Web: Classification and Challenges" [ PDF ]
- 15:00-15:30 Coffee
- 15:30-16:00 Demonstration in the Terra UAV lab
- 16:00-17:00 Keynote 2 - Patrick Doherty: "Intelligent Collaborative Systems and Their Application to Emergency Rescue Scenarios -- And some stream stuff!"
- 19:00- Dinner: Hey Lucy Dinner Club
Wednesday April 17
- 09:00-10:00 Session 2, 4x15 min
- Robin Keskisärkkä: "RSP-QL*: Querying Data Level Annotations in RDF Streams" [ Slideshare ]
- Patrik Schneider: "An Overview of EU Project IoTCrawler"
- Rafael Kiesel: "Quantitative Stream Reasoning with LARS" [ PDF ]
- 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" [ PDF ]
- 11:00-12:00 Session 3, 4x15 min
- Patrick Koopmann: "Ontology-Based Query Answering for Probabilistic Temporal Data" [ PDF ]
- Simon Schiff: "Exploiting Back-End APIs for Feasible Ontology-Based Stream Access" [ PDF ]
- Daniel de Leng: "Approximate Stream Reasoning with Incomplete State Information" [ PDF ]
- Mattias Tiger: "Probabilistic Signal Temporal Logic for Predictive Stream Reasoning" [ PDF ]
- 12:00-13:00 Lunch at Universitetsklubben
- 13:00-14:00 Session 4, 4x15 min
- Thomas Eiter: "COST Action on Stream Reasoning"
- Mathias De Brouwer: "Automatic (Re)configuration of RSP Engines" [ PDF ]
- Riccardo Tommasini: "Ontology-Based Event Processing" [ PDF ]
- Emanuele Della Valle: "(Work in Progress in) Inductive Stream Reasoning" [ Slideshare ]
- 14:00-15:00 Closing discussion (challenge track report, SR community, next workshop)