{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T08:34:32Z","timestamp":1768466072742,"version":"3.49.0"},"reference-count":25,"publisher":"Cambridge University Press (CUP)","issue":"5-6","license":[{"start":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:00:00Z","timestamp":1568937600000},"content-version":"unspecified","delay-in-days":19,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2019,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1017\/s1471068419000309","type":"journal-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T09:06:21Z","timestamp":1568970381000},"page":"974-989","source":"Crossref","is-referenced-by-count":11,"title":["A Distributed Approach to LARS Stream Reasoning (System paper)"],"prefix":"10.1017","volume":"19","author":[{"given":"THOMAS","family":"EITER","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6745-2197","authenticated-orcid":false,"given":"PAUL","family":"OGRIS","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0286-0958","authenticated-orcid":false,"given":"KONSTANTIN","family":"SCHEKOTIHIN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2019,9,20]]},"reference":[{"key":"S1471068419000309_ref7","first-page":"1","volume-title":"ESWC (1)","volume":"6088","author":"Barbieri","year":"2010"},{"key":"S1471068419000309_ref17","unstructured":"Gent, I. P. , Jefferson, C. , and Nightingale, P. 2017. Complexity of n-queens completion. J. Artif. Intell. Res. 59, 815\u2013848."},{"key":"S1471068419000309_ref16","unstructured":"Gebser, M. , Kaminski, R. , Kaufmann, B. , and Schaub, T. 2014. Clingo = ASP + control: Preliminary report. CoRR abs\/1405.3694."},{"key":"S1471068419000309_ref14","first-page":"1070","volume-title":"AAAI","author":"Brandt","year":"2017"},{"key":"S1471068419000309_ref19","unstructured":"Heintz, F. , Kvarnstr\u00f6m, J. , and Doherty, P. 2010. Stream-based reasoning in dyknow. In Cognitive Robotics. Dagstuhl Seminar Proceedings, vol. 10081. Schloss Dagstuhl, Germany."},{"key":"S1471068419000309_ref25","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/MIS.2009.125","article-title":"It\u2019s a streaming world! reasoning upon rapidly changing information","volume":"6","author":"Valle","year":"2009","journal-title":"IEEE Intelligent Systems 24"},{"key":"S1471068419000309_ref15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"3","author":"Doyle","year":"1979","journal-title":"Artif. Intell. 12"},{"key":"S1471068419000309_ref1","volume-title":"Foundations of Databases","author":"Abiteboul","year":"1995"},{"key":"S1471068419000309_ref2","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S1471068419000309_ref9","unstructured":"Beck, H. 2018. Expressive rule-based stream reasoning. Ph.D. thesis, Faculty of Informatics, Vienna University of Technology (TU Wien), Austria."},{"key":"S1471068419000309_ref22","first-page":"370","volume-title":"ISWC (1)","volume":"7031","author":"Phuoc","year":"2011"},{"key":"S1471068419000309_ref4","doi-asserted-by":"crossref","first-page":"397","DOI":"10.3233\/SW-2011-0053","article-title":"Stream reasoning and complex event processing in ETALIS","volume":"4","author":"Anicic","year":"2012","journal-title":"Semantic Web 3"},{"key":"S1471068419000309_ref3","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","article-title":"The Benefits of Relaxing Punctuality","volume":"1","author":"Alur","year":"1996","journal-title":"Journal of the ACM 43"},{"key":"S1471068419000309_ref5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Apt","year":"1988"},{"key":"S1471068419000309_ref6","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","article-title":"The CQL continuous query language: Semantic foundations and query execution","volume":"2","author":"Arasu","year":"2006","journal-title":"VLDB J. 15"},{"key":"S1471068419000309_ref8","first-page":"87","volume-title":"ISWC (1)","volume":"10587","author":"Bazoobandi","year":"2017"},{"key":"S1471068419000309_ref11","first-page":"2741","volume-title":"In IJCAI","author":"Beck","year":"2015"},{"key":"S1471068419000309_ref12","unstructured":"Beck, H. , Dao-Tran, M. , and Eiter, T. 2018. LARS: A logic-based framework for analytic reasoning over streams. Artif. Intell. 261, 16\u201370."},{"key":"S1471068419000309_ref13","first-page":"744","article-title":"Ticker: A system for incremental asp-based stream reasoning","volume":"5","author":"Beck","year":"2017","journal-title":"TPLP 17"},{"key":"S1471068419000309_ref18","first-page":"3","article-title":"DyKnow: An Approach to Middleware for Knowledge Processing","volume":"1","author":"Heintz","year":"2004","journal-title":"Journal of Intelligent and Fuzzy Systems 15"},{"key":"S1471068419000309_ref20","first-page":"152","volume-title":"FORMATS\/FTRTFT","volume":"3253","author":"Maler","year":"2004"},{"key":"S1471068419000309_ref21","doi-asserted-by":"publisher","DOI":"10.3233\/SW-180330"},{"key":"S1471068419000309_ref23","unstructured":"Ren, X. 2018. Distributed RDF stream processing and reasoning. Ph.D. thesis, Universit\u00e9 Paris-Est, France. https:\/\/tel.archives-ouvertes.fr\/tel-02083973\/document."},{"key":"S1471068419000309_ref24","volume-title":"International Semantic Web Conference (PandD\/Industry\/BlueSky)","volume":"2180","author":"Ren","year":"2018"},{"key":"S1471068419000309_ref10","first-page":"1","volume-title":"IEEE International Conference on Communications (ICC)","author":"Beck","year":"2017"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068419000309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T12:21:48Z","timestamp":1575721308000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068419000309\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":25,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["S1471068419000309"],"URL":"https:\/\/doi.org\/10.1017\/s1471068419000309","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}