Ian Horrocks

För den brittiska Royal Air Force-helikopterpiloten, se Ian Horrocks (RAF-officer) .

Ian Horrocks FRS
Ian Horrocks
Född	Ian Robert Horrocks ( 1958-03-11 ) 11 mars 1958 Liverpool
Nationalitet	brittisk
Alma mater	University of Manchester (BSc, MSc, PhD)
Känd för	Beskrivning Logik Språk för webbontologi
Utmärkelser	BCS Lovelace Medal (2020). Roger Needham Award (2005)
Vetenskaplig karriär
Fält	Semantisk webb Ontologier Kunskapsrepresentation Artificiell intelligens Logik i datavetenskap
institutioner	Oxfords universitet Oriel College, Oxford University of Manchester
Avhandling	Optimering av tablåbeslutsprocedurer för beskrivningslogik ( 1997)
Hemsida	cs .ox .ac .uk /ian .horrocks

Ian Robert Horrocks FRS är professor i datavetenskap vid University of Oxford i Storbritannien och Fellow vid Oriel College, Oxford . Hans forskning fokuserar på kunskapsrepresentation och resonemang , särskilt ontologispråk , beskrivningslogik och optimerade tablåbeslutsprocedurer .

Utbildning

Horrocks avslutade sin Bachelor of Science (BSc), Master of Science (MSc) och doktorsexamen vid Institutionen för datavetenskap vid University of Manchester .

Forskning och karriär

Efter flera år som föreläsare, universitetslektor, läsare sedan professor i Manchester, flyttade Horrocks till University of Oxford 2008. Hans arbete med tablåresonemang för mycket uttrycksfulla beskrivningslogiker har legat till grund för de flesta resonemangssystem för beskrivningslogik som används idag, inklusive Racer, FaCT++, HermiT och Pellet.

Horrocks var gemensamt ansvarig för utvecklingen av ontologispråken OIL och DAML+OIL , och han spelade en central roll i utvecklingen av Web Ontology Language (OWL). Dessa språk och tillhörande verktyg har använts av Open Biomedical Ontologies (OBO) Consortium, National Cancer Institute (NCI) i Amerika, FN :s livsmedels- och jordbruksorganisation (FAO), World Wide Web Consortium (W3C) och en rad stora företag och statliga myndigheter.

Hans forskning är delvis finansierad av Engineering and Physical Sciences Research Council ( EPSRC).

Horrocks är nuvarande chefredaktör för Journal of Web Semantics och har fungerat som programordförande för International Semantic Web Conference ( ISWC).

Utmärkelser och utmärkelser

År 2020 tilldelades Horrocks BCS Lovelace Medal som ett erkännande för hans betydande bidrag till utvecklingen av resonemangssystem .

Horrocks valdes till Fellow of the Royal Society (FRS) 2011 och vann Roger Needham Award från British Computer Society (BCS) 2005.

Oxford Semantic Technologies

2017 var Horrocks med och grundade Oxford University tech spin-out Oxford Semantic Technologies Ltd. tillsammans med två andra Oxford-professorer. Syftet var att tillämpa sin forskning inom industrin och skapade därigenom den högpresterande kunskapsgrafen och semantiska resonemangen , RDFox – som kännetecknas av sin unika minnesmetod och akademiska stöd.