On Prototypes for Winslett's Semantics of DL−Lite ABox Evolution - Kharlamov, E; Zheleznyakov, D (Proc. DL workshop, 2011)