Hybrid Reasoning of Terminological Cycles in Description Logic εL