Automated Reasoning with OWL