Christian Halaschek-Wiener Yarden Katz Belief Base Revision for Expressive Description Logics. 2006 OWLED http://ceur-ws.org/Vol-216/submission_21.pdf conf/owled/2006 db/conf/owled/owled2006.html#Halaschek-WienerK06