A Rule-Based Language for Complex Event Processing and Reasoning

Darko AnicicDarko Anicic, Paul FodorPaul Fodor, Sebastian RudolphSebastian Rudolph, Roland StühmerRoland Stühmer, Nenad StojanovicNenad Stojanovic, Rudi StuderRudi Studer

Download

Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
A Rule-Based Language for Complex Event Processing and Reasoning
In Pascal Hitzler, Thomas Lukasiewicz, eds., Web Reasoning and Rule Systems - Fourth International Conference, volume 6333 of LNCS, 42-57, September 2010. Springer

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Computational LogicComputational Logic

The final publication is available at Springer.

@inproceedings{AFRSSS2010,
  author    = {Darko Anicic and Paul Fodor and Sebastian Rudolph and Roland
               St{\"{u}}hmer and Nenad Stojanovic and Rudi Studer},
  title     = {A Rule-Based Language for Complex Event Processing and Reasoning},
  editor    = {Pascal Hitzler and Thomas Lukasiewicz},
  booktitle = {Web Reasoning and Rule Systems - Fourth International Conference},
  series    = {LNCS},
  volume    = {6333},
  publisher = {Springer},
  year      = {2010},
  month     = {September},
  pages     = {42-57}
}