Repairing ABoxes through Active Integrity Constraints

Christos Rantsoudis (1) , Guillaume Feuillade (1) , Andreas Herzig (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

In the literature of database repairing, active integrity constraints have provided a means of restoring integrity through a set of preferred update actions. While this is a known issue in the database community, it has not yet been directly applied to description logics. In this paper, we extend description logic TBoxes by a similar set of preferred actions and tackle the problem of ABox repairing by taking into account the new "active" TBox. For this, a mainly syntactic approach is explored and a further, dynamic logic oriented, semantic approach is suggested and briefly previewed.

Mots clés: Active integrity constraints; ABox repair; Description logic

Domaines: Base de données [cs.DB]; Logique en informatique [cs.LO]

Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig. Repairing ABoxes through Active Integrity Constraints. 30th International Workshop on Description Logics (DL 2017), Jul 2017, Montpellier, France. pp.1-13. ⟨hal-02064232⟩