A Stream Reasoning System for Maritime Monitoring

We present a stream reasoning system for monitoring vessel activity in large geographical areas. The system ingests a compressed vessel position stream, and performs online spatio-temporal link discovery to calculate proximity relations between vessels, and topological relations between vessel and static areas. Capitalizing on the discovered relations, a complex activity recognition engine, based on the Event Calculus, performs continuous pattern matching to detect various types of dangerous, suspicious and potentially illegal vessel activity. We evaluate the performance of the system by means of real datasets including kinematic messages from vessels, and demonstrate the effects of the highly efficient spatio-temporal link discovery on performance.

[1]  Adrian Paschke.  ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics , 2006, ArXiv.

[2]  Axel-Cyrille Ngonga Ngomo,et al.  ORCHID - Reduction-Ratio-Optimal Computation of Geo-spatial Distances for Link Discovery , 2013, SEMWEB.

[3]  Murray Shanahan,et al.  Some Alternative Formulations of the Event Calculus , 2002, Computational Logic: Logic Programming and Beyond.

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

[5]  Sören Auer,et al.  LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data , 2011, IJCAI.

[6]  Nikos Pelekis,et al.  Online event recognition from moving vessel trajectories , 2016, GeoInformatica.

[7]  Angelo Montanari,et al.  A calculus of macro-events: progress report , 2000, Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000.

[8]  Thomas Eiter,et al.  LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract) , 2015, SOFSEM.

[9]  Axel-Cyrille Ngonga Ngomo,et al.  Radon - Rapid Discovery of Topological Relations , 2017, AAAI.

[10]  Alessandro Margara,et al.  Processing flows of information: From data stream to complex event processing , 2012, CSUR.

[11]  Christophe Dousson,et al.  Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization , 2007, IJCAI.

[12]  Anastasios Skarlatidis,et al.  Probabilistic Complex Event Recognition: A Survey , 2017 .

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

[14]  Markus Nentwig,et al.  A survey of current Link Discovery frameworks , 2016, Semantic Web.

[15]  Martin Bichler,et al.  Knowledge representation concepts for automated SLA management , 2006, Decis. Support Syst..

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

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

[18]  Paola Mello,et al.  Monitoring business constraints with the event calculus , 2013, ACM Trans. Intell. Syst. Technol..

[19]  Robert Isele,et al.  Efficient Multidimensional Blocking for Link Discovery without losing Recall , 2011, WebDB.

[20]  Aldo Napoli,et al.  The automatic identification system of maritime accident risk using rule-based reasoning , 2012, 2012 7th International Conference on System of Systems Engineering (SoSE).

[21]  Alexander Artikis,et al.  Executable specification of open multi-agent systems , 2010, Log. J. IGPL.