Skip to Main content Skip to Navigation
Conference papers

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

Abstract : 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 constraints 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.
Complete list of metadata
Contributor : Andreas Herzig Connect in order to contact the contributor
Submitted on : Friday, November 20, 2020 - 9:19:33 AM
Last modification on : Wednesday, November 3, 2021 - 6:52:45 AM


Files produced by the author(s)


  • HAL Id : hal-03015763, version 1


Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis. Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes. 33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10. ⟨hal-03015763⟩



Record views


Files downloads