Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2020 International Workshop on Description Logics  
In the database literature it has been proposed to resort to active integrity constraints in order to restore database integrity. Such active integrity constraints consist of a classical integrity constraint together with a set of preferred update actions that can be triggered when the constraint is violated. In this overview paper we start by reviewing the main repairing routes that have been proposed in the literature. We do so from the perspective of Dynamic Logic, viewing active integrity
more » ... nstraints as programs that test whether a constraint is violated and if so perform appropriate update actions. We then discuss how these ideas can be adapted to Description Logics. We assume extensions of TBox axioms by update actions that denote the preferred ways an ABox should be repaired in case of inconsistency with the axioms of the TBox. The extension of the TBox axioms with these update actions constitute new, active TBoxes.
dblp:conf/dlog/FeuilladeHR20 fatcat:y5my73cbcrcy5cbqzjsw4s5kqm