Paper 158 (Research track)

The Semantics of a Description Logic Event Processing Query Language

Author(s): Riccardo Tommasini, Pieter Bonte, Emanuele Della Valle, Femke Ongenae, Filip De Turck

Abstract: Stream Reasoning (SR) envisioned, investigated and proved the possibility to make sense of heterogeneous streaming data. SR requires techniques for querying and reasoning over time and, recently, approaches for reasoning about time. In our previous work, we proposed a more expressive stream reasoning framework called Description Logics Event Processing (DELP). DELP combines Complex Event Processing (CEP) and Description Logics (DL) to perform reasoning over time and about time. In this work, we investigate the foundational aspects of DELP. We define the query model, we provide a formal semantics that combines DL and a suitable temporal logic, i.e., DatalogMTL, and we explain DELP evaluation function.

Keywords: Complex Event Processing; Description Logics; Expressive stream reasoning; Temporal Logic

Leave a Reply

Your email address will not be published. Required fields are marked *