Downward Refinement of Hierarchical Datalog Theories