Abstract
In the recent years, there has been an increasing speed and volume of data production in several domains, such as Internet of Things, Social Networks and Smart Cities. An interesting feature of such data is that its utility is often related to time: the sooner the data is processed, the higher is the value. Consequently, techniques to process huge amounts of heterogeneous streaming data in a continuous fashion are getting more and more important.
Data Stream Management Systems and Complex Event Processing [2] provide foundations for continuously querying and monitoring data streams. However, other kinds of processing are desired, such as deductive and inductive inference, where domain models provide background knowledge and context.
With Stream Reasoning we refer to a research trend that aims at studying how to introduce reasoning processes in scenarios involving streams. Up to now, we have seen two types of stream reasoning: reasoning over streams and reasoning about streams. Reasoning over streams is the incremental reasoning over information that is continuously produced and made available, typically in the context of a static domain model. Reasoning about streams is the reasoning with streams as first class entities. Stream Reasoning introduces new challenges with regard to traditional reasoning over static or slowly changing data: the data is made available in a continuous way, possibly from different sources; time is a first-class citizen; responsiveness is a key requirement; and deletion mechanisms are often required in order to satisfy performance and space constraints.
The term Stream Reasoning emerged a decade ago [5], and developed as a trend involving different areas of computer science, such as semantic web, databases, robotics and knowledge representation. The multidisciplinary nature of Stream Reasoning offers an ideal setting for exchanging ideas and expertise. To push this process, community members contributed to tutorials, summer schools and workshops in important and prestigious venue. Additionally, in the last five years we have organised four invitation-based events to let the community meet and discuss. We observed an increasing trend in terms of attendance and advances in the research. So far, the majority of workshop presentations focused on logic-based reasoning. However, we observe an increasing number of studies focusing on the combination of logic-based reasoning with statistics-based inference techniques to create data processing pipelines. For example, in computer vision, tasks such as object detection, semantic segmentation, and image understanding get advantage of knowledge graphs to improve the quality of the results. In the database and knowledge management communities, the process of creating and enriching knowledge graphs uses statistics-based inference techniques, e.g. deep convolutional or recurrent neural networks, and Markov logic networks, in conjunction with logic reasoners, e.g. Datalog and first-order logic reasoners. To integrate uncertainty coming from learning models with logic reasoning processes, approaches such as Softlogic [1] or extensions of Answer Set Programming (ASP) [7,8] have been proposed to make the best of both worlds. One approach is to compute probability distributions over MTL-formulas as a result of incomplete information [4] and another is to integrate probabilistic inference more directly by extending the syntax of MTL with probabilistic statements that are computed through probabilistic inference outside the logic [9]. While most of these studies focused on processing static data, we envision that the development of new methods and techniques based on statistics-based inference techniques and logic-based reasoning will be a driving force in stream reasoning in years to come.
Stream reasoning research should also look at distribution. Most big data stream processing platforms, such as Apache Flink and Apache Spark, achieve scalability by supporting parallelization of complex iterative computing workflows and execution on cluster or cloud platforms. Edge computing is pushing the computation closer to the data sources, e.g. a resource-constrained edge device can efficiently store and process 30 million of RDF triples with 80 MB of RAM [6]. Since stream data is often generated in a distributed fashion, these decentralized computing paradigms are suitable and desirable choices to develop stream reasoning solutions. This is not straightforward, since there are several theoretical and technical challenges to build scalable and robust distributed stream reasoning systems. For example, [3] proposes to use ASP to formalise distributed reasoning workflows (including data stream), by representing the federation among heterogeneous reasoners. Systems able to perform reasoning – both logic-based and statistics-based – on streams may find application in a wide are of use cases, including Internet of Things, autonomous driving and personalized medicine.
We ran this special issue to collect the most recent and advanced research on stream reasoning. We received eight submissions, and after the review process, we selected two contributions.
In “Enhancing the Scalability of Expressive Stream Reasoning via input-driven Parallelization”, the authors study how to let stream reasoning scale. The problem they focus on how to parellelise the execution of non-monotonic rules expressed in a subset of ASP. As a solution, they propose a novel input splitting technique based on the analysis of the relation between input data streams and ASP rules registered into the system. Extensive experiments analyse the performance of the proposed technique while considering different class of rules, including recursive and negation rules.
In “Ontology-mediated query answering over temporal and inconsistent data”, the authors investigate how to cope with temporal and insistent data in stream reasoning. The paper considers a temporal query language that combines conjunctive queries with operators of propositional linear temporal logic (LTL) under three consistency-tolerant semantics introduced in query consistent description logic knowledge bases. The key contributions of the authors are complexity analysis of an extensive number of cases of
We would like to thank all the people that contribute to this special issue. We thank all the authors that submitted contributions, showing another time that there is an ongoing active and passionate research on stream reasoning. We thank the Editors-in-Chief, Pascal Hitzler and Krzysztof Janowicz, which gave us the opportunity to run this special issue and supported us in the whole process. Finally, we are very grateful to the reviewers, whose effort produced valuable insights: Eva Blomqvist, David Bowden, Jean Paul Calbimonte, Daniel de Leng, Ali Intizar, Robin Keskisärkkä, Thu Le-Pham, Alessandro Margara, Alessandra Mileo, Boris Motik, Özgür Öezçep, Josiane Parreira, Konstantin Schekotihin, Patrik Schneider, Veronika Thost, Jacopo Urbani and Guohui Xiao.