<div class="csl-bib-body">
<div class="csl-entry">Eiter, T., Ogris, P., & Schekotihin, K. (2019). A Distributed Approach to LARS Stream Reasoning (System paper). <i>Theory and Practice of Logic Programming</i>, <i>19</i>(5–6), 974–989. https://doi.org/10.1017/s1471068419000309</div>
</div>
-
dc.identifier.issn
1471-0684
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/143967
-
dc.description.abstract
Stream reasoning systems are designed for complex decision-making from possibly infinite, dynamic streams of data. Modern approaches to stream reasoning are usually performing their computations using stand-alone solvers, which incrementally update their internal state and return results as the new portions of data streams are pushed. However, the performance of such approaches degrades quickly as the rates of the input data and the complexity of decision problems are growing. This problem was already recognized in the area of stream processing, where systems became distributed in order to allocate vast computing resources provided by clouds. In this paper we propose a distributed approach to stream reasoning that can efficiently split computations among different solvers communicating their results over data streams. Moreover, in order to increase the throughput of the distributed system, we suggest an interval-based semantics for the LARS language, which enables significant reductions of network traffic. Performed evaluations indicate that the distributed stream reasoning significantly outperforms existing stand-alone LARS solvers when the complexity of decision problems and the rate of incoming data are increasing.
en
dc.language.iso
en
-
dc.publisher
CAMBRIDGE UNIV PRESS
-
dc.relation.ispartof
Theory and Practice of Logic Programming
-
dc.subject
Software
en
dc.subject
Artificial Intelligence
en
dc.subject
Theoretical Computer Science
en
dc.subject
Hardware and Architecture
en
dc.subject
Computational Theory and Mathematics
en
dc.title
A Distributed Approach to LARS Stream Reasoning (System paper)
en
dc.type
Artikel
de
dc.type
Article
en
dc.contributor.affiliation
University of Klagenfurt, Austria
-
dc.description.startpage
974
-
dc.description.endpage
989
-
dc.type.category
Original Research Article
-
tuw.container.volume
19
-
tuw.container.issue
5-6
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Theory and Practice of Logic Programming
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems