Filters








43,037 Hits in 3.9 sec

Stream Reasoning with LARS

Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie
2018 Künstliche Intelligenz  
This motivated the logic-based framework LARS for analytic reasoning over streams. However, it is also attractive for applications by itself.  ...  Stream reasoning is the task of continuously deriving conclusions on streaming data.  ...  for stream reasoning with an emphasis on generic windows.  ... 
doi:10.1007/s13218-018-0537-9 fatcat:pwzsvz74czc7fkihze2fgcqytu

A Distributed Approach to LARS Stream Reasoning (System paper)

THOMAS EITER, PAUL OGRIS, KONSTANTIN SCHEKOTIHIN
2019 Theory and Practice of Logic Programming  
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  ...  AbstractStream reasoning systems are designed for complex decision-making from possibly infinite, dynamic streams of data.  ...  The solvers with stream features usually cannot hold the update rates of stream reasoners, e.g., evaluation of the "ticked ASP" encoding of LARS programs required more time than Ticker .  ... 
doi:10.1017/s1471068419000309 fatcat:ohnmjzuyffdgxcx7tvebp45e2i

LARS: A Logic-Based Framework for Analyzing Reasoning over Streams

Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
2015 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
We present LARS, a Logic-based framework for Analyzing Reasoning over Streams, i.e., a rule-based formalism with a novel window operator providing a flexible mechanism to represent views on streaming data  ...  The recent rise of smart applications has drawn interest to logical reasoning over data streams. Different query languages and stream processing/reasoning engines were proposed.  ...  To date, no stream reasoning language with these features exists.  ... 
doi:10.1609/aaai.v29i1.9408 fatcat:x232nszgergvzj6vfuxtkxzj2e

LARS: A Logic-Based Framework for Analytic Reasoning over Streams [chapter]

Harald Beck, Minh Dao-Tran, Thomas Eiter
2017 Lecture Notes in Computer Science  
We present LARS, a Logic-based framework for Analyzing Reasoning over Streams, i.e., a rule-based formalism with a novel window operator providing a flexible mechanism to represent views on streaming data  ...  The recent rise of smart applications has drawn interest to logical reasoning over data streams. Different query languages and stream processing/reasoning engines were proposed.  ...  To date, no stream reasoning language with these features exists.  ... 
doi:10.1007/978-3-319-73117-9_6 fatcat:cuoyik4yvfg6rp6rnbynljpbhm

BigSR: an empirical study of real-time expressive RDF stream reasoning on modern Big Data platforms [article]

Xiangnan Ren and Olivier Curé and Hubert Naacke and Guohui Xiao
2018 arXiv   pre-print
The trade-off between language expressiveness and system scalability (E&S) is a well-known problem in RDF stream reasoning.  ...  Current research mainly focuses on logical frameworks suitable for stream reasoning as well as the implementation and the evaluation of prototype systems.  ...  reasoning framework like LARS.  ... 
arXiv:1804.04367v1 fatcat:up2rgtt4bbc67ohpy3qwzsyn6y

Handling Impossible Derivations During Stream Reasoning [chapter]

Hamid R. Bazoobandi, Henri Bal, Frank van Harmelen, Jacopo Urbani
2020 Lecture Notes in Computer Science  
Logic-based frameworks like LARS allow the execution of complex reasoning on such streams, but it is paramount that the computation is completed in a timely manner before the stream expires.  ...  With the rapid expansion of the Web and the advent of the Internet of Things, there is a growing need to design tools for intelligent analytics and decision making on streams of data.  ...  Recently, several works have used LARS to implement stream reasoning that reconciles the expressivity of LARS with high performance.  ... 
doi:10.1007/978-3-030-49461-2_1 fatcat:calthoqtqfbdpmssfizr6pzccu

Contrasting RDF Stream Processing Semantics [chapter]

Minh Dao-Tran, Harald Beck, Thomas Eiter
2016 Lecture Notes in Computer Science  
The recent logic-based LARS framework provides a theoretical underpinning to analyze stream processing/reasoning semantics.  ...  The increasing popularity of RDF Stream Processing (RSP) has led to developments of data models and processing engines which diverge in several aspects, ranging from the representation of RDF streams to  ...  Latterly, a Logic-based framework for Analyzing Reasoning over Stream (LARS) was introduced [3] .  ... 
doi:10.1007/978-3-319-31676-5_21 fatcat:aqpuntysizbj7ffivualwbunlm

Expressive Stream Reasoning with Laser [article]

Hamid R. Bazoobandi and Harald Beck and Jacopo Urbani
2017 arXiv   pre-print
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.  ...  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.  ...  Our work differs in the sense that it is based on LARS [8] , one of the first formal semantics for stream reasoning with window operators.  ... 
arXiv:1707.08876v2 fatcat:ukghntgzdjh5jkp6er3un6bal4

Managing caching strategies for stream reasoning with reinforcement learning [article]

Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2020 arXiv   pre-print
of the algorithm in stream reasoning scenarios.  ...  Modern stream reasoning frameworks allow one to model and solve various real-world problems using incremental and continuous evaluation of programs as new data arrives in the stream.  ...  Preliminaries LARS extends ASP with specific features for various stream reasoning problems (Beck et al. 2018) .  ... 
arXiv:2008.03212v1 fatcat:atgdct4vajeivhfqc5nqbags5y

RDF Stream Reasoning via Answer Set Programming on Modern Big Data Platform

Xiangnan Ren, Olivier Curé, Hubert Naacke, Guohui Xiao
2018 International Semantic Web Conference  
Moreover, the study of applying distributed solution for expressive RDF stream reasoning is still missing.  ...  RDF stream reasoning is gaining more and more attention but current research mainly focuses on logical frameworks which aim to formalize the query semantics and enhance the complexity of reasoning ability  ...  Distributed RDF Stream Reasoning We use LARS [2] as the theoretical foundation of our implementation.  ... 
dblp:conf/semweb/RenCNX18 fatcat:pf5der6dvzbrfgp7o5dm4jcc5u

Managing caching strategies for stream reasoning with reinforcement learning

CARMINE DODARO, THOMAS EITER, PAUL OGRIS, KONSTANTIN SCHEKOTIHIN
2020 Theory and Practice of Logic Programming  
of the algorithm in stream reasoning scenarios.  ...  Modern stream reasoning frameworks allow one to model and solve various real-world problems using incremental and continuous evaluation of programs as new data arrives in the stream.  ...  Preliminaries LARS extends ASP with specific features for various stream reasoning problems (Beck et al. 2018) .  ... 
doi:10.1017/s147106842000037x fatcat:zv2bhtdzyfgurpwlitumynnx2y

Ticker: A System for Incremental ASP-based Stream Reasoning [article]

Harald Beck, Thomas Eiter, Christian Folie
2017 arXiv   pre-print
This paper introduces Ticker, a prototypical engine for well-defined logical reasoning over streaming data.  ...  Ticker builds on a practical fragment of the recent rule-based language LARS which extends Answer Set Programming for streams by providing flexible expiration control and temporal modalities.  ...  Stream Reasoning in LARS We will gradually introduce the central concepts of LARS tailored to the considered fragment. If appropriate, we give only informal descriptions.  ... 
arXiv:1707.05304v2 fatcat:34vx3s75sfdqpei4jenr2kotkm

Ticker: A system for incremental ASP-based stream reasoning

HARALD BECK, THOMAS EITER, CHRISTIAN FOLIE
2017 Theory and Practice of Logic Programming  
This paper introduces Ticker, a prototypical engine for well-defined logical reasoning over streaming data.  ...  Ticker builds on a practical fragment of the recent rule-based language LARS, which extends ASP for streams by providing flexible expiration control and temporal modalities.  ...  Stream Reasoning in LARS We will gradually introduce the central concepts of LARS tailored to the considered fragment. If appropriate, we give only informal descriptions.  ... 
doi:10.1017/s1471068417000370 fatcat:mskxue2y6jckppfrotnlgviao4

Faster than LASER – Towards Stream Reasoning with Deep Neural Networks [article]

João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
2021 arXiv   pre-print
It is based on LARS, a rule-based logical language extending Answer Set Programming, and it has shown better runtime results than other state-of-the-art stream reasoning systems.  ...  Stream Reasoners aim at bridging this gap between reasoning and stream processing and LASER is such a stream reasoner designed to analyse and perform complex reasoning over streams of data.  ...  LASER LASER [3] is a stream reasoning system based on LARS [4] , a rule-based logical language extending Answer Set Programming (ASP) [16] with stream reasoning capabilities.  ... 
arXiv:2106.08457v1 fatcat:lxhkomuzc5hbpl3w5xlujze5qy

Stream Reasoning-Based Control of Caching Strategies in CCN Routers [article]

Harald Beck and Bruno Bierbaumer and Minh Dao-Tran and Thomas Eiter and Hermann Hellwagner and Konstantin Schekotihin
2016 arXiv   pre-print
In particular, we present a router architecture for CCN networks that is controlled by rule-based stream reasoning, following the recent formal framework LARS which extends Answer Set Programming for streams  ...  Streams and Windows Central to reasoning with LARS is the notion of a stream, which associates atoms with time points.  ...  Stream Reasoning Stream reasoning [9] emerged from stream processing for real-time reasoning about information from data streams.  ... 
arXiv:1610.04005v1 fatcat:uelfuw22xnfmxpk4qlbul7hr24
« Previous Showing results 1 — 15 out of 43,037 results