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.
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...