Ian Horrocks

Ian Horrocks

FRS
Ian Horrocks; FRS
	Ian Horrocks
Born	Ian Robert Horrocks; 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.