On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution

Evolution of Knowledge Bases expressed in Description Logics (DLs) proved its importance. Most studies on evolution in DLs have focused on modelbased 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 DLLite 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.

• Type: Journal
• Year: 2011
• Where: DLOG
• Authors: Evgeny Kharlamov, Dmitriy Zheleznyakov
• Keywords: Automated Reasoning, Description Logics, DLOG 2011, Knowledge Bases, Semantics