Ian Horrocks

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 de la représentation des connaissances et du raisonnement, en particulier les langages d'ontologie.

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. ↑ 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. ↑ « UK Government research grants awarded to Ian Horrocks », Research Councils UK.
  12. ↑ « Product RDFox », www.oxfordsemantic.tech (consulté le ).
  13. ↑ Franz Baader, Ian Horrocks, Lutz Carsten et Ulrike 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

Read other articles:

Worcester City Hospital

Hospital in Massachusetts, United StatesWorcester City HospitalFormer Worcester City Hospital CampusGeographyLocation26 Queen Street, Worcester, Massachusetts, United StatesCoordinates42°15′33″N 71°48′54″W / 42.259265°N 71.814977°W / 42.259265; -71.814977HistoryOpened1871Closed1991LinksListsHospitals in Massachusetts Worcester City Hospital was a public hospital in Worcester, Massachusetts from 1871 to 1991. It was established by an act of the Massachusetts...

 

Tsurubebi

ilustrasi Tsurubebi (sesuatu seperti bola api yang jatuh dari pohon) yang ditemukan di dalam Gazu Hyakki Yakō bertahun 1781 Tsurubebi (Jepang: 釣瓶火code: ja is deprecated ) adalah yokai dalam cerita rakyat Jepang yang sering dijumpai di pepohonan jenis konifera di pedalaman hutan Pulau Shikoku dan Kyushu. Menurut legenda tsurubebi adalah roh pohon yang muncul di pelosok-pelosok hutan pada malam hari. Mereka diilustrasikan berbentuk bola api berwarna putih kebiruan yang bergelantungan nai...

 

Monestier-du-Percy

Monestier-du-Percy Administration Pays France Région Auvergne-Rhône-Alpes Département Isère Arrondissement Grenoble Intercommunalité Communauté de communes du Trièves Maire Mandat Robert Cuchet 2020-2026 Code postal 38930 Code commune 38243 Démographie Populationmunicipale 248 hab. (2021 ) Densité 17 hab./km2 Géographie Coordonnées 44° 47′ 42″ nord, 5° 39′ 34″ est Altitude 804 mMin. 597 mMax. 1 896 m Superficie ...

Walnut Ridge Air Force Station

Closed United States Air Force General Surveillance Radar station This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (December 2012) (Learn how and when to remove this message) Walnut Ridge Air Force Station Part of Air Defense Command (ADC)Walnut Ridge AFSLocation of Walnut Ridge AFS, ArkansasCoordinates36°07′48″N 090°55′09″W / 36.13000...

 

Reynolds v Times Newspapers Ltd

Leading English defamation case of 1999 Reynolds v Times Newspapers LtdCourtHouse of LordsFull case nameReynolds v Times Newspapers Ltd and Others Decided1999Citation(s)[1999] UKHL 45, [1999] 4 All ER 609, [2001] 2 AC 127Case historyPrior action(s)[1998] EMLR 723[1998] 3 WLR 862Subsequent action(s)[2001] 2 AC 127 (HL)Court membershipJudge(s) sittingCourt of Appeal: Lord Bingham of Cornhill CJ, Hirst and Robert Walker LJJ House of Lords: Lord Nicholls of Birkenhead, Lord Hope of Craighead, Lor...

 

Progress M-18M

Spacecraft that resupplied the International Space Station in 2013 Progress M-18MProgress M-18M approaches the ISS on 11 February 2013.Mission typeISS resupplyOperatorRoskosmosCOSPAR ID2013-007A SATCAT no.39082Mission duration165 days Spacecraft propertiesSpacecraft typeProgress-M s/n 418ManufacturerRKK EnergiaLaunch mass6950 kg Start of missionLaunch date11 February 2013, 14:41:46 UTCRocketSoyuz-ULaunch siteBaikonur, Site 1/5 End of missionDisposalDeorbitedDecay date26 July 2013, 00:42 UTC O...

土库曼斯坦总统

土库曼斯坦总统土库曼斯坦国徽土库曼斯坦总统旗現任谢尔达尔·别尔德穆哈梅多夫自2022年3月19日官邸阿什哈巴德总统府（Oguzkhan Presidential Palace）機關所在地阿什哈巴德任命者直接选举任期7年，可连选连任首任萨帕尔穆拉特·尼亚佐夫设立1991年10月27日 土库曼斯坦土库曼斯坦政府与政治 国家政府 土库曼斯坦宪法 国旗 国徽 国歌 立法機關（英语：National Council of Turkmenistan） ...

 

Austin Aztex U23

Soccer clubAustin Aztex U23Full nameAustin Aztex U23 Football ClubNickname(s)AztexFounded2007Dissolved2009GroundDragon StadiumCapacity8,800Owner, Head Coach Phil RawlinsManager Wolfgang SuhnholzLeagueUSL Premier Development League20093rd, Mid SouthPlayoff Divisional Semifinals Home colors Away colors Austin Aztex U23 was an American soccer team based in Round Rock, Texas, United States. Founded in 2007, the team played in the USL Premier Development League (PDL),[1][2] the fou...

 

Suhendri M.

Suhendri M. Kepala Pusat Keuangan ABRIMasa jabatan11 Januari 1996 – 19 November 1996PendahuluI Made KeranaPenggantiSantoso YuwonoDirektur Keuangan Angkatan DaratMasa jabatan1993–1995PendahuluI Made KeranaPenggantiSantoso Yuwono Informasi pribadiAlma materAkademi Militer (1964)Karier militerPihak IndonesiaDinas/cabang TNI Angkatan DaratMasa dinas1964—1996Pangkat Brigadir Jenderal TNISatuanKeuangan (CKU)Sunting kotak info • L • B Brigadir Jenderal TNI (Pur...

José Bustani

Brazilian diplomat José Maurício Bustani, 2003. José Maurício de Figueiredo Bustani (born June 5, 1945) is a Brazilian diplomat who was the first director-general of the Organisation for the Prohibition of Chemical Weapons until he was ousted after pressure from the US government in April 2002 over disagreements about how to address Iraq's alleged weapons of mass destruction. Career Born in Porto Velho, Rondônia, he received his law degree from the Pontifical Catholic University of Rio d...

 

KKMV

Radio station in Rupert, IdahoKKMVRupert, IdahoBroadcast areaMagic ValleyFrequency106.1 MHzBrandingKat Kountry 106ProgrammingFormatCountryAffiliationsPremiere NetworksWestwood OneOwnershipOwnerLee Family BroadcastingSister stationsKART, KBAR, KEDJ, KKRK, KXTA-FM, KZDXHistoryFirst air dateJuly 30, 1979(first license granted)Call sign meaningKat Kountry Magic ValleyTechnical informationFacility ID67744ClassC0ERP25,000 wattsHAAT761 metersTransmitter coordinates42°20′6″N 113°36′15″W...

 

Dani Sordo

Spanish rally driver (born 1983) In this Spanish name, the first or paternal surname is Sordo and the second or maternal family name is Castillo. Dani SordoSordo in 2014Personal informationNationality SpanishFull nameDaniel Sordo CastilloBorn (1983-05-02) 2 May 1983 (age 41)Puente San Miguel, CantabriaWorld Rally Championship recordActive years2003–presentTeamsKronos Citroën, Citroën, Mini, Ford, HyundaiRallies182Championships0Rally wins3Podiums54Stage wins219Total p...

Comanche language

Uto-Aztecan language spoken by the Comanche people in the United States ComancheNʉmʉ Tekwapʉ̲Pronunciation[ˈnɨmɨ ˈtekʷapɨ̥]Native toUnited StatesRegionOklahoma (formerly, Texas, New Mexico, Kansas, Colorado, Oklahoma)EthnicityComancheNative speakers<9 (2022)[1]Language familyUto-Aztecan NumicCentral NumicComancheLanguage codesISO 639-3comGlottologcoma1245ELPComancheLinguasphere65-AAB-bhFormer distribution of the Comanche language.Comanche is classified as Sever...

 

Mike Johanns

American politician (born 1950) Mike JohannsOfficial portrait, 2009United States Senatorfrom NebraskaIn officeJanuary 3, 2009 – January 3, 2015Preceded byChuck HagelSucceeded byBen Sasse28th United States Secretary of AgricultureIn officeJanuary 21, 2005 – September 20, 2007PresidentGeorge W. BushPreceded byAnn VenemanSucceeded byEd Schafer38th Governor of NebraskaIn officeJanuary 7, 1999 – January 20, 2005LieutenantDavid MaurstadDave HeinemanPreceded byBen Ne...

 

السياحة في كرواتيا

تُعد السياحة في كرواتيا واحدة من أكثر [1] الوجهات السياحية في العالم جاذبية فهي تحتل المركز 18 على مستوى العالم من حيث الشعبية. وتمتاز كرواتيا بتنوع وتعدد منتجعاتها التي تقدم العديد من خدمات العلاج والرفاهية، كما تحتوي على معالم السياحة الجماعية إلى الأسواق المتخصصة وم�...

Abu Mansur al-Baghdadi

Abū Manṣūr al-Baghdādī Informasi pribadiLahirca 980Bagdad[1]Meninggal429 H (1037/1038 M)[1](umur ca 56–57)Isfarain[1]AgamaIslamEtnisArabDenominasiSunniMazhabShafi'i[1]KredoAsh'ari[2][3]PekerjaanMatematikawan Abū Manṣūr ʿAbdul-Qāhir bin Ṭāhir bin Muḥammad bin ʿAbdullāh al-Tamīmī al-Shāfiʿī al-Baghdādī (bahasa Arab: أبو منصور عبدالقاهر ابن طاهر بن محمد بن عبدالله التميمي...

 

Eredivisie 2013–2014

EredivisieMusim2013–14JuaraAjaxgelar ke-33DegradasiRoda JCLiga ChampionsAjaxFeyenoordLiga EropaPEC ZwolleTwenteJumlah pertandingan306Jumlah gol978 (3,2 per pertandingan)Pencetak golterbanyak Alfreð Finnbogason (29 gol)Tak kalahberuntun terpanjang21 pertandinganAjax← 2012-13 2014-15 → Eredivisie 2013-14 merupakan liga utama Belanda yang memasuki kompetisi ke 58. Ajax sebagai juara bertahan di musim sebelumnya. Kompetisi ini akan dimulai tanggal 02 Agustus 2013 dan berakhir tanggal ...

 

Boxing at the 1996 Summer Olympics

Boxing competitions Boxingat the Games of the XXVI OlympiadDates20 July-4 August 1996Competitors355 from 97 nations← 19922000 → Boxing at the1996 Summer OlympicsLight flyweightFlyweightBantamweightFeatherweightLightweightLight welterweightWelterweightLight middleweightMiddleweightLight heavyweightHeavyweightSuper heavyweightvte Boxing at the 1996 Summer Olympics took place in the Alexander Memorial Coliseum in Atlanta. The boxing schedule began on 20 July and e...

Branching fraction

Fraction of total particles in a sample which decay by a given mode In particle physics and nuclear physics, the branching fraction (or branching ratio) for a decay is the fraction of particles which decay by an individual decay mode or with respect to the total number of particles which decay. It applies to either the radioactive decay of atoms or the decay of elementary particles.[1] It is equal to the ratio of the partial decay constant to the overall decay constant. Sometimes a pa...

 

Sarah Siddons

Welsh-born actress (1755–1831) For other uses, see Sarah Siddons (disambiguation). Sarah Siddons1785 portrait by Thomas GainsboroughBornSarah Kemble(1755-07-05)5 July 1755Brecon, WalesDied8 June 1831(1831-06-08) (aged 75)London, EnglandResting placeSaint Mary's Cemetery, Paddington Green, London, EnglandOccupationActressSpouseWilliam SiddonsChildren7, including Henry SiddonsParent(s)Roger KembleSarah WardRelativesKemble family Sarah Siddons (née Kemble; 5 July 1755 – 8 June 1831) ...