License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2018.20
URN: urn:nbn:de:0030-drops-97858
Go to the corresponding LIPIcs Volume Portal

Santipantakis, Georgios M. ; Vlachou, Akrivi ; Doulkeridis, Christos ; Artikis, Alexander ; Kontopoulos, Ioannis ; Vouros, George A.

A Stream Reasoning System for Maritime Monitoring

LIPIcs-TIME-2018-20.pdf (0.7 MB)


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.

BibTeX - Entry

  author =	{Georgios M. Santipantakis and Akrivi Vlachou and Christos Doulkeridis and Alexander Artikis and Ioannis Kontopoulos and George A. Vouros},
  title =	{{A Stream Reasoning System for Maritime Monitoring}},
  booktitle =	{25th International Symposium on Temporal Representation  and Reasoning (TIME 2018)},
  pages =	{20:1--20:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-089-7},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{120},
  editor =	{Natasha Alechina and Kjetil N{\o}rv{\aa}g and Wojciech Penczek},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-97858},
  doi =		{10.4230/LIPIcs.TIME.2018.20},
  annote =	{Keywords: event pattern matching, Event Calculus}

Keywords: event pattern matching, Event Calculus
Collection: 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)
Issue Date: 2018
Date of publication: 08.10.2018

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI