Hongkai Liu Carsten Lutz Maja Milicic Frank Wolter Updating Description Logic ABoxes. 46-56 2006 conf/kr/2006 KR db/conf/kr/kr2006.html#LiuLMW06