Repairing ABoxes through Active Integrity Constraints.

In the literature of database repairing, 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.