Loading article…
イアン・ホロックス | |
|---|---|
 イアン・ホロックス | |
| 生まれる | イアン・ロバート・ホロックス 1958年3月11日[4] |
| 国籍 | イギリス |
| 母校 | マンチェスター大学（BSc、MSc、PhD） |
| 知られている | |
| 受賞歴 | BCSラブレースメダル（2020年）。[1] ロジャーニーダム賞（2005年）[2] |
| 科学者としてのキャリア | |
| フィールド | |
| 機関 | |
| 論文 | 記述ロジックのためのタブロー決定手順の最適化 (1997) |
| Webサイト | www.cs.ox.ac.uk/people/ian.horrocks |
イアン・ロバート・ホロックス FRS [6]は、英国オックスフォード大学のコンピュータサイエンスの教授であり、オックスフォード大学オリオル・カレッジのフェローです。[7]彼の研究[3] [8] [9]は、知識表現と推論、特にオントロジー言語、[10]記述論理、最適化されたタブロー決定手順に焦点を当てています。[11] [12] [13]
教育
ホロックスはマンチェスター大学コンピュータサイエンス学部で理学士（BSc）、理学修士（MSc）[14]、博士号[15]を取得しました。[4]
研究とキャリア
マンチェスターで数年間講師、上級講師、講師、教授を務めた後、ホロックスは2008年にオックスフォード大学に移りました。非常に表現力豊かな記述論理のためのタブロー推論に関する彼の研究は、Racer、FaCT++、[16] HermiT [17] [18] [19]およびPellet [20]など、現在使用されているほとんどの記述論理推論システムの基礎となっています。
ホロックスは、OILおよびDAML+OILオントロジー言語の開発に共同で責任を負い、ウェブオントロジー言語（OWL）の開発において中心的な役割を果たしました。これらの言語と関連ツールは、オープンバイオメディカルオントロジー（OBO）[21]コンソーシアム、アメリカの国立癌研究所（NCI）、国連食糧農業機関（FAO ）、ワールドワイドウェブコンソーシアム（W3C）[22]、およびさまざまな大手企業や政府機関で使用されています。[6]
彼の研究は工学物理科学研究評議会（EPSRC）によって部分的に資金提供されている。[23]
ホロックスは2012年から2022年後半までJournal of Web Semanticsの編集長を務めた[24]。当時の他の編集長とともにエルゼビア誌の職を辞し、新設されたダイヤモンドオープンアクセスジャーナルTransactions on Graph Data and Knowledgeの編集長に就任した[25]。ホロックスはまた、2002年に第1回国際セマンティックウェブ会議（ISWC）のプログラム委員長を務め[26]、ISWC 2010ではゼネラルチェアを務めた[27]。
受賞と栄誉
2020年、ホロックスは推論システムの進歩への多大な貢献が認められ、BCSラブレスメダルを受賞しました。[1]
ホロックスは2011年に王立協会フェロー（FRS）に選出され[6]、2005年には英国コンピュータ協会（BCS）のロジャー・ニーダム賞を受賞した。 [2]
オックスフォード セマンティック テクノロジーズ
2017年、ホロックスは同僚のベルナルド・クエンカ・グラウとボリス・モティックと共に大学のスピンオフ企業であるオックスフォード・セマンティック・テクノロジーズ・リミテッド[28]を設立した。 [29]
参考文献
- ^ ab “BCS Lovelace Medal 2020: Reasoning Systems | BCS”. bcs.org . 2021年10月1日閲覧。
- ^ abイアン・ホロックス教授、ロジャー・ニーダム賞受賞者、 英国コンピュータ協会経由
- ^ ab Ian Horrocks の出版物はGoogle Scholarにインデックスされています
- ^ ab Anon (2014). 「Horrocks, Prof. Ian Robert」 . Who's Who (オックスフォード大学出版局によるオンライン版 ). A & C Black. doi :10.1093/ww/9780199540884.013.U250633. (定期購読または英国の公共図書館の会員登録が必要です。)
- ^ Grosof, BN; Horrocks, I.; Volz, R.; Decker, S. ( 2003). 「記述論理プログラム」。第 12 回 World Wide Web 国際会議 WWW '03 の議事録。p. 48。doi :10.1145/ 775152.775160。ISBN 978-1581136807. S2CID 6381308。
- ^ abc Anon (2011). 「イアン・ホロックス教授」. royalsociety.org .王立協会.前述の文の 1 つ以上には、royalsociety.org Web サイトからのテキストが組み込まれています。
「フェロープロフィールページの「経歴」という見出しの下に公開されているすべてのテキストは、クリエイティブ・コモンズ表示4.0国際ライセンスの下で利用可能です。」 - 王立協会利用規約、条件、ポリシーはウェイバックマシンで公開されています（2016年11月11日アーカイブ）
- ^ www.cs.ox.ac.uk/people/ian.horrocks
- ^ イアン・ホロックスのヨーロッパからの出版物 PubMed Central
- ^ DBLP書誌サーバーの Ian Horrocks
- ^ Horrocks, I.; Patel-Schneider, Peter; van Harmelen, Frank (2003). 「SHIQ と RDF から OWL へ: Web オントロジー言語の作成」(PDF) . Web セマンティクス: World Wide Web 上の科学、サービス、エージェント. 1 : 7–26. CiteSeerX 10.1.1.2.7039 . doi :10.1016/j.websem.2003.07.001. S2CID 8277015.
- ^ Ian Horrocks の出版物はScopus書誌データベースに索引付けされています。(サブスクリプションが必要です)
- ^ ACMデジタル ライブラリの Ian Horrocks 著者プロフィール ページ
- ^ Atzenbeck, C. (2009). 「Ian Horrocks 氏へのインタビュー」ACM SIGWEB ニュースレター2009 : 1–4. doi :10.1145/1592394.1592396. S2CID 7868854.
- ^ Horrocks, Ian Robert (1995). 2つの用語知識表現システムの比較 (修士論文). マンチェスター大学. 2012年12月23日時点のオリジナルよりアーカイブ。
- ^ Horrocks, Ian Robert (1997). 記述ロジックのためのタブロー決定手順の最適化。manchester.ac.uk (博士論文)。マンチェスター大学。OCLC 644109415 。
- ^ Tsarkov, D.; Horrocks, I. (2006). 「FaCT++ 記述ロジック推論器: システム記述」(PDF) .自動推論. コンピュータサイエンスの講義ノート。第 4130 巻。pp. 292–297。CiteSeerX 10.1.1.65.2672 . doi : 10.1007 /11814771_26。ISBN 978-3-540-37187-8。
- ^ 「HermiT Reasoner: Home」 。 2011年7月2日閲覧。
- ^ B. Motik、R. Shearer、I . Horrocks (2009)。「記述ロジックのためのハイパータブロー推論」(PDF)。人工知能研究ジャーナル。36 :165–228。doi : 10.1613/ jair.2811。S2CID 190609 。
- ^ Motik, B.; Cuenca Grau, B.; Sattler, U. (2008). 「owl の構造化オブジェクト: 表現と推論」(PDF)。第 17 回 World Wide Web 国際会議 WWW '08 の議事録。p. 555。doi : 10.1145 /1367497.1367573。ISBN 9781605580852.S2CID 11221528 。
- ^ Sirin, E.; Parsia, B.; Grau, BC; Kalyanpur, A.; Katz, Y. (2007). 「Pellet: 実用的な OWL-DL 推論システム」(PDF) . Web セマンティクス: World Wide Web 上の科学、サービス、エージェント. 5 (2): 51–53. doi :10.1016/j.websem.2007.03.004. S2CID 101226. 2007 年 6 月 27 日時点のオリジナル(PDF)からアーカイブ。
- ^ Golbreich, C.; Horridge, M.; Horrocks, I.; Motik, B.; Shearer, R. (2007). 「OBO と OWL: 生命科学のためのセマンティック ウェブ技術の活用」(PDF) .セマンティック ウェブ. コンピュータ サイエンスの講義ノート。第 4825 巻。pp. 169–182。doi : 10.1007 /978-3-540-76298-0_13。ISBN 978-3-540-76297-3。
- ^ World Wide Web Consortium (W3C)の www-webont-wg メーリング リストにおける Ian Horrocks の紹介
- ^ 英国政府の研究助成金がイアン・ホロックスに授与された。Wayback Machineで 2014 年 8 月 8 日にアーカイブ。Research Councils UK経由。
- ^ 「イアン・ホロックスがJournal of Web Semanticsの編集長に任命」。blogspot.co.uk。2012年。
- ^ 「Transactions on Graph Data and Knowledge (TGDK)、編集委員会」tgdk.org。. 2023年5月4日閲覧。
- ^ Horrocks, Ian; Hendler, James編 (2002)。「Front Matter」。第 1 回国際セマンティック ウェブ カンファレンス (ISWC '02) の議事録。コンピュータ サイエンスの講義ノート。第 2342 巻。Springer。doi : 10.1007/ 3-540-48005-6。ISBN 3-540-43760-6. S2CID 27631564。
- ^ International Semantic Web Conference 2010、組織。2023年5月4日閲覧。
- ^ 「Oxford Semantic Technologies Limited」. oxfordsemantic.tech .
- ^ Anon (2017). 「Oxford Semantic Technologies Limited」. gov.uk . ロンドン: Companies House . 2023年7月26日時点のオリジナルよりアーカイブ。