ETALIS: Rule-based reasoning in event processing

Complex Event Processing (CEP) is concerned with timely detection of complex events within multiple streams of atomic occurrences, and has useful applications in areas including financial services, mobile and sensor devices, click stream analysis and so forth. In this chapter, we present ETALIS Language for Events. It is an expressive language for specifying and combining complex events. For this language we provide both a syntax as well as a clear declarative formal semantics. The execution model of the language is based on a compilation strategy into Prolog. We provide an implementation of the language, and present experimental results of our running prototype. Further on, we show how our logic rule-based approach compares with a non-logic approach in respect of performance.