Practical Reasoning in Expressive Description Logic using Alternating Automata