Sergio Tessaris Ian Horrocks Graham Gough Evaluating a Modular Abox Algorithm. 227-238 2002 conf/kr/2002 KR db/conf/kr/kr2002.html#TessarisHG02