{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:19:58Z","timestamp":1740158398951,"version":"3.37.3"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2018,5,17]],"date-time":"2018-05-17T00:00:00Z","timestamp":1526515200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P26471","W1255-N23"],"award-info":[{"award-number":["P26471","W1255-N23"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s13218-018-0537-9","type":"journal-article","created":{"date-parts":[[2018,5,17]],"date-time":"2018-05-17T15:05:14Z","timestamp":1526569514000},"page":"193-195","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Stream Reasoning with LARS"],"prefix":"10.1007","volume":"32","author":[{"given":"Harald","family":"Beck","sequence":"first","affiliation":[]},{"given":"Minh","family":"Dao-Tran","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Folie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"issue":"2","key":"537_CR1","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A Arasu","year":"2006","unstructured":"Arasu A, Babu S, Widom J (2006) The CQL continuous query language: semantic foundations and query execution. VLDB J. 15(2):121\u2013142","journal-title":"VLDB J."},{"issue":"30","key":"537_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/603867.603884","volume":"3","author":"S Babu","year":"2001","unstructured":"Babu S, Widom J (2001) Continuous queries over data streams. SIGMOD Record 3(30):109\u2013120","journal-title":"SIGMOD Record"},{"issue":"1","key":"537_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S1793351X10000936","volume":"4","author":"D Barbieri","year":"2010","unstructured":"Barbieri D, Braga D, Ceri S, Della Valle E, Grossniklaus M (2010) C-SPARQL: a continuous query language for RDF data streams. Int J Semantic Comput 4(1):3\u201325","journal-title":"Int J Semantic Comput"},{"key":"537_CR4","doi-asserted-by":"crossref","unstructured":"Bazoobandi HR, Beck H, Urbani J (2017) Expressive stream reasoning with Laser. In: Proceeding ISWC","DOI":"10.1007\/978-3-319-68288-4_6"},{"key":"537_CR5","doi-asserted-by":"crossref","unstructured":"Beck H, Dao-Tran M, Eiter T, Fink M (2015) LARS: A logic-based framework for analyzing reasoning over streams. In: Proceeding AAAI, pp 1431\u20131438. AAAI Press","DOI":"10.1609\/aaai.v29i1.9408"},{"issue":"5\u20136","key":"537_CR6","first-page":"744","volume":"17","author":"H Beck","year":"2017","unstructured":"Beck H, Eiter T, Folie C (2017) Ticker: a system for incremental ASP-based stream reasoning. TPLP 17(5\u20136):744\u2013763","journal-title":"TPLP"},{"key":"537_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MIS.2009.125","volume":"24","author":"E Della Valle","year":"2009","unstructured":"Della Valle E, Ceri S, van Harmelen F, Fensel D (2009) It\u2019s a streaming world! Reasoning upon rapidly changing information. IEEE Intell Syst 24:83\u201389","journal-title":"IEEE Intell Syst"},{"key":"537_CR8","unstructured":"Gebser M, Kaminski R, Kaufmann B, Schaub T (2014) Clingo = ASP + control: Preliminary report. TPLP, online supplement; also CoRR, abs\/1405.3694"},{"key":"537_CR9","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaminski R, Obermeier P, Schaub T (2015) Ricochet robots reloaded: A case-study in multi-shot ASP solving. In: LNCS 9060, Springer , pp. 17\u201332","DOI":"10.1007\/978-3-319-14726-0_2"},{"key":"537_CR10","isbn-type":"print","volume-title":"Encyclopedia of database systems, 2nd (edn)","author":"A Mileo","year":"2018","unstructured":"Mileo A, Dao-Tran M, Eiter T, Fink M (2018) Stream reasoning. In: Liu L, \u00d6zsu MT (eds) Encyclopedia of database systems, 2nd (edn), Springer, New York (ISBN 978-1-4614-8266-6)","ISBN":"https:\/\/id.crossref.org\/isbn\/9781461482666"},{"key":"537_CR11","doi-asserted-by":"crossref","unstructured":"Motik B, Nenov Y, Piro R, Horrocks I (2015) Incremental update of datalog materialisation: the backward\/forward algorithm. In: Proceeding AAAI, AAAI Press , pp 1560\u20131568","DOI":"10.1609\/aaai.v29i1.9409"},{"key":"537_CR12","unstructured":"Phuoc DL, Dao-Tran M, Parreira JX, Hauswirth M (2011) A native and adaptive approach for unified processing of linked streams and linked data. In: Proceeding ISWC"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-018-0537-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0537-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0537-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T21:15:51Z","timestamp":1661289351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-018-0537-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,17]]},"references-count":12,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["537"],"URL":"https:\/\/doi.org\/10.1007\/s13218-018-0537-9","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2018,5,17]]},"assertion":[{"value":"17 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}