Professor Ian Horrocks has been a Fellow at Oriel since 2007.
Professor Horrocks leads a research group at the Oxford University Department of Computer Science working in the area of Knowledge Representation and Reasoning, and in particular on the development of logic based ontology languages and reasoning systems to support ontology engineering applications, for example the development of ontologies for use in biomedical research and patient record systems. The department is also very active in the development of ontology languages for the Semantic Web, and Professor Horrocks co-chairs the World Wide Web Consortium’s web ontology language working group.
For a list of recent publications, visit his departmental page.