H Liu,
C Lutz, M Miličić,
F Wolter - Artificial Intelligence, 2011 - Elsevier
In description logic (DL), ABoxes are used for describing the state of affairs in an application
domain. We consider the problem of updating ABoxes when the state changes, assuming …