Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity