{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:00:48Z","timestamp":1747173648121,"version":"3.40.5"},"reference-count":29,"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>We present a system for online composite event recognition over streaming positions of commercial vehicles. Our system employs a data enrichment module, augmenting the mobility data with external information, such as weather data and proximity to points of interest. In addition, the composite event recognition module, based on a highly optimised logic programming implementation of the Event Calculus, consumes the enriched data and identifies activities that are beneficial in fleet management applications. We evaluate our system on large, real-world data from commercial vehicles, and illustrate its efficiency.<\/jats:p>","DOI":"10.1017\/s147106841900022x","type":"journal-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T09:06:21Z","timestamp":1568970381000},"page":"841-856","source":"Crossref","is-referenced-by-count":4,"title":["Online Event Recognition from Moving Vehicles: Application Paper"],"prefix":"10.1017","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2189-976X","authenticated-orcid":false,"given":"EFTHIMIS","family":"TSILIONIS","sequence":"first","affiliation":[]},{"given":"NIKOLAOS","family":"KOUTROUMANIS","sequence":"additional","affiliation":[]},{"given":"PANAGIOTIS","family":"NIKITOPOULOS","sequence":"additional","affiliation":[]},{"given":"CHRISTOS","family":"DOULKERIDIS","sequence":"additional","affiliation":[]},{"given":"ALEXANDER","family":"ARTIKIS","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2019,9,20]]},"reference":[{"key":"S147106841900022X_ref5","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":"S147106841900022X_ref1","doi-asserted-by":"crossref","first-page":"71:1","DOI":"10.1145\/3117809","article-title":"Probabilistic complex event recognition: A survey","volume":"50","author":"Alevizos","year":"2017","journal-title":"ACM Comput. Surv"},{"key":"S147106841900022X_ref10","unstructured":"Demers, A. J. , Gehrke, J. , Panda, B. , Riedewald, M. , Sharma, V. , and White, W. M. 2007. Cayuga: A general purpose event monitoring system. In CIDR 2007, Third Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 7-10, 2007, Online Proceedings. 412\u2013422."},{"key":"S147106841900022X_ref22","first-page":"17:1","article-title":"Monitoring business constraints with the event calculus","volume":"5","author":"Montali","year":"2013","journal-title":"ACM TIST"},{"key":"S147106841900022X_ref15","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/1206049.1206056","article-title":"Spatial join techniques","volume":"1","author":"Jacox","year":"2007","journal-title":"ACM Trans. Database Syst. 32"},{"key":"S147106841900022X_ref2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp071"},{"key":"S147106841900022X_ref8","unstructured":"Cugola, G. and Margara, A. 2010. TESLA: a formally defined event specification language. In Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, Cambridge, United Kingdom, July 12-15, 2010. 50\u201361."},{"key":"S147106841900022X_ref3","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1109\/TKDE.2014.2356476","article-title":"An event calculus for event recognition","volume":"4","author":"Artikis","year":"2015","journal-title":"IEEE Trans. Knowl. Data Eng. 27,"},{"key":"S147106841900022X_ref16","unstructured":"Koutroumanis, N. , Santipantakis, G. M. , Glenis, A. , Doulkeridis, C. , and Vouros, G. A. 2019. Integration of mobility data with weather information. In Proceedings of the Workshops of the EDBT\/ICDT 2019 Joint Conference, EDBT\/ICDT 2019, Lisbon, Portugal, March 26, 2019."},{"key":"S147106841900022X_ref19","unstructured":"Mei, Y. and Madden, S. 2009. Zstream: a cost-based query processor for adaptively detecting composite events. In Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009. 193\u2013206."},{"key":"S147106841900022X_ref12","unstructured":"Dousson, C. and Maigat, P. L. 2007. Chronicle recognition improvement using temporal focusing and hierarchization. In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. 324\u2013329."},{"key":"S147106841900022X_ref9","doi-asserted-by":"crossref","first-page":"15:1","DOI":"10.1145\/2187671.2187677","article-title":"Processing flows of information: From data stream to complex event processing","volume":"44","author":"Cugola","year":"2012","journal-title":"ACM Comput. Surv"},{"key":"S147106841900022X_ref4","doi-asserted-by":"crossref","unstructured":"Artikis, A. , Weidlich, M. , Gal, A. , Kalogeraki, V. , and Gunopulos, D. 2013. Self-adaptive event recognition for intelligent transport management. In Proceedings of the IEEE International Conference on Big Data. 319\u2013325.","DOI":"10.1109\/BigData.2013.6691590"},{"key":"S147106841900022X_ref6","unstructured":"Cervesato, I. and Montanari, A. 2000. A calculus of macro-events: Progress report. In Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000. 47\u201358."},{"key":"S147106841900022X_ref13","doi-asserted-by":"crossref","unstructured":"Giatrakos, N. , Alevizos, E. , Artikis, A. , Deligiannakis, A. , and Garofalakis, M. 2019. Complex event recognition in the big data era. VLDB Journal.","DOI":"10.1007\/s00778-019-00557-w"},{"key":"S147106841900022X_ref14","unstructured":"Grez, A. , Riveros, C. , and Ugarte, M. 2019. A formal framework for complex event processing. In 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal. 5:1\u20135:18."},{"key":"S147106841900022X_ref17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A logic-based calculus of events","volume":"1","author":"Kowalski","year":"1986","journal-title":"New Generation Comput. 4"},{"key":"S147106841900022X_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-019-05794-2"},{"key":"S147106841900022X_ref21","unstructured":"Miller, R. and Shanahan, M. 2002. Some alternative formulations of the event calculus. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. 452\u2013490."},{"key":"S147106841900022X_ref23","unstructured":"Paschke, A. 2006. Eca-ruleml: An approach combining ECA rules with temporal interval-based KR event\/action logics and transactional update logics. CoRR abs\/cs\/0610167."},{"key":"S147106841900022X_ref24","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.dss.2008.06.008","article-title":"Knowledge representation concepts for automated SLA management","volume":"1","author":"Paschke","year":"2008","journal-title":"Decision Support Systems 46"},{"key":"S147106841900022X_ref25","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s10707-016-0266-x","article-title":"Online event recognition from moving vessel trajectories","volume":"2","author":"Patroumpas","year":"2017","journal-title":"GeoInformatica 21"},{"key":"S147106841900022X_ref26","unstructured":"Schultz-M\u00f8ller, N. P. , Migliavacca, M. , and Pietzuch, P. R. 2009. Distributed complex event processing with query rewriting. In Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009."},{"key":"S147106841900022X_ref27","unstructured":"Tsilionis, E. , Artikis, A. , and Paliouras, G. 2019. Incremental event calculus for run-time reasoning. In Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, DEBS 2019, Darmstadt, Germany, June 24-28, 2019. 79\u201390."},{"key":"S147106841900022X_ref29","unstructured":"Zhang, H. , Diao, Y. , and Immerman, N. 2014. On complexity and optimization of expensive queries in complex event processing. In International Conference on Management of Data, SIGMOD 2014, Snowbird, UT, USA, June 22-27, 2014. 217\u2013228."},{"key":"S147106841900022X_ref28","unstructured":"Vlassopoulos, C. and Artikis, A. 2017. Towards A simple event calculus for run-time reasoning. In Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, November 6-8, 2017."},{"key":"S147106841900022X_ref18","unstructured":"Liu, M. , Rundensteiner, E. A. , Greenfield, K. , Gupta, C. , Wang, S. , Ari, I. , and Mehta, A. 2011. E-cube: multi-dimensional event sequence analysis using hierarchical pattern query sharing. In Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2011, Athens, Greece, June 12-16, 2011. 889\u2013900."},{"key":"S147106841900022X_ref11","doi-asserted-by":"crossref","DOI":"10.2200\/S00578ED1V01Y201404DTM040","volume-title":"Big Data Integration","author":"Dong","year":"2015"},{"key":"S147106841900022X_ref7","unstructured":"Chittaro, L. and Montanari, A. 1996. Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12, 359\u2013382."}],"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\/S147106841900022X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,7]],"date-time":"2019-12-07T12:22:05Z","timestamp":1575721325000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S147106841900022X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":29,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["S147106841900022X"],"URL":"https:\/\/doi.org\/10.1017\/s147106841900022x","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}