OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Dynamic Extension of ALCO for Repairing via Preferred Updates

Feuillade, Guillaume and Herzig, Andreas and Rantsoudis, Christos A Dynamic Extension of ALCO for Repairing via Preferred Updates. (2018) In: International Workshop on Description Logics (DL workshop 2018), 27 October 2018 - 29 October 2018 (Tempe, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://ceur-ws.org/Vol-2211/paper-17.pdf


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to CEUR editor, a free open-access publication service of Sun SITE Central Europe operated under the umbrella of RWTH Aachen University. This paper appears in paper 17, vol. 2211 Ceur Workshop Proceedings ISSN : 1613-0073 The definitive version is available at http://ceur-ws.org/Vol-2211/
HAL Id:hal-02147891
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:15 May 2019 09:29

Repository Staff Only: item control page