A Dynamic Extension of ALCO for Repairing via Preferred Updates - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

A Dynamic Extension of ALCO for Repairing via Preferred Updates

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 constraint together with a set of preferred update actions that can be triggered when the constraint is violated. In this paper, we adapt this idea to Description Logics: we extend TBox axioms by a set of preferred updates of atomic concepts. We resort to a dynamic logic framework in order to provide an account of active TBox-based ABox repairs.
Fichier principal
Vignette du fichier
feuillade_22589.pdf (286.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02147891 , version 1 (05-06-2019)

Identifiants

  • HAL Id : hal-02147891 , version 1

Citer

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis. A Dynamic Extension of ALCO for Repairing via Preferred Updates. International Workshop on Description Logics (DL workshop 2018), Oct 2018, Tempe, United States. pp.1-13. ⟨hal-02147891⟩
50 Consultations
25 Téléchargements

Partager

More