Automata-based Axiom Pinpointing