Sebastian Brandt On Subsumption and Instance Problem in ELH w.r.t. General TBoxes. 2004 conf/dlog/2004 Description Logics http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/03Brandt-final.pdf db/conf/dlog/dlog2004.html#Brandt04