Representation and Processing of Instantaneous and Durative Temporal Phenomena

Event definitions in Complex Event Processing systems are constrained by the expressiveness of each system’s language. Some systems allow the definition of instantaneous complex events, while others allow the definition of durative complex events. While there are exceptions that offer both options, they often lack of intervals relations such as those specified by the Allen’s interval algebra. In this paper, we propose a new logic based temporal phenomena definition language, specifically tailored for Complex Event Processing, that allows the representation of both instantaneous and durative phenomena and the temporal relations between them. Moreover, we demonstrate the expressiveness of our proposed language by employing a maritime use case where we define maritime events of interest. Finally, we analyse the execution semantics of our proposed language for stream processing and introduce the ‘Phenesthe’ implementation prototype.

[1]  Jeffrey J. P. Tsai,et al.  An event-based real-time logic to specify the behavior and timing properties of real-time systems , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.

[2]  E. Mueller Chapter 5 – The Commonsense Law of Inertia , 2015 .

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

[4]  Jan Chomicki,et al.  Temporal Query Languages: A Survey , 1994, ICTL.

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

[6]  Christian S. Jensen,et al.  Point-versus interval-based temporal data models , 1998, Proceedings 14th International Conference on Data Engineering.

[7]  Alexander Artikis,et al.  An Event Calculus for Event Recognition , 2015, IEEE Transactions on Knowledge and Data Engineering.

[8]  Valentin Goranko,et al.  Two-sorted Point-Interval Temporal Logics , 2011, M4M/LAMAS.

[9]  Pierfrancesco Bellini,et al.  Temporal logics for real-time system specification , 2000, CSUR.

[10]  Jean Roy,et al.  Rule-based expert system for maritime anomaly detection , 2010, Defense + Commercial Sensing.

[11]  Cyril Ray,et al.  Composite Event Recognition for Maritime Monitoring , 2019, DEBS.

[12]  Angelo Montanari,et al.  EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS , 1996, Comput. Intell..

[13]  Andreas Behrend,et al.  Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases , 2018, TIME.

[14]  Beatrice Lazzerini,et al.  Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming , 2019, GCAI.

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

[16]  Alessandro Margara,et al.  TESLA: a formally defined event specification language , 2010, DEBS '10.

[17]  Yuan Luo,et al.  Efficient Genomic Interval Queries Using Augmented Range Trees , 2018, Scientific Reports.

[18]  Clare Dixon,et al.  A misuse-based network Intrusion Detection System using Temporal Logic and stream processing , 2011, 2011 5th International Conference on Network and System Security.

[19]  Thomas Eiter,et al.  LARS: A Logic-Based Framework for Analyzing Reasoning over Streams , 2015, AAAI.

[20]  Sebastian Rudolph,et al.  Stream reasoning and complex event processing in ETALIS , 2012, Semantic Web.

[21]  Manfred Hauswirth,et al.  StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web , 2013, RR.