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.