tutorial

Run-time composite event recognition

Authors:

Alexander Artikis,

Georgios PaliourasAuthors Info & Claims

DEBS '12: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems

Pages 69 - 80

https://doi.org/10.1145/2335484.2335492

Published: 16 July 2012 Publication History

Abstract

Events are particularly important pieces of knowledge, as they represent activities of special significance within an organisation: the automated recognition of events is of utmost importance. We present RTEC, an Event Calculus dialect for run-time event recognition and its Prolog implementation. RTEC includes a number of novel techniques allowing for efficient run-time recognition, scalable to large data streams. It can be used in applications where data might arrive with a delay from, or might be revised by, the underlying event sources. We evaluate RTEC using a real-world application.

References

[1]

A. Adi and O. Etzion. Amit - the situation manager. The VLDB Journal, 13:177--203, 2004.

Digital Library

[2]

D. Anicic, S. Rudolph, P. Fodor, and N. Stojanovic. Retractable complex event processing and stream reasoning. In RuleML Europe, pages 122--137, 2011.

Digital Library

[3]

D. Anicic, S. Rudolph, P. Fodor, and N. Stojanovic. Real-time complex event recognition and reasoning --- a logic programming approach. Applied Artificial Intelligence, 26(1-2):6--57, 2012.

[4]

P. Bizzaro. Results of the survey on event processing use cases. Event Processing Technical Society, March 2011. http://www.slideshare.net/pedrobizarro/epts-survey-results.

[5]

F. Chesani, P. Mello, M. Montali, and P. Torroni. A logic-based, reactive calculus of events. Fundamenta Informaticae, 105(1--2):135--161, 2010.

Digital Library

[6]

L. Chittaro and A. Montanari. Efficient temporal reasoning in the cached event calculus. Computational Intelligence, 12(3):359--382, 1996.

[7]

G. Cugola and A. Margara. TESLA: a formally defined event specification language. In Proceedings of Conference on Distributed-Event Based Systems (DEBS), pages 50--61, 2010.

Digital Library

[8]

G. Cugola and A. Margara. Processing flows of information: From data stream to complex event processing. ACM Computing Surveys, 2011.

Digital Library

[9]

N. Dindar, P. M. Fischer, M. Soner, and N. Tatbul. Efficiently correlating complex events over live and archived data streams. In Proceedings of International Conference on Distributed Event-Based Systems (DEBS), pages 243--254, 2011.

Digital Library

[10]

L. Ding, S. Chen, E. A. Rundensteiner, J. Tatemura, W.-P. Hsiung, and K. Candan. Runtime semantic query optimization for event stream processing. In Proceedings of International Conference on Data Engineering (ICDE), pages 676--685, 2008.

Digital Library

[11]

C. Dousson and P. L. Maigat. Chronicle recognition improvement using temporal focusing and hierarchisation. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pages 324--329, 2007.

Digital Library

[12]

M. Eckert and F. Bry. Rule-based composite event queries: the language xchange^eq and its semantics. Knowledge Information Systems, 25(3):551--573, 2010.

Digital Library

[13]

D. Gyllstrom, E. Wu, H.-J. Chae, Y. Diao, P. Stahlberg, and G. Anderson. SASE: Complex event processing over streams. In Proceedings of the International Conference on Innovative Data Systems Research (CIDR), 2007.

[14]

A. Kimmig, B. Demoen, L. D. Raedt, V. S. Costa, and R. Rocha. On the implementation of the probabilistic logic programming language ProbLog. Theory and Practice of Logic Programming, 11:235--262, 2011.

Digital Library

[15]

R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67--96, 1986.

Digital Library

[16]

J. Kräamer and B. Seeger. Semantics and implementation of continuous sliding window queries over data streams. ACM Transactions on Database Systems, 34(1):1--49, 2009.

Digital Library

[17]

M. Li, M. Mani, E. A. Rundensteiner, and T. Lin. Complex event pattern detection over streams with interval-based temporal semantics. In Proceedings of international Conference on Distributed Event-Based Systems (DEBS), pages 291--302, New York, NY, USA, 2011. ACM.

Digital Library

[18]

M. Liu, M. Li, D. Golovnya, E. A. Rundensteiner, and K. T. Claypool. Sequence pattern query processing over out-of-order event streams. In Proceedings of International Conference on Data Engineering (ICDE), pages 784--795, 2009.

Digital Library

[19]

D. Luckham and R. Schulte. Event processing glossary --- version 1.1. Event Processing Technical Society, July 2008. http://www.ep-ts.com/.

[20]

Y. Mei and S. Madden. Zstream: a cost-based query processor for adaptively detecting composite events. In Proceedings of SIGMOD Conference, pages 193--206, 2009.

Digital Library

[21]

A. Paschke and M. Bichler. Knowledge representation concepts for automated SLA management. Decision Support Systems, 46(1):187--205, 2008.

Digital Library

[22]

A. Paschke and A. Kozlenkov. Rule-based event processing and reaction rules. In Proceedings of RuleML, volume LNCS 5858, pages 53--66. Springer, 2009.

Digital Library

[23]

O. Ray. Nonmonotonic abductive inductive learning. Journal of Applied Logic, 7(3):329--340, 2009.

[24]

V. Shet, J. Neumann, V. Ramesh, and L. Davis. Bilattice-based logical reasoning for human detection. In Proceedings of International Conference on Computer Vision and Pattern Recognition (CVPR), pages 1--8. IEEE, 2007.

[25]

U. Srivastava and J. Widom. Flexible time management in data stream systems. In PODS, 2004.

Digital Library

Cited By

Rincé RKervarc RLeray P(2018)Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and SamplingRules and Reasoning10.1007/978-3-319-99906-7_10(147-163)Online publication date: 24-Aug-2018
https://doi.org/10.1007/978-3-319-99906-7_10
Kritikos KZeginis CParavoliasis APlexousakis D(2018)CEP-Based SLO EvaluationAdvances in Service-Oriented and Cloud Computing10.1007/978-3-319-79090-9_2(20-34)Online publication date: 3-Apr-2018
https://doi.org/10.1007/978-3-319-79090-9_2
Kafalı ÖRomero AStathis K(2017)Agent‐oriented activity recognition in the event calculus: An application for diabetic patientsComputational Intelligence10.1111/coin.1212133:4(899-925)Online publication date: 9-Aug-2017
https://doi.org/10.1111/coin.12121
Show More Cited By

Index Terms

Run-time composite event recognition
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
2. Theory of computation
  1. Logic

Recommendations

An Event Calculus for Event Recognition
Systems for symbolic event recognition accept as input a stream of time-stamped events from sensors and other computational devices, and seek to identify high-level composite events, collections of events that satisfy some pattern. RTEC is an Event ...
Event calculus and temporal action logics compared

We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type ...
Parallel online event calculus learning for complex event recognition
Abstract
Logic-based event recognition systems infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in event recognition ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DEBS '12: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems

July 2012

410 pages

ISBN:9781450313155

DOI:10.1145/2335484

Co-chair:
Francois Bry
Ludwig Maximilian University of Munich, Germany
,
General Chair:
Adrian Paschke
Freie Universitaet Berlin, Germany
,
Program Chairs:
Patrick Eugster
Purdue University, USA
,
Christof Fetzer
Dresden University of Technology, Germany
,
Publications Chair:
Andreas Behrend
University of Bonn, Germany

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 July 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Tutorial

Funding Sources

Seventh Framework Programme

Conference

DEBS '12

Sponsor:

DEBS '12: The 6th ACM International Conference on Distributed Event-based system

July 16 - 20, 2012

Berlin, Germany

Acceptance Rates

Overall Acceptance Rate 145 of 583 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
445
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Rincé RKervarc RLeray P(2018)Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and SamplingRules and Reasoning10.1007/978-3-319-99906-7_10(147-163)Online publication date: 24-Aug-2018
https://doi.org/10.1007/978-3-319-99906-7_10
Kritikos KZeginis CParavoliasis APlexousakis D(2018)CEP-Based SLO EvaluationAdvances in Service-Oriented and Cloud Computing10.1007/978-3-319-79090-9_2(20-34)Online publication date: 3-Apr-2018
https://doi.org/10.1007/978-3-319-79090-9_2
Kafalı ÖRomero AStathis K(2017)Agent‐oriented activity recognition in the event calculus: An application for diabetic patientsComputational Intelligence10.1111/coin.1212133:4(899-925)Online publication date: 9-Aug-2017
https://doi.org/10.1111/coin.12121
Grossniklaus MMaier DMiller JMoorthy STufte KGal AWeidlich MKalogeraki VVenkasubramanian N(2016)FramesProceedings of the 10th ACM International Conference on Distributed and Event-based Systems10.1145/2933267.2933304(13-24)Online publication date: 13-Jun-2016
https://dl.acm.org/doi/10.1145/2933267.2933304
PATKOS TPLEXOUSAKIS DCHIBANI AAMIRAT Y(2016)An event calculus production rule system for reasoning in dynamic and uncertain domainsTheory and Practice of Logic Programming10.1017/S147106841600006516:3(325-352)Online publication date: 7-Mar-2016
https://doi.org/10.1017/S1471068416000065
Bernardi MCimitile MDi Francescomarino CMaggi F(2016)Do activity lifecycles affect the validity of a business rule in a business process?Information Systems10.1016/j.is.2016.06.00262:C(42-59)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.is.2016.06.002
Artikis ASergot MPaliouras G(2015)An Event Calculus for Event RecognitionIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2014.235647627:4(895-908)Online publication date: 1-Apr-2015
https://doi.org/10.1109/TKDE.2014.2356476
Birth OHoffmann MStrassberger MRoor RSchlichter J(2015)Concept for an Intermodal Traveller Information System with Real-Time Data Using Complex Event ProcessingProceedings of the 2015 IEEE 18th International Conference on Intelligent Transportation Systems10.1109/ITSC.2015.370(2293-2298)Online publication date: 15-Sep-2015
https://dl.acm.org/doi/10.1109/ITSC.2015.370
Artikis ABaber CBizarro PCanudas-de-Wit CEtzion OFournier FGoulart PHowes ALygeros JPaliouras GSchuster ASharfman I(2014)Scalable Proactive Event-Driven Decision MakingIEEE Technology and Society Magazine10.1109/MTS.2014.234513133:3(35-41)Online publication date: Nov-2015
https://doi.org/10.1109/MTS.2014.2345131
SKARLATIDIS AARTIKIS AFILIPPOU JPALIOURAS G(2014)A probabilistic logic programming event calculusTheory and Practice of Logic Programming10.1017/S147106841300069015:02(213-245)Online publication date: 22-May-2014
https://doi.org/10.1017/S1471068413000690
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents