On Prototypes for Winslett's Semantics of DL−Lite ABox Evolution
Evgeny Kharlamov, Dmitriy Zheleznyakov · 2011
Abstract. Evolution of Knowledge Bases expressed in Description Logics (DLs) proved its importance. Most studies on evolution in DLs have focused on model-based approaches to evolution semantics and in particular on Winslett’s semantics (WS). It was understood that evolution under WS even in tractable DLs, such as DL-Lite, suffers from inexpressibility, i.e., the result of evolution cannot be expressed in the same logics. In this work we show which combination of DL-Lite logical constructs is responsible for the inexpressibility and explain reasons for such a behaviour. We present novel techniques, based on what we called prototypes, to capture Winslett’s evolution in FO[2] for DL-LiteR. We also discuss which fragments of DL-LiteR are closed under evolution. 1