A Translation of Alternating Automata to Description Logics