解决带时间区间的DatalogMTL逻辑规则矛盾问题
Inconsistency Handling in DatalogMTL
- 定义冲突与修复的数学概念，给出一致性恢复的理论框架
- 分析生成单一冲突/修复及查询蕴含的计算复杂度
- 适合逻辑推理与时序知识库研究者阅读
本文研究了带有度量时序算子的DatalogMTL中不一致性的处理问题。由于事实关联时间区间，当其与规则冲突时，可通过删除事实或修改时间区间来恢复一致性。本文首次定义了该场景下的冲突（不一致性的最小解释）与修复（恢复一致性的可能方式）概念，并研究了其性质及相关的容错语义。第二项贡献是对生成单个冲突/修复以及基于修复语义的查询蕴含任务的数据复杂度分析。
原文摘要 · Abstract (English)
In this paper, we explore the issue of inconsistency handling in DatalogMTL, an extension of Datalog with metric temporal operators. Since facts are associated with time intervals, there are different manners to restore consistency when they contradict the rules, such as removing facts or modifying their time intervals. Our first contribution is the definition of relevant notions of conflicts (minimal explanations for inconsistency) and repairs (possible ways of restoring consistency) for this setting and the study of the properties of these notions and the associated inconsistency-tolerant semantics. Our second contribution is a data complexity analysis of the tasks of generating a single conflict / repair and query entailment under repair-based semantics.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。