Search papers, labs, and topics across Lattice.
This paper introduces novel semantics for incremental reasoning over Description Logic Abox streams, addressing the challenges of high data velocity, real-time requirements, and data volatility. The proposed semantics enable incremental computation of materializations over sliding windows, building upon previous window states. Furthermore, the paper presents inconsistency repair semantics based on preferred repair semantics to handle the volatile nature of streams, alongside semi-naive algorithms for incremental materialization maintenance in OWL2 RL, both with and without inconsistencies.
Stream reasoning just got more robust: new semantics and algorithms enable incremental, inconsistency-resilient reasoning over Description Logic ABox streams.
More and more, data is being produced in a streaming fashion. This has led to increased interest into how actionable insights can be extracted in real time from data streams through Stream Reasoning. Reasoning over data streams raises multiple challenges, notably the high velocity of data, the real time requirement of the reasoning, and the noisy and volatile nature of streams. This paper proposes novel semantics for incremental reasoning over streams of Description Logic ABoxes, in order to tackle these challenges. To address the first two challenges, our semantics for reasoning over sliding windows on streams allow for incrementally computing the materialization of the window based on the materialization of the previous window. Furthermore, to deal with the volatile nature of streams, we present novel semantics for inconsistency repair on such windows, based on preferred repair semantics. We then detail our proposed semi-naive algorithms for incremental materialization maintenance in the case of OWL2 RL, both in the presence of inconsistencies and without.
