Ian Horrocks

For the British Royal Air Force helicopter pilot, see Ian Horrocks (RAF officer).

Ian Horrocks
FRS
Ian Horrocks
Born
Ian Robert Horrocks

(1958-03-11) 11 March 1958 (age 66)[4]
Liverpool
NationalityBritish
Alma materUniversity of Manchester (BSc, MSc, PhD)
Known for
AwardsBCS Lovelace Medal (2020).[1] Roger Needham Award (2005)[2]
Scientific career
Fields
Institutions
ThesisOptimising tableaux decision procedures for description logics (1997)
Websitewww.cs.ox.ac.uk/people/ian.horrocks Edit this at Wikidata

Ian Robert Horrocks FRS[6] is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford.[7] His research[3][8][9] focuses on knowledge representation and reasoning, particularly ontology languages,[10] description logic and optimised tableaux decision procedures.[11][12][13]

  1. ^ "BCS Lovelace Medal 2020: Reasoning Systems | BCS". bcs.org. Retrieved 1 October 2021.
  2. ^ Professor Ian Horrocks, Roger Needham award winners, via the British Computer Society
  3. ^ a b Ian Horrocks publications indexed by Google Scholar Edit this at Wikidata
  4. ^ Anon (2014). "Horrocks, Prof. Ian Robert". Who's Who (online edition via Oxford University Press ed.). A & C Black. doi:10.1093/ww/9780199540884.013.U250633. (Subscription or UK public library membership required.)
  5. ^ Grosof, B. N.; Horrocks, I.; Volz, R.; Decker, S. (2003). "Description logic programs". Proceedings of the twelfth international conference on World Wide Web – WWW '03. p. 48. doi:10.1145/775152.775160. ISBN 978-1581136807. S2CID 6381308.
  6. ^ Anon (2011). "Professor Ian Horrocks". royalsociety.org. Royal Society. One or more of the preceding sentences incorporates text from the royalsociety.org website where:

    “All text published under the heading 'Biography' on Fellow profile pages is available under Creative Commons Attribution 4.0 International License.” --Royal Society Terms, conditions and policies at the Wayback Machine (archived 2016-11-11)
  7. ^ www.cs.ox.ac.uk/people/ian.horrocks Edit this at Wikidata
  8. ^ Ian Horrocks publications from Europe PubMed Central
  9. ^ Ian Horrocks at DBLP Bibliography Server Edit this at Wikidata
  10. ^ Horrocks, I.; Patel-Schneider, Peter; van Harmelen, Frank (2003). "From SHIQ and RDF to OWL: The making of a Web Ontology Language" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. 1: 7–26. CiteSeerX 10.1.1.2.7039. doi:10.1016/j.websem.2003.07.001. S2CID 8277015.
  11. ^ Ian Horrocks publications indexed by the Scopus bibliographic database. (subscription required)
  12. ^ Ian Horrocks author profile page at the ACM Digital Library
  13. ^ Atzenbeck, C. (2009). "Interview with Ian Horrocks". ACM SIGWEB Newsletter. 2009: 1–4. doi:10.1145/1592394.1592396. S2CID 7868854.