SHOP2-based hierarchichal planner backed by an OWL 2 reasoner, Pellet.