Ian Horrocks: Standardizing OWL