« Ian Horrocks » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
Pautard (discuter | contributions)
866 637 modifications
m il crée
Monsieur AZ (discuter | contributions)
37 modifications
→‎Recherche : mise à jour des activités éditoriales et comité ISWC, largement inspirée des dernières modifs de la version anglaise
Ligne 49 : Ligne 49 :
}}</ref>.
}}</ref>.


Horrocks est l'un des trois [[rédacteur en chef|rédacteurs en chef]] du ''Journal of Web Semantics''<ref>
Horrocks a été l'un des [[rédacteur en chef|rédacteurs en chef]] du ''Journal of Web Semantics''<ref>
[http://journalofwebsemantics.blogspot.co.uk/2012/07/ian-horrocks-appointed-editor-in-chief.html Ian Horrocks appointed editor in chief of the Journal of Web Semantics], 1 July 2012</ref> et a été président du comité de programme de l' International Semantic Web Conference (ISWC) de 2010 à Shanghai<ref>[http://iswc2010.semanticweb.org/node/5.html Organization]</ref>. Il a été président de la ''Semantics Web Science Association'' (SWSA)<ref name="home"/>.
[http://journalofwebsemantics.blogspot.co.uk/2012/07/ian-horrocks-appointed-editor-in-chief.html Ian Horrocks appointed editor in chief of the Journal of Web Semantics], 1 July 2012</ref> 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''<ref>[https://tgdk.org/board.html Transactions on Graph Data and Knowledge (TGDK), Editorial Board]. Retrieved 4 May 2023.</ref> ayant un modèle d'[[Libre_accès_(édition_scientifique)|accès libre]] [[Libre_accès_(édition_scientifique)#La_voie_diamantée|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<ref>{{cite book | editor-last1 = Horrocks | editor-first1 = Ian | editor-link1=Ian Horrocks | editor-last2 = Hendler | editor-first2 = James | editor-link2=James Hendler| doi = 10.1007/3-540-48005-6 | chapter = Front Matter | title = Proceedings of the 1st International Semantic Web Conference – ISWC '02 | year = 2002 | isbn = 3-540-43760-6 | chapter-url = https://link.springer.com/content/pdf/bfm:978-3-540-48005-1/1?pdf=chapter%20toc | publisher = Springer | series= Lecture Notes in Computer Science | volume=2342}}</ref> et président général de celle de 2010 à Shanghai<ref>[http://iswc2010.semanticweb.org/node/5.html International Semantic Web Conference 2010, Organization] Accédé le 5 mai 2023.</ref>. Il a été président de la ''Semantics Web Science Association'' (SWSA)<ref name="home"/>.


== Prix et distinctions ==
== Prix et distinctions ==

Version du 5 mai 2023 à 09:58

Ian Horrocks
Ian Horrocks en 2007
Biographie
Naissance
Voir et modifier les données sur Wikidata (66 ans)
LiverpoolVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Royal Society ()
Academia Europaea ()
UK Computing Research Committee (d)Voir et modifier les données sur Wikidata
Site web
Distinction

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

Carrière

Horrocks obtient son baccalauréat ès sciences (BSc), sa 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], la logique de description et les procédures de décision par tableaux optimisés[4].

Son travail sur le raisonnement en tableau pour des logiques de description très expressives est à la base de systèmes de raisonnement logique de description utilisés aujourd'hui, y compris 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)[11] 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)[12].

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.. Le but est d'appliquer ses recherches dans l'industrie et, ce faisant, il crée le graphe de connaissances et le raisonnement sémantique hautes performances, RDFox[13], un outil de raisonnement sémantique et de gestion de graphes de connaissances hautes performances qui se distingue par son approche unique de gestion en mémoire et son soutien académique.

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

Horrocks a été l'un des rédacteurs en chef du Journal of Web Semantics[15] 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[16] 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[17] et président général de celle de 2010 à Shanghai[18]. Il a été président de la Semantics Web Science Association (SWSA)[2].

Prix et distinctions

En 2020, Horrocks reçoit la médaille 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. ↑ a b et c Anonymous, « Professor Ian Horrocks », Royal Society, .
  2. ↑ a et b 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. ↑ Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)
  12. ↑ « UK Government research grants awarded to Ian Horrocks », Research Councils UK.
  13. ↑ « Product RDFox », www.oxfordsemantic.tech (consulté le ).
  14. ↑ 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)
  15. ↑ Ian Horrocks appointed editor in chief of the Journal of Web Semantics, 1 July 2012
  16. ↑ Transactions on Graph Data and Knowledge (TGDK), Editorial Board. Retrieved 4 May 2023.
  17. ↑ (en) Proceedings of the 1st International Semantic Web Conference – ISWC '02, vol. 2342, Springer, coll. « Lecture Notes in Computer Science », (ISBN 3-540-43760-6, DOI 10.1007/3-540-48005-6), « Front Matter »
  18. ↑ International Semantic Web Conference 2010, Organization Accédé le 5 mai 2023.

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Ian_Horrocks&oldid=203975513 ».