Accueil🇫🇷Chercher

Ian Horrocks

Ian Robert Horrocks, né le à Liverpool, est un informaticien britannique, spécialiste de la représentation des connaissances et du raisonnement, en particulier les langages d'ontologie.

Ian Horrocks
Ian Horrocks en 2007
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Royal Society ()
Academia Europaea ()
UK Computing Research Committee (d)
Distinction

Carrière

Horrocks obtient son Bachelor of Science (baccalauréat ès sciences), son Master of Science (maîtrise ès sciences) (MSc) et son doctorat au département d'informatique de l'université de Manchester. Après plusieurs années en tant que lecteur, lecteur sénior, reader puis professeur à Manchester, Horrocks rejoint l'université d'Oxford en 2008[1] ; en 2023, il est professeur d'informatique à l'Université d'Oxford et Fellow de l'Oriel College[2].

Recherche

Ses recherches portent sur la représentation des connaissances et le raisonnement, en particulier les langages d'ontologie[3], les logiques de description et les procédures de décision par tableaux optimisés[4].

Son travail sur le raisonnement fondé sur les techniques de tableaux est à la base de la plupart des raisonneurs utilisés aujourd'hui pour les logiques de description expressives, dont Racer, FaCT++[5] HermiT[6] - [7] - [8] et Pellet[9].

Horrocks est coresponsable du développement des langages d'ontologie OIL et DAML+OIL, et il joue un rôle central dans le développement du Web Ontology Language (OWL). Ces langages et les outils associés sont utilisés par le consortium Open Biomedical Ontologies (OBO)[10], le National Cancer Institute (NCI) en Amérique, l'Organisation des Nations unies pour l'alimentation et l'agriculture (FAO), le World Wide Web Consortium (W3C) et une série de grandes entreprises et d'agences gouvernementales[1].

Ses recherches sont en partie financées par le Conseil de recherche en génie et en sciences physiques (EPSRC)[11].

En 2017, Horrocks cofonde, avec deux autres professeurs d'Oxford, une spin-off technologique de l'Université d'Oxford appelée Oxford Semantic Technologies Ltd. dont le but est d'appliquer ses recherches dans l'industrie. Ce faisant, il crée le moteur de raisonnement et de gestion de graphes de connaissances hautes performances, RDFox[12].

Il est coauteur du livre An Introduction to Description Logic[13].

Horrocks a été l'un des rédacteurs en chef du Journal of Web Semantics[14] de 2012 à 2022. Avec les autres rédacteurs en chef de l'époque, il a démissionné de son poste à la revue d'Elsevier pour devenir rédacteur en chef de la nouvelle revue Transactions on Graph Data and Knowledge[15] ayant un modèle d' accès libre diamanté. Horrocks a aussi été président du comité de programme de la première édition de l'International Semantic Web Conference (ISWC) en 2002[16] et président général de celle de 2010 à Shanghai[17]. Il a été président de la Semantics Web Science Association (SWSA)[2].

Prix et distinctions

En 2020, Horrocks reçoit la Médaille Lovelace « en reconnaissance de sa contribution significative à l'avancement des systèmes de raisonnement ».

Horrocks est Ă©lu membre de la Royal Society (FRS) en 2011[1] et il obtient le prix Roger Needham de la British Computer Society (BCS) en 2005.

Références
  1. Anonymous, « Professor Ian Horrocks », Royal Society, .
  2. http://www.cs.ox.ac.uk/people/ian.horrocks/ Page de Ian Horrocks à l'Université d'Oxford.
  3. Ian Horrocks, Peter Patel-Schneider et Frank van Harmelen, « From SHIQ and RDF to OWL: The making of a Web Ontology Language », Journal of Web Semantics, vol. 1,‎ , p. 7–26 (DOI 10.1016/j.websem.2003.07.001, lire en ligne).
  4. Claus Atzenbeck, « Interview with Ian Horrocks », ACM SIGWEB Newsletter,‎ , p. 1–4 (DOI 10.1145/1592394.1592396, S2CID 7868854).
  5. Dmitry Tsarkov et Ian Horrocks, IJCAR 2006: Automated Reasoning, vol. 4130, coll. « Lecture Notes in Computer Science », (DOI 10.1007/11814771_26), « FaCT++ Description Logic Reasoner: System Description », p. 292–297.
  6. « HermiT Reasoner: Home » (consulté le )
  7. Boris Motik, Rob Shearer et Ian Horrocks, « Hypertableau Reasoning for Description Logics », Journal of Artificial Intelligence Research, vol. 36,‎ , p. 165–228 (DOI 10.1613/jair.2811, S2CID 190609, lire en ligne)
  8. Boris Motik, Bernardo Cuenca Grau et Ulrike Sattler, « Structured objects in owl: representation and reasoning », Proceedings of the 17th international conference on World Wide Web – WWW '08,‎ , p. 555-564 (ISBN 9781605580852, DOI 10.1145/1367497.1367573, S2CID 11221528).
  9. Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau et Adtiya Kalyanpur, « Pellet: A practical OWL-DL reasoner », Journal of Web Semantics, vol. 5, no 2,‎ , p. 51–53 (DOI 10.1016/j.websem.2007.03.004, lire en ligne [archive du ]) .
  10. C. Golbreich, M. Horridge, I. Horrocks, B. Motik et Shearer, « OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences », Lecture Notes in Computer Science, vol. 4825 « The Semantic Web »,‎ , p. 169–182 (ISBN 978-3-540-76297-3, DOI 10.1007/978-3-540-76298-0_13).
  11. « UK Government research grants awarded to Ian Horrocks », Research Councils UK.
  12. « Product RDFox », www.oxfordsemantic.tech (consulté le ).
  13. Franz Baader, Ian Horrocks, Carsten Lutz et Uli Sattler, An Introduction to Description Logic, Cambridge, Cambridge University Press, , vii+ 255 (ISBN 978-0-521-69542-8, zbMATH 1373.68002, présentation en ligne)
  14. Ian Horrocks appointed editor in chief of the Journal of Web Semantics, 1er juillet 2012
  15. « Transactions on Graph Data and Knowledge (TGDK), Editorial Board » (consulté le ).
  16. Ian Horrocks et James Hendler (éditeurs), Proceedings of the 1st International Semantic Web Conference – ISWC '02, Springer, coll. « Lecture Notes in Computer Science » (no 2342), (ISBN 3-540-43760-6, DOI 10.1007/3-540-48005-6, lire en ligne), « Front Matter ».
  17. « Transactions on Graph Data and Knowledge (TGDK), Editorial Board » (consulté le ).

Liens externes
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.