Plan-based axiom absorption for tableau-based description logics reasoning