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 293kB |
Official URL: http://ceur-ws.org/Vol-2211/paper-17.pdf
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.
| 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 - INPT (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) |
| Laboratory name: | |
| Statistics: | download |
| Deposited By: | IRIT IRIT |
| Deposited On: | 15 May 2019 09:29 |
Repository Staff Only: item control page
