Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach

Darko AnicicDarko Anicic, Sebastian RudolphSebastian Rudolph, Paul FodorPaul Fodor, Nenad StojanovicNenad Stojanovic

ISSN: 0883-9514
Download
DOI Link

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach
Applied Artificial Intelligence, 26(1-2):6-57, February 2012

Details
Bibtex

KurzfassungAbstract
Complex Event Processing (CEP) deals with the analysis of streams of continuously arriving events, with the goal of identifying instances of predefined meaningful patterns (complex events). Complex events are detected in order to trigger time-critical actions in many areas, including sensors networks, financial services, transaction management, business intelligence, etc. In existing approaches to CEP, a complex event is represented as a composition of more simple events satisfying certain temporal relationships. In this article, we advocate a knowledge-rich CEP, which, apart from events, also processes additional (contextual) knowledge (e.g., in order to prove semantic relations among matched events or to define more complex situations). In particular, we present a novel approach for realizing knowledge-rich CEP, including detection of semantic relations among events and reasoning. We present a rule-based language for pattern matching over event streams, with a precise syntax and the declarative semantics. We devise an execution model for the proposed formalism, and provide a prototype implementation. Extensive experiments have been conducted to demonstrate the efficiency and effectiveness of our approach.
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@article{ARFS2012,
  author  = {Darko Anicic and Sebastian Rudolph and Paul Fodor and Nenad
             Stojanovic},
  title   = {Real-Time Complex Event Recognition and Reasoning-a Logic
             Programming Approach},
  journal = {Applied Artificial Intelligence},
  volume  = {26},
  number  = {1-2},
  year    = {2012},
  month   = {February},
  pages   = {6-57},
  doi     = {10.1080/08839514.2012.636616}
}