Updating Description Logic ABoxes
Institut für Theoretische Informatik TU Dresden, Hongkai Liu, Carsten Lutz, Institut für Theoretische Informatik TU Dresden, Maja Miličić, Institut für Theoretische Informatik TU Dresden, Frank Wolter · 2005
Aus dem Abstract: Description logic (DL) ABoxes are a tool for describing the state of affairs in an application domain. In this paper, we consider the problem of updating ABoxes when the state changes. We assume that changes are described at an atomic level, i.e., in terms of possibly negated ABox assertions that involve only atomic concepts and roles. We analyze such basic ABox updates in several standard DLs by investigating whether the updated ABox can be expressed in these DLs and, if so, whether it is computable and what is its size.