Skip to Main content Skip to Navigation
Conference papers

A Dynamic Extension of ALCO for Repairing via Preferred Updates

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

Cited literature [21 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, June 5, 2019 - 10:07:59 AM
Last modification on : Tuesday, September 15, 2020 - 2:08:05 PM


Files produced by the author(s)


  • HAL Id : hal-02147891, version 1
  • OATAO : 22589


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⟩



Record views


Files downloads