REAL-TIME COMPLEX EVENT RECOGNITION AND REASONING–A LOGIC PROGRAMMING APPROACH

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.

[1]  Jonathan Goldstein,et al.  Consistent Streaming Through Time: A Vision for Event Stream Processing , 2006, CIDR.

[2]  Inderpal Singh Mumick,et al.  The Stanford Data Warehousing Project , 1995 .

[3]  Sharma Chakravarthy,et al.  SnoopIB: Interval-based event specification and detection for active databases , 2003, Data Knowl. Eng..

[4]  Sharma Chakravarthy,et al.  SnoopIB: Interval-Based Event Specification and Detection for Active Databases , 2003, ADBIS.

[5]  Oliver Ray,et al.  Nonmonotonic abductive inductive learning , 2009, J. Appl. Log..

[6]  Bertram Ludäscher,et al.  On Active Deductive Databases: The Statelog Approach , 1996, Transactions and Change in Logic Databases.

[7]  Jennifer Widom,et al.  The CQL continuous query language: semantic foundations and query execution , 2006, The VLDB Journal.

[8]  Sharma Chakravarthy,et al.  Snoop: An Expressive Event Specification Language for Active Databases , 1994, Data Knowl. Eng..

[9]  Andre Bolles,et al.  Streaming SPARQL - Extending SPARQL to Process Data Streams , 2008, ESWC.

[10]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[11]  Ying Xing,et al.  Scalable Distributed Stream Processing , 2003, CIDR.

[12]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[13]  Carlo Zaniolo,et al.  Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach , 1995, DOOD.

[14]  Adrian Paschke,et al.  A Homogeneous Reaction Rule Language for Complex Event Processing , 2010, ArXiv.

[15]  Neil Immerman,et al.  Efficient pattern matching over event streams , 2008, SIGMOD Conference.

[16]  Michael Eckert Complex event processing with XchangeEQ: language design, formal semantics, and incremental evaluation for querying events , 2008 .

[17]  Frederick Reiss,et al.  TelegraphCQ: continuous dataflow processing , 2003, SIGMOD '03.

[18]  Nenad Stojanovic,et al.  Event-Driven Approach for Logic-Based Complex Event Processing , 2009, 2009 International Conference on Computational Science and Engineering.

[19]  Abraham Bernstein,et al.  Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL , 2009, ESWC.

[20]  H. Lam,et al.  A Rule-based Language for , 1990 .

[21]  Daniele Braga,et al.  An execution environment for C-SPARQL queries , 2010, EDBT '10.

[22]  Alexander Artikis,et al.  Logic-based representation, reasoning and machine learning for event recognition , 2010, DEBS '10.

[23]  Orchard Street Sewickley DATA-DRIVEN BACKWARD CHAINING , 1996 .

[24]  Daniele Braga,et al.  Incremental Reasoning on Streams and Rich Background Knowledge , 2010, ESWC.

[25]  Narain H. Gehani,et al.  Composite Event Specification in Active Databases: Model & Implementation , 1992, VLDB.

[26]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[27]  Sebastian Rudolph,et al.  A Rule-Based Language for Complex Event Processing and Reasoning , 2010, RR.

[28]  Amit P. Sheth,et al.  Linked sensor data , 2010, 2010 International Symposium on Collaborative Technologies and Systems.

[29]  Rada Chirkova,et al.  Materialized Views , 2012, Found. Trends Databases.

[30]  Amit P. Sheth,et al.  Provenance Aware Linked Sensor Data , 2010 .

[31]  Jean Bacon,et al.  Unified Semantics for Event Correlation over Time and Space in Hybrid Network Environments , 2005, OTM Conferences.

[32]  Hendrik Segers,et al.  Composite event specification in active databases: model and implementation , 1992 .

[33]  José Júlio Alferes,et al.  An Event-Condition-Action Logic Programming Language , 2006, JELIA.

[34]  Frederick Reiss,et al.  TelegraphCQ: Continuous Dataflow Processing for an Uncertain World , 2003, CIDR.

[35]  Michael Eckert,et al.  Complex event processing with Xchange_1hnE_1hnQ: language design, formal semantics, and incremental evaluation for querying events. , 2008 .

[36]  Michael Eckert,et al.  Rule-based composite event queries: the language XChangeEQ and its semantics , 2010, Knowledge and Information Systems.

[37]  Manolis Koubarakis,et al.  Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL , 2010, ESWC.

[38]  Frank P. Coyle Review of 'The power of events: An introduction to complex event processing in distributed enterprise systems,' by David Luckham, Addison Wesley Professional, May 2002 , 2003, UBIQ.

[39]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[40]  JÜRGEN KRÄMER,et al.  Semantics and implementation of continuous sliding window queries over data streams , 2009, TODS.

[41]  Amit P. Sheth,et al.  SPARQL-ST: Extending SPARQL to Support Spatiotemporal Queries , 2011, Geospatial Semantics and the Semantic Web.

[42]  Murray Shanahan,et al.  The Event Calculus in Classical Logic - Alternative Axiomatisations , 1999, Electron. Trans. Artif. Intell..

[43]  Samuel Madden,et al.  ZStream: a cost-based query processor for adaptively detecting composite events , 2009, SIGMOD Conference.

[44]  Fabio Grandi,et al.  T-SPARQL: A TSQL2-like Temporal Query Language for RDF , 2010, ADBIS.

[45]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[46]  Onkar B. Walavalkar,et al.  Streaming Knowledge Bases , 2007 .

[47]  Claudio Gutiérrez,et al.  Introducing Time into RDF , 2007, IEEE Transactions on Knowledge and Data Engineering.

[48]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.