Sciweavers

Share
DLOG
2011

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

8 years 10 months ago
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.
Evgeny Kharlamov, Dmitriy Zheleznyakov
Added 27 Aug 2011
Updated 27 Aug 2011
Type Journal
Year 2011
Where DLOG
Authors Evgeny Kharlamov, Dmitriy Zheleznyakov
Comments (0)
books