arXiv:2505.10394v1 交叉公告类型: 摘要: 在本文中，我们探讨了 DatalogMTL 中的一致性处理问题，DatalogMTL 是一种带有度量时态操作符的 Datalog 扩展。由于事实与时间区间相关联，当它们与规则相矛盾时，存在不同的方法来恢复一致性，例如删除事实或将它们的时间区间修改。我们的第一个贡献是对这种情况下的一致性冲突（不一致的最小解释）和修复（恢复一致性的可能方式）的相关概念进行了定义，并研究了这些概念及其相关的一致性容忍语义的性质。我们的第二个贡献是对基于修复的语义下生成单个冲突/修复和查询蕴含的数据复杂性进行了分析。