{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:18:59Z","timestamp":1777889939209,"version":"3.51.4"},"reference-count":28,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SW"],"published-print":{"date-parts":[[2019,4,5]]},"DOI":"10.3233\/sw-180330","type":"journal-article","created":{"date-parts":[[2018,9,29]],"date-time":"2018-09-29T07:28:54Z","timestamp":1538206134000},"page":"457-474","source":"Crossref","is-referenced-by-count":5,"title":["Enhancing the scalability of expressive stream reasoning via input-driven parallelization"],"prefix":"10.1177","volume":"10","author":[{"given":"Thu-Le","family":"Pham","sequence":"first","affiliation":[{"name":"Insight Centre for Data Analytics, National University of Ireland, Galway, IDA Bussiness Park, Lower Dangan, Galway, Ireland. E-mails:\u00a0thule.pham@insight-centre.org,\u00a0ali.intizar@insight-centre.org"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Intizar","family":"Ali","sequence":"additional","affiliation":[{"name":"Insight Centre for Data Analytics, National University of Ireland, Galway, IDA Bussiness Park, Lower Dangan, Galway, Ireland. E-mails:\u00a0thule.pham@insight-centre.org,\u00a0ali.intizar@insight-centre.org"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Mileo","sequence":"additional","affiliation":[{"name":"Insight Centre for Data Analytics, Dublin City University, Glasnevin, Dublin 9, Dublin, Ireland. E-mail:\u00a0alessandra.mileo@insight-centre.org"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/SW-180330_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25010-6_25"},{"key":"10.3233\/SW-180330_ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963495"},{"issue":"4","key":"10.3233\/SW-180330_ref3","doi-asserted-by":"publisher","first-page":"397","DOI":"10.3233\/SW-2011-0053","article-title":"Stream reasoning and complex event processing in ETALIS","volume":"3","author":"Anicic","year":"2012","journal-title":"Semantic Web"},{"issue":"6","key":"10.3233\/SW-180330_ref4","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1016\/j.parco.2005.03.004","article-title":"Issues in parallel execution of non-monotonic reasoning systems","volume":"31","author":"Balduccini","year":"2005","journal-title":"Parallel Computing"},{"key":"10.3233\/SW-180330_ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1526709.1526856"},{"key":"10.3233\/SW-180330_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68288-4_6"},{"key":"10.3233\/SW-180330_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73117-9_6"},{"issue":"5\u20136","key":"10.3233\/SW-180330_ref8","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1017\/S1471068417000370","article-title":"Ticker: A system for incremental ASP-based stream reasoning","volume":"17","author":"Beck","year":"2017","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4","key":"10.3233\/SW-180330_ref9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF01264013","article-title":"A survey of parallel execution strategies for transitive closure and logic programs","volume":"1","author":"Cacace","year":"1993","journal-title":"Distributed and Parallel Databases"},{"issue":"1","key":"10.3233\/SW-180330_ref10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.jalgor.2008.02.003","article-title":"Experimenting with parallelism for the instantiation of ASP programs","volume":"63","author":"Calimeri","year":"2008","journal-title":"Journal of Algorithms"},{"issue":"1","key":"10.3233\/SW-180330_ref11","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","article-title":"MapReduce: Simplified data processing on large clusters","volume":"51","author":"Dean","year":"2008","journal-title":"Communications of the ACM"},{"key":"10.3233\/SW-180330_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21043-3_13"},{"key":"10.3233\/SW-180330_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03754-2_2"},{"key":"10.3233\/SW-180330_ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WI.2006.64"},{"key":"10.3233\/SW-180330_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89704-0_7"},{"issue":"188","key":"10.3233\/SW-180330_ref17","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","article-title":"Conflict-driven answer set solving: From theory to practice","volume":"187","author":"Gebser","year":"2012","journal-title":"Artificial Intelligence"},{"key":"10.3233\/SW-180330_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61660-5_1"},{"key":"10.3233\/SW-180330_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22002-4_9"},{"key":"10.3233\/SW-180330_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_18"},{"key":"10.3233\/SW-180330_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"10.3233\/SW-180330_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25073-6_24"},{"key":"10.3233\/SW-180330_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35173-0_20"},{"key":"10.3233\/SW-180330_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39666-3_23"},{"key":"10.3233\/SW-180330_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2009.09.002"},{"issue":"2","key":"10.3233\/SW-180330_ref26","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1017\/S1471068411000652","article-title":"Parallel instantiation of ASP programs: Techniques and experiments","volume":"13","author":"Perri","year":"2013","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/SW-180330_ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2017.226"},{"key":"10.3233\/SW-180330_ref29","unstructured":"I.\u00a0Tachmazidis, G.\u00a0Antoniou, G.\u00a0Flouris and S.\u00a0Kotoulas, Towards parallel nonmonotonic reasoning with billions of facts, in: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, KR\u201912, AAAI Press, 2012, pp.\u00a0638\u2013642. http:\/\/dl.acm.org\/citation.cfm?id=3031843.3031926."},{"key":"10.3233\/SW-180330_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04930-9_40"}],"container-title":["Semantic Web"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/SW-180330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T05:24:16Z","timestamp":1777613056000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/SW-180330"}},"subtitle":[],"editor":[{"given":"Daniele","family":"Dell\u2019Aglio","sequence":"additional","affiliation":[{"name":"University of Zurich, Switzerland"}],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[{"name":"TU Vienna, Austria"}],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Fredrik","family":"Heintz","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Sweden"}],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Danh","family":"Le Phuoc","sequence":"additional","affiliation":[{"name":"TU Berlin, Germany"}],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Daniele","family":"Dell Aglio","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Fredrik","family":"Heintz","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Danh","family":"Le Phuoc","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2019,4,5]]},"references-count":28,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/sw-180330","relation":{},"ISSN":["2210-4968","1570-0844"],"issn-type":[{"value":"2210-4968","type":"electronic"},{"value":"1570-0844","type":"print"}],"subject":[],"published":{"date-parts":[[2019,4,5]]}}}