Updating DLs Using the AGM Theory: A Preliminary Study
Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou · Description Logics · 2005
The problem of updating DL KBs in the face of new information has received inadequate attention in the relevant literature. We believe that the problem is not significantly different from the general problem of belief change, so one possible way of addressing it would be to migrate techniques from the belief change literature to DLs. This way, one could exploit more than 20 years of research regarding the “rationality” of belief change operators, since the concept of rationality is independent of the underlying knowledge representation scheme used. We follow this path by applying a generalized version of the AGM theory of contraction [1, 2] to DLs; the contribution of our current work is the determination of the applicability of the approach in several DLs. For more details, refer to [3].