Access Restriction

Author Feuillade, Guillaume ♦ Herzig, Andreas ♦ Rantsoudis, Christos
Source Hyper Articles en Ligne (HAL)
Content type Text
File Format PDF
Language English
Subject Keyword ABox Repairs ♦ Active Constraints ♦ Dynamic Logic ♦ info ♦ Computer Science [cs]/Logic in Computer Science [cs.LO]
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.
Educational Use Research
Learning Resource Type Proceeding
Publisher Date 2018-01-01
Volume Number 2211
Page Count 13
Starting Page 1
Ending Page 13