Extending OWL with Finite Automata Constraints