描述逻辑Abox流的增量、容错推理
人工智能
2026-03-03 v1 计算机科学中的逻辑
摘要
越来越多的数据以流式方式产生。这导致日益关注如何通过流式推理实时从数据流中提取可操作性见解。对数据流进行推理带来多个挑战，包括数据高速、推理实时性要求以及数据流的嘈杂与波动性。本文为描述逻辑Abox流的增量推理提出新颖语义，以应对这些挑战。为解决前两个挑战，我们的语义允许在流的滑动窗口上进行推理，基于前一个窗口的物化结果，逐步计算窗口的物化。此外，针对数据流的波动性，本文提出了基于首选修复语义的窗口不一致修复新语义。我们详细描述了针对OWL2 RL的增量物化维护的半惰性算法，无论是否存在不一致。
引用
@article{arxiv.2603.01799,
title = {Incremental, inconsistency-resilient reasoning over Description Logic Abox streams},
author = {Cas Proost and Pieter Bonte},
journal= {arXiv preprint arXiv:2603.01799},
year = {2026}
}