DatalogMTL 中的不一致性处理
Inconsistency Handling in DatalogMTL
AI总结：
本文研究 DatalogMTL 的不一致处理，形式化定义冲突、修复及容忍不一致语义，并分析冲突/修复生成与修复语义下查询蕴涵的数据复杂度。
摘要：
本文探讨 DatalogMTL 中的不一致性处理问题，DatalogMTL 是 Datalog 的一种扩展，加入了度量时序算子。由于事实与时间区间相关联，当事实与规则相矛盾时，可以采用不同方式恢复一致性，例如删除事实或修改其时间区间。我们的第一项贡献是，针对该场景定义了冲突（不一致性的最小解释）和修复（恢复一致性的可能方式）的相关概念，并研究这些概念的性质以及相关的容忍不一致性语义。第二项贡献是对生成单个冲突/修复的任务，以及在基于修复的语义下的查询蕴涵进行数据复杂度分析。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
