TY - GEN
T1 - A rule-based language for complex event processing and reasoning
AU - Anicic, Darko
AU - Fodor, Paul
AU - Rudolph, Sebastian
AU - Stühmer, Roland
AU - Stojanovic, Nenad
AU - Studer, Rudi
PY - 2010
Y1 - 2010
N2 - Complex Event Processing (CEP) is concerned with timely detection of complex events within multiple streams of atomic occurrences. It has useful applications in areas including financial services, mobile and sensor devices, click stream analysis etc. Numerous approaches in CEP have already been proposed in the literature. Event processing systems with a logic-based representation have attracted considerable attention as (among others reasons) they feature formal semantics and offer reasoning service. However logic-based approaches are not optimized for run-time event recognition (as they are mainly query-driven systems). In this paper, we present an expressive logic-based language for specifying and combining complex events. For this language we provide both a syntax as well as a formal declarative semantics. The language enables efficient run time event recognition and supports deductive reasoning. Execution model of the language is based on a compilation strategy into Prolog. We provide an implementation of the language, and present the performance results showing the competitiveness of our approach.
AB - Complex Event Processing (CEP) is concerned with timely detection of complex events within multiple streams of atomic occurrences. It has useful applications in areas including financial services, mobile and sensor devices, click stream analysis etc. Numerous approaches in CEP have already been proposed in the literature. Event processing systems with a logic-based representation have attracted considerable attention as (among others reasons) they feature formal semantics and offer reasoning service. However logic-based approaches are not optimized for run-time event recognition (as they are mainly query-driven systems). In this paper, we present an expressive logic-based language for specifying and combining complex events. For this language we provide both a syntax as well as a formal declarative semantics. The language enables efficient run time event recognition and supports deductive reasoning. Execution model of the language is based on a compilation strategy into Prolog. We provide an implementation of the language, and present the performance results showing the competitiveness of our approach.
UR - https://www.scopus.com/pages/publications/78049388341
U2 - 10.1007/978-3-642-15918-3_5
DO - 10.1007/978-3-642-15918-3_5
M3 - Conference contribution
SN - 3642159176
SN - 9783642159176
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 42
EP - 57
BT - Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Proceedings
T2 - 4th International Conference on Web Reasoning and Rule Systems, RR 2010
Y2 - 22 September 2010 through 24 September 2010
ER -