Inconsistency Handling in DatalogMTL
Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki

TL;DR
This paper addresses inconsistency management in DatalogMTL, proposing notions of conflicts and repairs, and analyzing the data complexity of generating repairs and query entailment.
Contribution
It introduces formal notions of conflicts and repairs in DatalogMTL and studies their properties and associated semantics.
Findings
Defined conflict and repair notions for DatalogMTL
Analyzed properties of inconsistency-tolerant semantics
Performed data complexity analysis of repair generation and query entailment
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Data Quality and Management · Advanced Database Systems and Queries
