Efficient Reasoning Algorithms For Fragments Of Horn Description Logics