Sebastian Brandt Jörg Model Subsumption in w.r.t. Hybrid TBoxes. 34-48 2005 conf/ki/2005 KI http://dx.doi.org/10.1007/11551263_5 db/conf/ki/ki2005.html#BrandtM05