Ian Horrocks    (1RYO)

Professor Ian Horrocks

Professor of Computer Science
Fellow, Oriel College
University of Oxford
Oxford, UK

email: ian.horrocks [at] cs.ox.ac.uk    (1RYP)

See: http://www.comlab.ox.ac.uk/people/ian.horrocks/    (1RYQ)

Ian Horrocks is a Professor in the Oxford University Computing Laboratory where he jointly (with Georg Gottlob) leads the Information Systems Group. His research interests include knowledge representation, ontologies and ontology languages, modal and description logics, automated reasoning, implementation and optimisation of reasoning systems, and applications in areas such as e-Science and the Semantic Web. He was centrally involved in the development of the OIL, DAML+OIL and OWL ontology languages, and was co-chair of the W3C Working Group that recently developed OWL 2. He also developed algorithms and implementation techniques that are employed in many reasoning systems, and implemented the well known FaCT system in which many of these algorithms and implementations techniques were first deployed. He has published more than 150 articles in conferences, journals and books (see http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/complete.html), many of which are highly cited, and has given more than 40 keynote and invited talks. He is a BCS Fellow, an ECCAI Fellow, an EPSRC Senior Research Fellow and a past winner of the BCS Roger Needham award.    (1RYR)

See also:    (2F35)