After several years as a
lecturer, senior lecturer,
reader then Professor in Manchester, Horrocks moved to the University of Oxford in 2008. His work on tableau reasoning for very expressive description logics has formed the basis of most description logic reasoning systems in use today, including Racer, FaCT++, HermiT and Pellet. Horrocks was jointly responsible for development of the OIL and
DAML+OIL ontology languages, and he played a central role in the development of the
Web Ontology Language (OWL). These languages and associated tools have been used by
Open Biomedical Ontologies (OBO) Consortium, the
National Cancer Institute (NCI) in America, the
United Nations (UN)
Food and Agriculture Organization (FAO), the
World Wide Web Consortium (W3C) and a range of major corporations and government agencies. Horrocks served as
editor-in-chief of
Journal of Web Semantics from 2012 until late 2022. Together with the other editors-in-chief at the time, he resigned from his position at the
Elsevier journal, and became editor-in-chief of the newly founded
diamond open access journal
Transactions on Graph Data and Knowledge. Horrocks also served as program chair of the 1st
International Semantic Web Conference (ISWC) in 2002 and as the general chair of ISWC 2010.
Awards and honours In 2020 Horrocks was awarded the
BCS Lovelace Medal in recognition of his significant contribution to the advancement of
reasoning systems. with two of his colleagues; Bernardo Cuenca Grau and Boris Motik. ==References==