Rantsoudis, Christos and Feuillade, Guillaume
and Herzig, Andreas
Repairing ABoxes through Active Integrity Constraints.
(2017)
In: 30th International Workshop on Description Logics (DL workshop 2017), 18 July 2017 - 21 July 2017 (Montpellier, France).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 199kB |
Official URL: http://ceur-ws.org/Vol-1879/paper41.pdf
Abstract
In the literature of database repairing, active integrity constraints have provided a means of restoring integrity through a set of preferred update actions. While this is a known issue in the database community, it has not yet been directly applied to description logics. In this paper, we extend description logic TBoxes by a similar set of preferred actions and tackle the problem of ABox repairing by taking into account the new "active" TBox. For this, a mainly syntactic approach is explored and a further, dynamic logic oriented, semantic approach is suggested and briefly previewed.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
HAL Id: | hal-02064232 |
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: | |
Statistics: | download |
Deposited On: | 20 Feb 2019 10:21 |
Repository Staff Only: item control page