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