{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T11:01:08Z","timestamp":1776942068277,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642396656","type":"print"},{"value":"9783642396663","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39666-3_23","type":"book-chapter","created":{"date-parts":[[2013,7,14]],"date-time":"2013-07-14T23:05:35Z","timestamp":1373843135000},"page":"247-252","source":"Crossref","is-referenced-by-count":33,"title":["StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Alessandra","family":"Mileo","sequence":"first","affiliation":[]},{"given":"Ahmed","family":"Abdelrahman","sequence":"additional","affiliation":[]},{"given":"Sean","family":"Policarpio","sequence":"additional","affiliation":[]},{"given":"Manfred","family":"Hauswirth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"2011 ASP Competition \u2013 system track final results (2011), https:\/\/www.mat.unical.it\/aspcomp2011\/SystemTrackFinalResults"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Anicic, D., Fodor, P., Rudolph, S., Stojanovic, N.: EP-SPARQL: a unified language for event processing and stream reasoning. In: Proc. of the 20th WWW Conference, pp. 635\u2013644. ACM (2011)","DOI":"10.1145\/1963405.1963495"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-15918-3_5","volume-title":"Web Reasoning and Rule Systems","author":"D. Anicic","year":"2010","unstructured":"Anicic, D., Fodor, P., Rudolph, S., St\u00fchmer, R., Stojanovic, N., Studer, R.: A rule-based language for complex event processing and reasoning. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 42\u201357. Springer, Heidelberg (2010)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in ETALIS. In: Semantic Web (2011)","DOI":"10.1007\/978-3-642-19724-6_5"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Barbieri, D., Braga, D., Ceri, S., Grossniklaus, M.: An execution environment for c-sparql queries. In: Proc. of the 13th Int\u2019l Conference on Extending Database Technology, pp. 441\u2013452. ACM (2010)","DOI":"10.1145\/1739041.1739095"},{"issue":"1","key":"23_CR7","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/1860702.1860705","volume":"39","author":"D.F. Barbieri","year":"2010","unstructured":"Barbieri, D.F., Braga, D., Ceri, S., Della Valle, E., Grossniklaus, M.: Querying rdf streams with c-sparql. SIGMOD Record\u00a039(1), 20\u201326 (2010)","journal-title":"SIGMOD Record"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Carney, D., \u00c7etintemel, U., Cherniack, M., Convey, C., Lee, S., Seidman, G., Stonebraker, M., Tatbul, N., Zdonik, S.: Monitoring streams: a new class of data management applications. In: VLDB 2002, pp. 215\u2013226. VLDB Endowment (2002)","DOI":"10.1016\/B978-155860869-6\/50027-5"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-00985-3_6","volume-title":"Future Internet \u2013 FIS 2008","author":"E. Valle Della","year":"2009","unstructured":"Della Valle, E., Ceri, S., Barbieri, D.F., Braga, D., Campi, A.: A first step towards stream reasoning. In: Domingue, J., Fensel, D., Traverso, P. (eds.) FIS 2008. LNCS, vol.\u00a05468, pp. 72\u201381. Springer, Heidelberg (2009)"},{"issue":"6","key":"23_CR10","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.: It\u2019s a Streaming World! Reasoning upon Rapidly Changing Information. IEEE Intelligent Systems\u00a024(6), 83\u201389 (2009)","journal-title":"IEEE Intelligent Systems"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Della Valle, E., Schlobach, S., Kr\u00f6tzsch, M., Bozzon, A., Ceri, S., Horrocks, I.: Order matters! harnessing a world of orderings for reasoning over massive data. Semantic Web Journal (2012)","DOI":"10.3233\/SW-2012-0085"},{"key":"23_CR12","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-21043-3_13","volume-title":"Advances in Artificial Intelligence","author":"T.M. Do","year":"2011","unstructured":"Do, T.M., Loke, S.W., Liu, F.: Answer set programming for stream reasoning. In: Butz, C., Lingras, P. (eds.) Canadian AI 2011. LNCS (LNAI), vol.\u00a06657, pp. 104\u2013109. Springer, Heidelberg (2011)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11837787_4","volume-title":"Reasoning Web","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol.\u00a04126, pp. 93\u2013127. Springer, Heidelberg (2006)"},{"key":"23_CR14","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Dlv-hex: Dealing with semantic web under answer-set programming. In: Proc. of ISWC (2005)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T.: Answer set programming for stream reasoning. CoRR, abs\/1301.1392 (2013)","DOI":"10.1007\/978-3-642-40564-8_34"},{"key":"23_CR16","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Int\u2019l Conference on Logic Programming, vol.\u00a0161 (1988)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Komazec, S., Cerri, D., Fensel, D.: Sparkwave: continuous schema-enhanced pattern matching over RDF data streams. In: Proc. of DEBS, pp. 58\u201368 (2012)","DOI":"10.1145\/2335484.2335491"},{"key":"23_CR18","unstructured":"Lanzanasto, N., Komazec, S., Toma, I.: Reasoning over real time data streams (2012), http:\/\/www.envision-project.eu\/wp-content\/uploads\/2012\/11\/D4-8_v1-0.pdf"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-642-35173-0_20","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"D. Le-Phuoc","year":"2012","unstructured":"Le-Phuoc, D., Dao-Tran, M., Pham, M.-D., Boncz, P., Eiter, T., Fink, M.: Linked stream data processing engines: Facts and figures. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part II. LNCS, vol.\u00a07650, pp. 300\u2013312. Springer, Heidelberg (2012)"},{"key":"23_CR20","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., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 370\u2013388. Springer, Heidelberg (2011)"},{"key":"23_CR21","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/564691.564698","volume-title":"2002 ACM SIGMOD Int\u2019l Conference on Management of Data","author":"S. Madden","year":"2002","unstructured":"Madden, S., Shah, M., Hellerstein, J.M., Raman, V.: Continuously adaptive continuous queries over streams. In: 2002 ACM SIGMOD Int\u2019l Conference on Management of Data, pp. 49\u201360. ACM, New York (2002)"},{"key":"23_CR22","unstructured":"Le-Phuoc, D., Quoc, H.N.M., Xavier Parreira, J., Hauswirth, M.: The Linked Sensor Middleware \u2013 Connecting the real world and the Semantic Web. In: Semantic Web Challenge, ISWC, Bonn, Germany, October 23-27 (2011)"},{"issue":"4","key":"23_CR23","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1107499.1107504","volume":"34","author":"M. Stonebraker","year":"2005","unstructured":"Stonebraker, M., \u00c7etintemel, U., Zdonik, S.: The 8 requirements of real-time stream processing. ACM SIGMOD Record\u00a034(4), 42\u201347 (2005)","journal-title":"ACM SIGMOD Record"},{"key":"23_CR24","first-page":"302","volume-title":"Proc. of the ACM DEBS, DEBS 2012","author":"K. Teymourian","year":"2012","unstructured":"Teymourian, K., Rohde, M., Paschke, A.: Fusion of background knowledge and streams of events. In: Proc. of the ACM DEBS, DEBS 2012, pp. 302\u2013313. ACM, New York (2012)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39666-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T14:32:35Z","timestamp":1596119555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39666-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396656","9783642396663"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39666-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}