Christian Halaschek-Wiener Bijan Parsia Evren Sirin Aditya Kalyanpur Description Logic Reasoning for Dynamic ABoxes. 2006 conf/dlog/2006 Description Logics http://www.ceur-ws.org/Vol-189/submission_27.pdf db/conf/dlog/dlog2006.html#Halaschek-WienerPSK06