Jiewen Wu, Volker Haarslev: Planning of Axiom Absorption. Description Logics 2008