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.

• Publication year

  2026

• Venue

  Unknown venue

• Publication date

  2026-03-02

• Fields of study

  Computer Science

• Identifiers
  arXiv 2603.01799
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Grounding Stream Reasoning Research

  2024cited by this paper
• Ontology-mediated query answering over temporal and inconsistent data

  2019cited by this paper
• Expressive Stream Reasoning with Laser

  2017cited by this paper
• An Introduction to Description Logic

  2017cited by this paper
• Stream reasoning: A survey and outlook

  2017cited by this paper
• How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases?

  2015cited by this paper
• Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics

  2014influential reference
• Incremental Reasoning on RDF Streams

  2014influential reference
• OWL 2 Web Ontology Language Primer (Second Edition)

  2012cited by this paper
• Enabling Query Technologies for the Semantic Sensor Web

  2012cited by this paper
• A Native and Adaptive Approach for Unified Processing of Linked Streams and Linked Data

  2011cited by this paper
• Inconsistency-Tolerant Semantics for Description Logics

  2010cited by this paper
• Incremental Reasoning on Streams and Rich Background Knowledge

  2010cited by this paper
• C-SPARQL: SPARQL for continuous querying

  2009influential reference
• It's a Streaming World! Reasoning upon Rapidly Changing Information

  2009cited by this paper
• Data Complexity of Query Answering in Description Logics

  2006cited by this paper
• Data Complexity of Reasoning in Very Expressive Description Logics

  2005cited by this paper
• How to roll a join: asynchronous incremental view maintenance

  2000cited by this paper
• Incremental maintenance of views with duplicates

  1995cited by this paper
• Deriving Production Rules for Incremental View Maintenance

  1991cited by this paper
• Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence On the Complexity of Dealing with Inconsistency in Description Logic Ontologies

  year unknowncited by this paper

• No citing papers are available for this paper.