{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T11:01:07Z","timestamp":1776942067807,"version":"3.51.4"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031215407","type":"print"},{"value":"9783031215414","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-21541-4_3","type":"book-chapter","created":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T06:02:41Z","timestamp":1670911361000},"page":"38-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["The Stream Reasoning System I-DLV-sr: Enhancements and\u00a0Applications in\u00a0Smart Cities"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0681-776X","authenticated-orcid":false,"given":"Elena","family":"Mastria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-5709","authenticated-orcid":false,"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6418-7711","authenticated-orcid":false,"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,12,14]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-319-25010-6_25","volume-title":"The Semantic Web - ISWC 2015","author":"MI Ali","year":"2015","unstructured":"Ali, M.I., Gao, F., Mileo, A.: CityBench: a configurable benchmark to evaluate RSP engines using smart city datasets. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 374\u2013389. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25010-6_25"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S1793351X10000936","volume":"4","author":"DF Barbieri","year":"2010","unstructured":"Barbieri, D.F., Braga, D., Ceri, S., Valle, E.D., Grossniklaus, M.: C-SPARQL: a continuous query language for RDF data streams. Int. J. Semantic Comput. 4(1), 3\u201325 (2010)","journal-title":"Int. J. Semantic Comput."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-68288-4_6","volume-title":"The Semantic Web \u2013 ISWC 2017","author":"HR Bazoobandi","year":"2017","unstructured":"Bazoobandi, H.R., Beck, H., Urbani, J.: Expressive stream reasoning with laser. In: d\u2019Amato, C., et al. (eds.) ISWC 2017. LNCS, vol. 10587, pp. 87\u2013103. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68288-4_6"},{"key":"3_CR4","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: Answer update for rule-based stream reasoning. In: IJCAI, pp. 2741\u20132747. AAAI Press (2015)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.artint.2018.04.003","volume":"261","author":"H Beck","year":"2018","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: LARS: a logic-based framework for analytic reasoning over streams. Artif. Intell. 261, 16\u201370 (2018)","journal-title":"Artif. Intell."},{"issue":"2\u20133","key":"3_CR6","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s13218-018-0537-9","volume":"32","author":"H Beck","year":"2018","unstructured":"Beck, H., Dao-Tran, M., Eiter, T., Folie, C.: Stream reasoning with LARS. K\u00fcnstliche Intell. 32(2\u20133), 193\u2013195 (2018)","journal-title":"K\u00fcnstliche Intell."},{"issue":"12","key":"3_CR7","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-319-70169-1_13","volume-title":"AI*IA","author":"F Calimeri","year":"2017","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: External computations and interoperability in the new DLV grounder. In: Esposito, F., Basili, R., Ferilli, S., Lisi, F. (eds.) AI*IA 2017, vol. 10640, pp. 172\u2013185. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70169-1_13"},{"issue":"5\u20136","key":"3_CR9","first-page":"957","volume":"19","author":"F Calimeri","year":"2019","unstructured":"Calimeri, F., Ianni, G., Pacenza, F., Perri, S., Zangari, J.: Incremental answer set programming with overgrounding. TPLP 19(5\u20136), 957\u2013973 (2019)","journal-title":"TPLP"},{"issue":"5","key":"3_CR10","first-page":"610","volume":"21","author":"F Calimeri","year":"2021","unstructured":"Calimeri, F., Manna, M., Mastria, E., Morelli, M.C., Perri, S., Zangari, J.: I-DLV-sr: a stream reasoning system based on I-DLV. TPLP 21(5), 610\u2013628 (2021)","journal-title":"TPLP"},{"issue":"4","key":"3_CR11","first-page":"28","volume":"38","author":"P Carbone","year":"2015","unstructured":"Carbone, P., Katsifodimos, A., Ewen, S., Markl, V., Haridi, S., Tzoumas, K.: Apache flink\u2122: stream and batch processing in a single engine. IEEE Data Eng. Bull. 38(4), 28\u201338 (2015)","journal-title":"IEEE Data Eng. Bull."},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.tele.2017.09.019","volume":"35","author":"G D\u2019Aniello","year":"2018","unstructured":"D\u2019Aniello, G., Gaeta, M., Orciuoli, F.: An approach based on semantic stream reasoning to support decision processes in smart cities. Telemat. Inform. 35(1), 68\u201381 (2018)","journal-title":"Telemat. Inform."},{"issue":"1\u20132","key":"3_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.3233\/DS-170006","volume":"1","author":"D Dell\u2019Aglio","year":"2017","unstructured":"Dell\u2019Aglio, D., Valle, E.D., van Harmelen, F., Bernstein, A.: Stream reasoning: a survey and outlook. Data Sci. 1(1\u20132), 59\u201383 (2017)","journal-title":"Data Sci."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-21043-3_13","volume-title":"Advances in Artificial Intelligence","author":"TM Do","year":"2011","unstructured":"Do, T.M., Loke, S.W., Liu, F.: Answer set programming for stream reasoning. In: Butz, C., Lingras, P. (eds.) AI 2011. LNCS (LNAI), vol. 6657, pp. 104\u2013109. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21043-3_13"},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60030-7","volume-title":"Smart Cities - The Internet of Things, People and Systems","author":"S Dustdar","year":"2017","unstructured":"Dustdar, S., Nastic, S., Scekic, O.: Smart Cities - The Internet of Things, People and Systems. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60030-7"},{"issue":"5\u20136","key":"3_CR16","first-page":"974","volume":"19","author":"T Eiter","year":"2019","unstructured":"Eiter, T., Ogris, P., Schekotihin, K.: A distributed approach to LARS stream reasoning (system paper). TPLP 19(5\u20136), 974\u2013989 (2019)","journal-title":"TPLP"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-030-86230-5_29","volume-title":"Progress in Artificial Intelligence","author":"J Ferreira","year":"2021","unstructured":"Ferreira, J., Lavado, D., Gon\u00e7alves, R., Knorr, M., Krippahl, L., Leite, J.: Faster than LASER - towards stream reasoning with deep neural networks. In: Marreiros, G., Melo, F.S., Lau, N., Lopes Cardoso, H., Reis, L.P. (eds.) EPIA 2021. LNCS (LNAI), vol. 12981, pp. 363\u2013375. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86230-5_29"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-20895-9_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 54\u201366. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20895-9_7"},{"issue":"1","key":"3_CR19","first-page":"27","volume":"19","author":"M Gebser","year":"2019","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. TPLP 19(1), 27\u201382 (2019)","journal-title":"TPLP"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Gebser, M., Leone, N., Maratea, M., Perri, S., Ricca, F., Schaub, T.: Evaluation techniques and systems for answer set programming: a survey. In: IJCAI, pp. 5450\u20135456. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/769"},{"key":"3_CR21","unstructured":"Hall, R.E., Bowerman, B., Braverman, J., Taylor, J., Todosow, H., Von Wimmersperg, U.: The vision of a smart city. Technical report, Brookhaven National Laboratory (BNL), Upton, NY (United States) (2000)"},{"key":"3_CR22","unstructured":"Hoeksema, J., Kotoulas, S.: High-performance distributed stream reasoning using S4. In: Ordring Workshop at ISWC (2011)"},{"issue":"3","key":"3_CR23","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1080\/13604810802479126","volume":"12","author":"RG Hollands","year":"2008","unstructured":"Hollands, R.G.: Will the real smart city please stand up? City 12(3), 303\u2013320 (2008)","journal-title":"City"},{"issue":"5","key":"3_CR24","first-page":"719","volume":"20","author":"G Ianni","year":"2020","unstructured":"Ianni, G., Pacenza, F., Zangari, J.: Incremental maintenance of overgrounded logic programs with tailored simplifications. TPLP 20(5), 719\u2013734 (2020)","journal-title":"TPLP"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-39666-3_23","volume-title":"Web Reasoning and Rule Systems","author":"A Mileo","year":"2013","unstructured":"Mileo, A., Abdelrahman, A., Policarpio, S., Hauswirth, M.: StreamRule: a nonmonotonic stream reasoning system for the semantic web. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 247\u2013252. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39666-3_23"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-030-20528-7_4","volume-title":"LPNMR","author":"T Pham","year":"2019","unstructured":"Pham, T., Ali, M.I., Mileo, A.: C-ASP: continuous asp-based reasoning over RDF streams. In: Balduccini, M., Lierler, Y., Woltran, S. (eds.) LPNMR 2019. LNCS, vol. 11481, pp. 45\u201350. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-20528-7_4"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-25073-6_24","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"D Le-Phuoc","year":"2011","unstructured":"Le-Phuoc, D., Dao-Tran, M., Xavier Parreira, J., Hauswirth, M.: A native and adaptive approach for unified processing of linked streams and linked data. In: Aroyo, L., et al. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 370\u2013388. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25073-6_24"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Ren, X., Cur\u00e9, O., Naacke, H., Xiao, G.: BigSR: real-time expressive RDF stream reasoning on modern big data platforms. In: IEEE BigData, pp. 811\u2013820. IEEE (2018)","DOI":"10.1109\/BigData.2018.8621947"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-031-06981-9_24","volume-title":"ESWC","author":"P Schneider","year":"2022","unstructured":"Schneider, P., Alvarez-Coello, D., Le-Tuan, A., Duc, M.N., Phuoc, D.L.: Stream reasoning playground. In: Groth, P., et al. (eds.) ESWC 2022. LNCS, vol. 13261, pp. 406\u2013424. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06981-9_24"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21541-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T06:03:04Z","timestamp":1670911384000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21541-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031215407","9783031215414"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21541-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"14 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dblp.org\/db\/conf\/rulemlrr\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"54","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}