Incremental, inconsistency-resilient reasoning over Description Logic Abox streams

Researchers propose new methods for real-time reasoning over streaming data using Description Logic, addressing challenges of high-velocity data processing and inconsistency handling. The work introduces incremental algorithms for maintaining data materialization over sliding windows, with applications in OWL2 RL reasoning systems.

• →Novel semantics developed for incremental reasoning over streams of Description Logic ABoxes to handle high-velocity data.
• →Proposed algorithms enable real-time computation by incrementally updating materializations based on previous window results.
• →New inconsistency repair semantics introduced to handle volatile and noisy stream data.
• →Semi-naive algorithms detailed for incremental materialization maintenance in OWL2 RL systems.
• →Research addresses core challenges in stream reasoning including velocity, real-time requirements, and data volatility.