Skip to Main content Skip to Navigation
Conference papers

Repairing ABoxes through Active Integrity Constraints

Christos Rantsoudis 1 Guillaume Feuillade 1 Andreas Herzig 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, March 11, 2019 - 5:10:35 PM
Last modification on : Wednesday, November 18, 2020 - 10:30:21 AM
Long-term archiving on: : Wednesday, June 12, 2019 - 6:34:17 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads