Stream reasoning at a glance

In many applications of the Internet of Things, manufacturing digitalization, or cyber-physical systems decisions must be made in a (near-) real-time over continuously changing data. This tutorial provides an in-depth introduction to stream reasoning formalisms with the focus on approaches originating in logic programming.

Increased availability of streaming data, such as sensor readings, results computed by software components, etc., are often coming at velocity and volumes which do not allow for their storage in databases, but are directly forwarded to its consumers. Stream reasoning is an emerging research area that aims at the development of knowledge representation and reasoning systems allowing for a (near-) real-time processing of continuously changing data. Formal languages of these systems are equipped with temporal modalities and different types of window operators that can be used to address snapshots of data from a stream. In conjunction with specifically designed methods for incremental and distributed computations, stream reasoning systems can be used to model and solve various complex problems such as diagnosis, configuration, or planning.

The goal of the tutorial is to introduce modern rule-based stream reasoning systems to a broad audience interested in efficient decision making over streaming data. The presentation provides an in-depth introduction of stream reasoning methods and includes all required preliminaries and therefore is suitable for a broad audience with a basic understanding of knowledge representation and reasoning techniques.

Speakers