Mathieu Roger Ana Simonet Michel Simonet Toward Updates in Description Logics. 2002 conf/krdb/2002 KRDB http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-54/KRDB-Roger.pdf db/conf/krdb/krdb2002.html#RogerSS02