Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

Résumé

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.
Fichier principal
Vignette du fichier
invited-1.pdf (379.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03015763 , version 1 (20-11-2020)

Identifiants

  • HAL Id : hal-03015763 , version 1

Citer

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⟩
106 Consultations
74 Téléchargements

Partager

More