Inconsistency Handling in DatalogMTL

要約

この論文では、メトリック時間演算子を持つDatalogの拡張であるDatalogmtlでの不一致の取り扱いの問題を調査します。
事実は時間間隔に関連しているため、事実を削除したり、時間間隔を変更したりするなど、ルールと矛盾するときに一貫性を回復するための異なるマナーがあります。
私たちの最初の貢献は、この設定のための紛争の関連概念（不一致の最小限の説明）と修理（一貫性を回復する可能性のある方法）の定義と、これらの概念の特性と関連する矛盾耐性のセマンティクスの研究です。
2番目の貢献は、修理ベースのセマンティクスの下での単一の競合 /修理とクエリの伴いを生成するタスクのデータ複雑さ分析です。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google