Towards Ideal Semantics for Analyzing Stream Reasoning

The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing/reasoning engines were proposed in different communities. However, due to a lack of theoretical foundations, the expressivity and semantics of these diverse approaches are given only informally. Towards clear specifications and means for analytic study, a formal framework is needed to define their semantics in precise terms. To this end, we present a first step towards an ideal semantics that allows for exact descriptions and comparisons of stream reasoning systems.Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 17-22, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-150562 2014,

Belief Dynamics in Complex Social Networks

People are becoming increasingly more connected to each other in social media networks. These networks are complex because in general there can be many di fferent types of relations, as well as di fferent degrees of strength for each one; moreover, these relations are dynamic because they can change over time. In this context, users' knowledge flows over the network, and modeling how this occurs - or can possibly occur - is therefore of great interest from a knowledge representation and reasoning perspective. In this paper, we focus on the problem of how a single user's knowledge base changes when exposed to a stream of news items coming from other members in the network. As a first step towards solving this problem, we identify possible solutions leveraging preexisting belief merging operators, and conclude that there is a gap that needs to be bridged between the application of such operators and a principled solution to the proposed problem.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Belief Dynamics in Complex Social Networks

People are becoming increasingly more connected to each other in social media networks. These networks are complex because in general there can be many di fferent types of relations, as well as di fferent degrees of strength for each one; moreover, these relations are dynamic because they can change over time. In this context, users' knowledge flows over the network, and modeling how this occurs - or can possibly occur - is therefore of great interest from a knowledge representation and reasoning perspective. In this paper, we focus on the problem of how a single user's knowledge base changes when exposed to a stream of news items coming from other members in the network. As a first step towards solving this problem, we identify possible solutions leveraging preexisting belief merging operators, and conclude that there is a gap that needs to be bridged between the application of such operators and a principled solution to the proposed problem.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Expressive Stream Reasoning with Laser

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive reasoning, which is challenging to compute on large streams. We propose Laser, a new reasoner that supports a pragmatic, non-trivial fragment of the logic LARS which extends Answer Set Programming (ASP) for streams. At its core, Laser implements a novel evaluation procedure which annotates formulae to avoid the re-computation of duplicates at multiple time points. This procedure, combined with a judicious implementation of the LARS operators, is responsible for significantly better runtimes than the ones of other state-of-the-art systems like C-SPARQL and CQELS, or an implementation of LARS which runs on the ASP solver Clingo. This enables the application of expressive logic-based reasoning to large streams and opens the door to a wider range of stream reasoning use cases.Comment: 19 pages, 5 figures. Extended version of accepted paper at ISWC 201

Distributed stream reasoning

Stream Reasoning is the combination of reasoning techniques with data streams. In this paper, we present our approach to enable rule-based reasoning on semantic data streams in a distributed manne