Repairing ABoxes through Active Integrity Constraints - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Repairing ABoxes through Active Integrity Constraints


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.
Fichier principal
Vignette du fichier
rantsoudis_22739.pdf (195.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02064232 , version 1 (11-03-2019)




  • HAL Id : hal-02064232 , version 1
  • OATAO : 22739


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⟩
51 View
65 Download


Gmail Facebook X LinkedIn More