フランク・ヴァン・ハルメレン

フランク・ヴァン・ハルメレン
生まれる	1960年（63～64歳）
母校	エディンバラ大学
科学者としてのキャリア
フィールド	セマンティックウェブ[1]
機関	アムステルダム自由大学
論文	メタレベル推論の効率性について （1989）
学術アドバイザー	アラン・バンディ[2]
Webサイト	www.cs.vu.nl/~frankh twitter.com/FrankVanHarmele

フランク・ファン・ハルメレン（1960年生まれ）はオランダのコンピュータ科学者であり、アムステルダム自由大学のAI部門の知識表現と推論の教授である。彼はLarKCプロジェクト（2008-2011）の科学ディレクターを務め、^{[3] 「非常に大規模な}セマンティックウェブ推論のプラットフォームであるLarge Knowledge Colliderの開発を目指していた。」^{[4] [5] [6]}

アムステルダムで数学とコンピュータサイエンスを学んだ後、ヴァン・ハルメレンはエディンバラ大学の人工知能学部に移り、1989年にメタレベル推論に関する研究で博士号を取得した。エディンバラ在学中、彼は「エキスパートシステム用のロジックベースのツールキットを共同開発し、アラン・バンディとともに帰納的定理証明の証明計画に取り組んだ」^{[2] [4] 。}

博士研究の後、アムステルダムに戻り、1990年から1995年までSWI部門でボブ・ウィリンガ教授の下で、エキスパートシステムにおけるリフレクションの使用、知識ベースシステムのためのCommonKADS方法論の正式な基盤について研究した。1995年にアムステルダム自由大学のAI研究グループに参加し、最初のセマンティックウェブプロジェクトの1つであるOn-To-Knowledgeプロジェクトの共同リーダーとなった。2002年に教授に任命され、知識表現および推論グループを率いている。現在は、非常に大規模なセマンティックウェブ推論のプラットフォームであるLarge Knowledge Colliderの開発を目指すLarKCプロジェクトの科学ディレクターを務めている。 [ ^4]

ファン・ハルメレンは2017年にオランダ王立芸術科学アカデミーの会員に選出された。^{[7] [8]}

2019年、ヴァン・ハルメレンはオランダ教育文化科学省からハイブリッドインテリジェンスセンターのためにZwaartekracht助成金を受け取った^[9]

Van Harmelen の研究対象には、人工知能、知識表現とセマンティック ウェブ、近似推論、医療プロトコルなどがあります。彼は、Web Ontology Language (OWL) とOntology Inference Layer (OIL)の共同設計者の 1 人で あり、メタレベル推論、知識ベース システム、セマンティック ウェブに関する書籍を出版しています。

ヴァン・ハルメレンは数冊の本と100以上の研究論文を出版している。^[6]著書：

• 1989年「論理ベースの知識表現」。P. Jackson、H. Reichgelt共著。MIT Press、マサチューセッツ州ケンブリッジ、1989年。ISBN 0-262-10038  -X。
• 1991年メタレベル推論システム F. van Harmelen. AIに関する研究ノート。Pitmann、Morgan Kaufmann、ロンドン、サンマテオ、カリフォルニア、1991年。ISBN 1-55860-196-1 
• 2003.セマンティック ウェブに向けて: オントロジー駆動型知識管理John Davies および Dieter Fensel (編) John Wiley & Sons、2002、ISBN 0-470-84867-7 
• 2004.セマンティック ウェブ入門 (協調情報システム) 。グリゴリス アントニオウと共著。MIT プレス。ISBN 0-262-01210-3 
• 2004.セマンティック ウェブ上の情報共有。Heiner Stuckenschmidt と共著。Springer。ISBN 3-540-20594-2 
• 2008.知識表現ハンドブック。V. Lifschitz、B. Porter共著、Elsevier、2008年。ISBN 978-0-444-52211-5。 

記事、抜粋:

• ヴィンク、J.ケッペンス、PCJM。ファン・ハーメレン、FA;ヴァン・フォールトハイセン、ウィスコンシン州（1981）。 「コンピュータ制御下のガスクロマトグラフ質量分析計を使用した日常的な定量分析のための柔軟なデータ処理」。自動化学ジャーナル。3（2）：85～88。土井：10.1155/S1463924681000242。PMC  2547295。PMID  18927785。
• レナーデル・デ・ラヴァレット、GR;グロエンブーム、R.ロッテルダム、E.ヴァン・ハーメレン、F.テン・テイジェ、A.デ・ジェウス、F. (1997)。 「麻酔科における意思決定支援の形式化」。医療における人工知能。11 (3): 189–214。CiteSeerX  10.1.1.78.2673。土居：10.1016/S0933-3657(97)00031-6。PMID  9413606。
• ヴォルブレグト、A.テン・テイジェ、A.ヴァン・ハーメレン、F.ヴァン・ダー・レイ、J.モッズベルト、M. (1999)。 「臨床手順の開発方法論である PROforma の研究」。医療における人工知能。17 (2): 195–221。CiteSeerX  10.1.1.27.2892。土井：10.1016/S0933-3657(99)00016-0。PMID  10518051。
• Korotkiy, M.; Middelburg, R.; Dekker, H.; Van Harmelen, F.; Lankelma, J. (2004). 「データソースを組み合わせて遺伝子発現に基づく PubMed 検索を行うツール」(PDF) .バイオインフォマティクス. 20 (12): 1980–1982. doi : 10.1093/bioinformatics/bth183 . PMID  15044238.
• バルザー、M.コルテル、O.ヴァン・クルーネンボーグ、J.デュエリ、C.ヴァン・ハーメレン、F.ジョベル、A.ルーカス、P.マルコス、M.ミクシュ、Ｓ．リーフ、W.ローゼンブランド、K.セイファン、A.テン・テイジェ、A. (2004)。 「プロトキュア: 正式な方法による医療プロトコルの開発をサポート」。医療技術と情報学の研究。101：103～107。PMID  15537209。
• テン・テイジェ、A.マルコス、M.バルザー、M.ヴァン・クルーネンボーグ、J.デュエリ、C.ヴァン・ハーメレン、F.ルーカス、P.ミクシュ、Ｓ．リーフ、W.ローゼンブランド、K.セイファン、A. (2006)。 「正式な方法による医療プロトコルの改善」。医療における人工知能。36 (3): 193–209。CiteSeerX  10.1.1.71.3147。土井：10.1016/j.artmed.2005.10.006。PMID  16376061。S2CID 1938327  。
• Serban, R.; Ten Teije, A.; Van Harmelen, F.; Marcos, M.; Polo-Conde, C. (2007). 「医療ガイドラインのモデリングのための言語パターンの抽出と使用」。人工知能と医療。39 (2): 137–149。doi :10.1016/ j.artmed.2006.07.012。PMID 16963241  。
• グルート、P.ホマーソン、A.ルーカス、PJF。メルク、RJ;テン・テイジェ、A.ヴァン・ハーメレン、F.セルバン、R. (2009)。 「臨床ガイドラインに基づいた批評のためのモデルチェックの使用」。医療における人工知能。46 (1): 19-36。土井：10.1016/j.artmed.2008.07.007。hdl : 2066/72379。PMID  18824335。

• セマンティックウェブに関するフランク・ヴァン・ハルメレン氏へのインタビュー
• Frank van Harmelen が書いたブログ、2008 年 6 月 15 日にWayback Machineにアーカイブ