Ian Horrocks

Ian Horrocks FRS
Ian Horrocks
Born	Ian Robert Horrocks (1958-03-11) 11 March 1958 Liverpool
Nationality	British
Alma mater	University of Manchester (BSc, MSc, PhD)
Known for	Description Logic Web Ontology Language
Awards	BCS Lovelace Medal (2020). Roger Needham Award (2005)
Scientific career
Fields	Semantic Web Ontologies Knowledge Representation Artificial intelligence Logic in computer science
Institutions	University of Oxford Oriel College, Oxford University of Manchester
Thesis	Optimising tableaux decision procedures for description logics (1997)

Website	www.cs.ox.ac.uk/people/ian.horrocks

Ian Robert Horrocks FRS is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.