DaQuaTa International Workshop 2017

Lyon, France - December, 11-12 , 2017

DaQuaTa International Workshop 2017

Abdallah Arioua

"Interactive Repairing of Inconsistent Knowledge Bases"

Repairing techniques for relational databases have leveraged integrity constraints to detect and then resolve errors in the data. User guidance has started to be employed in this setting to avoid a prohibitory exploration of the search space of solutions. In this talk, I present a user-guided repairing technique for Knowledge Bases (KBs) enabling updates suggested by the users to resolve errors. KBs exhibit more expressive constraints with respect to relational tables, such as tuple-generating dependencies (TGDs) and negative rules (a form of denial constraints). We consider TGDs and a notable subset of denial constraints, named contradiction detecting dependencies (CDDs). We propose user-guided polynomial-delay algorithms that ensure the repairing of the KB in the extreme cases of interaction among these two classes of constraints. We show the results of an extensive experimental study on synthetically generated KBs and a real-world inconsistent KB equipped with TGDs and CDDs. We discuss the practicality of our proposed interactive strategies by measuring the actual delay time and the number of questions required in our interactive framework.