Ian Horrocks

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Template:Short description Script error: No such module "For". Template:EngvarB Template:Use dmy dates Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters". Ian Robert Horrocks Template:Post-nominals[1] is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford.[2] His research[3][4][5] focuses on knowledge representation and reasoning, particularly ontology languages,[6] description logic and optimised tableaux decision procedures.[7][8][9]

Education

Horrocks completed his Bachelor of Science (BSc), Master of Science (MSc)[10] and PhD[11] degrees in the Department of Computer Science at the University of Manchester.[12]

Research and career

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++,[13] HermiT[14][15][16] and Pellet.[17]

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)[18] Consortium, the National Cancer Institute (NCI) in America, the United Nations (UN) Food and Agriculture Organization (FAO), the World Wide Web Consortium (W3C) [19] and a range of major corporations and government agencies.[1]

His research is partly funded by the Engineering and Physical Sciences Research Council (EPSRC).[20]

Horrocks served as editor-in-chief of Journal of Web Semantics from 2012[21] 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.[22] Horrocks also served as program chair of the 1st International Semantic Web Conference (ISWC) in 2002[23] and as the general chair of ISWC 2010.[24]

Awards and honours

In 2020 Horrocks was awarded the BCS Lovelace Medal in recognition of his significant contribution to the advancement of reasoning systems.[25]

Horrocks was elected a Fellow of the Royal Society (FRS) in 2011[1] and won the Roger Needham Award of the British Computer Society (BCS) in 2005.[26]

Oxford Semantic Technologies

In 2017 Horrocks co-founded the University spin-off Oxford Semantic Technologies Limited[27] with two of his colleagues; Bernardo Cuenca Grau and Boris Motik.[28]

References

<templatestyles src="Reflist/styles.css" />

  1. ↑ a b c Script error: No such module "citation/CS1". One or more of the preceding sentences incorporates text from the royalsociety.org website where: <templatestyles src="Template:Blockquote/styles.css" />

    “All text published under the heading 'Biography' on Fellow profile pages is available under Creative Commons Attribution 4.0 International License.” --Template:Webarchive

    Script error: No such module "Check for unknown parameters".
  2. ↑ Template:Official URL
  3. ↑ Template:Google scholar id
  4. ↑ Template:EuropePMC
  5. ↑ Template:First word Template:PAGENAMEBASE at DBLP Bibliography ServerTemplate:EditAtWikidata
  6. ↑ Script error: No such module "Citation/CS1".
  7. ↑ Template:Scopus id
  8. ↑ Template:ACMPortal
  9. ↑ Script error: No such module "Citation/CS1".
  10. ↑ Template:Cite thesis
  11. ↑ Template:Cite thesis
  12. ↑ Cite error: Script error: No such module "Namespace detect".Script error: No such module "Namespace detect".
  13. ↑ Script error: No such module "citation/CS1".
  14. ↑ Script error: No such module "citation/CS1".
  15. ↑ Script error: No such module "Citation/CS1".
  16. ↑ Script error: No such module "citation/CS1".
  17. ↑ Script error: No such module "Citation/CS1".
  18. ↑ Script error: No such module "citation/CS1".
  19. ↑ Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)
  20. ↑ UK Government research grants awarded to Ian Horrocks Template:Webarchive, via Research Councils UK
  21. ↑ Script error: No such module "citation/CS1".
  22. ↑ Script error: No such module "Citation/CS1".
  23. ↑ Script error: No such module "citation/CS1".
  24. ↑ International Semantic Web Conference 2010, Organization. Retrieved 4 May 2023.
  25. ↑ Cite error: Script error: No such module "Namespace detect".Script error: No such module "Namespace detect".
  26. ↑ Cite error: Script error: No such module "Namespace detect".Script error: No such module "Namespace detect".
  27. ↑ Script error: No such module "citation/CS1".
  28. ↑ Script error: No such module "citation/CS1".

Script error: No such module "Check for unknown parameters".

Template:FRS 2011 Template:Authority control

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Ian_Horrocks&oldid=3991631"