{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T14:10:01Z","timestamp":1748527801323,"version":"3.41.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319220017"},{"type":"electronic","value":"9783319220024"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-22002-4_10","type":"book-chapter","created":{"date-parts":[[2015,7,21]],"date-time":"2015-07-21T03:20:53Z","timestamp":1437448853000},"page":"113-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Procedure for an Event-Condition-Transaction Language"],"prefix":"10.1007","author":[{"given":"Ana Sofia","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,22]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.datak.2005.07.009","volume":"59","author":"R Adaikkalavan","year":"2006","unstructured":"Adaikkalavan, R., Chakravarthy, S.: Snoopib: interval-based event specification and detection for active databases. Data Knowl. Eng. 59(1), 139\u2013165 (2006)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"10_CR2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/IA-2011-0007","volume":"5","author":"JJ Alferes","year":"2011","unstructured":"Alferes, J.J., Banti, F., Brogi, A.: Evolving reactive logic program. Intelligenza Artificiale 5(1), 77\u201381 (2011)","journal-title":"Intelligenza Artificiale"},{"key":"10_CR3","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: WWW 2011, pp. 635\u2013644 (2011)","DOI":"10.1145\/1963405.1963495"},{"issue":"4","key":"10_CR4","doi-asserted-by":"crossref","first-page":"397","DOI":"10.3233\/SW-2011-0053","volume":"3","author":"D Anicic","year":"2012","unstructured":"Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in etalis. Seman. Web 3(4), 397\u2013407 (2012)","journal-title":"Seman. Web"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/3-540-63792-3_19","volume-title":"Deductive and Object-Oriented Databases","author":"C Baral","year":"1997","unstructured":"Baral, C., Lobo, J., Trajcevski, G.: Formal characterizations of active databases: part II. In: Bry, F. (ed.) DOOD 1997. LNCS, vol. 1341, pp. 247\u2013264. Springer, Heidelberg (1997)"},{"issue":"3","key":"10_CR6","first-page":"237","volume":"82","author":"E Behrends","year":"2008","unstructured":"Behrends, E., Fritzen, O., May, W., Schenk, F.: Embedding event algebras and process for ECA rules for the semantic web. Fundam. Inf. 82(3), 237\u2013263 (2008)","journal-title":"Fundam. Inf."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Bertossi, L.E., Pinto, J., Valdivia, R.: Specifying active databases in the situation calculus. In: SCCC, pp. 32\u201339. IEEE Computer Society (1998)","DOI":"10.1109\/SCCC.1998.730780"},{"key":"10_CR8","unstructured":"Bonner, A.J., Kifer, M.: Transaction logic programming. In: ICLP, pp. 257\u2013279 (1993)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/BFb0055499","volume-title":"Transactions and Change in Logic Databases","author":"AJ Bonner","year":"1998","unstructured":"Bonner, A.J., Kifer, M.: Results on reasoning about updates in transaction logic. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472, p. 166. Springer, Heidelberg (1998)"},{"issue":"1","key":"10_CR10","first-page":"3","volume":"5","author":"F Bry","year":"2006","unstructured":"Bry, F., Eckert, M., Patranjan, P.-L.: Reactivity on the web: paradigms and applications of the language xchange. J. Web Eng. 5(1), 3\u201324 (2006)","journal-title":"J. Web Eng."},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1109\/TKDE.2003.1161596","volume":"15","author":"J Chomicki","year":"2003","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.A.: Conflict resolution using logic programming. IEEE Trans. Knowl. Data Eng. 15(1), 244\u2013249 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Costantini, S., Gasperis, G.D.: Complex reactivity with preferences in rule-based agents. In: RuleML, pp. 167\u2013181 (2012)","DOI":"10.1007\/978-3-642-32689-9_13"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Fodor, P., Kifer, M.: Tabling for transaction logic. In: ACMPPDP, pp. 199\u2013208 (2010)","DOI":"10.1145\/1836089.1836115"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Gomes, A.S., Alferes, J.J.: Transaction Logic with (complex) events. Theory and Practice of Logic Programming, On-line Supplement, 14 (2014)","DOI":"10.1017\/S1471068412000439"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32689-9_1","volume-title":"Rules on the Web: Research and Applications","author":"R Kowalski","year":"2012","unstructured":"Kowalski, R., Sadri, F.: A logic-based framework for reactive systems. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 1\u201315. Springer, Heidelberg (2012)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BFb0055496","volume-title":"Transactions and Change in Logic Databases","author":"G Lausen","year":"1998","unstructured":"Lausen, G., Lud\u00e4scher, B., May, W.: On active deductive databases: the statelog approach. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472, p. 69. Springer, Heidelberg (1998)"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.websem.2014.02.001","volume":"25","author":"A Margara","year":"2014","unstructured":"Margara, A., Urbani, J., van Harmelen, F., Bal, H.E.: Streaming the web: Reasoning over dynamic data. J. Web Sem. 25, 24\u201344 (2014)","journal-title":"J. Web Sem."},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.datak.2004.03.010","volume":"51","author":"R M\u00fcller","year":"2004","unstructured":"M\u00fcller, R., Greiner, U., Rahm, E.: AgentWork: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223\u2013256 (2004)","journal-title":"Data Knowl. Eng."},{"issue":"10","key":"10_CR19","doi-asserted-by":"publisher","first-page":"1513","DOI":"10.1016\/j.comnet.2005.10.022","volume":"50","author":"G Papamarkos","year":"2006","unstructured":"Papamarkos, G., Poulovassilis, A., Wood, P.T.: Event-condition-action rules on RDF metadata in P2P environments. Comp. Netw. 50(10), 1513\u20131532 (2006)","journal-title":"Comp. Netw."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Ren, Y., Pan,J.Z.: Optimising ontology stream reasoning with truth maintenance system. In: ACM CIKM, pp. 831\u2013836 (2011)","DOI":"10.1145\/2063576.2063696"},{"key":"10_CR21","unstructured":"Rinne, M., T\u00f6rm\u00e4, S., Nuutila, E.: SPARQL-based applications for RDF-encoded sensor data. In: SSN, pp. 81\u201396 (2012)"},{"issue":"4","key":"10_CR22","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/MIC.2008.87","volume":"12","author":"AP Sheth","year":"2008","unstructured":"Sheth, A.P., Henson, C.A., Sahoo, S.S.: Semantic sensor web. IEEE Internet Comput. 12(4), 78\u201383 (2008)","journal-title":"IEEE Internet Comput."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Wu, E., Diao, Y., Rizvi, S.: High-performance complex event processing over streams. In: SIGMOD Conference, pp. 407\u2013418. ACM (2006)","DOI":"10.1145\/1142473.1142520"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Zaniolo, C.: Active database rules with transaction-conscious stable-model semantics. In: DOOD, pp. 55\u201372 (1995)","DOI":"10.1007\/3-540-60608-4_34"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22002-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T13:34:42Z","timestamp":1748525682000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22002-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319220017","9783319220024"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22002-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}