Stream Reasoning with LARS

被引：5
作者：
Beck, Harald [1 ]
Minh Dao-Tran [1 ]
Eiter, Thomas [1 ]
Folie, Christian [1 ]
机构：
[1] TU Wien, Inst Log & Computat, Favoritenstr 9-11, A-1040 Vienna, Austria
来源：
KUNSTLICHE INTELLIGENZ | 2018年 / 32卷 / 2-3期
基金：
奥地利科学基金会;
关键词：
Stream reasoning; Incremental reasoning;
D O I：
10.1007/s13218-018-0537-9
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Stream reasoning is the task of continuously deriving conclusions on streaming data. Different research communities emphasize different aspects such as throughput vs. expressiveness, yet a mathematical model to describe the declarative semantics of such systems has been missing. This motivated the logic-based framework LARS for analytic reasoning over streams. However, it is also attractive for applications by itself.
引用
收藏
页码：193 / 195
页数：3
相关论文
共 12 条
[1]   The CQL continuous query language: semantic foundations and query execution [J].
Arasu, A ;
Babu, S ;
Widom, J .
VLDB JOURNAL, 2006, 15 (02) :121-142
[2]  
Babu S, 2001, SIGMOD REC, V30, P109, DOI 10.1145/603867.603884
[3]   C-SPARQL: A CONTINUOUS QUERY LANGUAGE FOR RDF DATA STREAMS [J].
Barbieri, Davide Francesco ;
Braga, Daniele ;
Ceri, Stefano ;
Della Valle, Emanuele ;
Grossniklaus, Michael .
INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING, 2010, 4 (01) :3-25
[4]  
Bazoobandi H.R., 2017, P ISWC
[5]  
Beck H, 2015, AAAI CONF ARTIF INTE, P1431
[6]   Ticker: A system for incremental ASP-based stream reasoning [J].
Beck, Harald ;
Eiter, Thomas ;
Folie, Christian .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) :744-763
[7]   It's a Streaming World! Reasoning upon Rapidly Changing Information [J].
Della Valle, Emanuele ;
Ceri, Stefano ;
van Harmelen, Frank ;
Fensel, Dieter .
IEEE INTELLIGENT SYSTEMS, 2009, 24 (06) :83-89
[8]  
Gebser Martin, 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS 9060, P17
[9]  
Gebser M, 2014, CLINGO ASP CONTROL P
[10]  
Mileo A, 2018, ENCY DATABASE SYSTEM
12