Ian Horrocks
Base: UK


Ian is a professor of Computer Science at the University of Oxford. His research focuses on areas including knowledge representation, ontologies and ontology languages, modal and description logics, automated reasoning, implementation and optimization of reasoning systems, and applications in areas such as e-Science, the Semantic Web and artificial intelligence.

He is a highly influential computer scientist with over 34,000 citations to his publications. His work has formed the basis of most description logic reasoning systems in use today and he has played a central role in the development of various important ontology languages. These languages and associated tools have been used by the National Cancer Institute in America, the United Nations Food and Agriculture Organization, the World Wide Web Consortium and a range of major corporations and other government agencies.

In 2011 he was elected a Fellow of the Royal Society.

He received his Ph.D. in Computer Science from the University of Manchester.

Ian Horrocks