Frank van Harmelen

Frank van Harmelen
Född	1960 (62–63 år)
Alma mater	University of Edinburgh
Vetenskaplig karriär
Fält	Semantisk webb
institutioner	Vrije Universiteit, Amsterdam
Avhandling	On the Efficiency of Meta-level Reasoning (1989)
Akademiska rådgivare	Alan Bundy
Hemsida	www .cs .vu .nl /~frankh twitter .com /FrankVanHarmele

Frank van Harmelen (född 1960) är en nederländsk datavetare och professor i kunskapsrepresentation och resonemang vid AI -avdelningen vid Vrije Universiteit Amsterdam . Han var vetenskaplig chef för LarKC-projektet (2008-2011), "som syftar till att utveckla Large Knowledge Collider, en plattform för mycket storskaliga semantiska webbresonemang ."

Biografi

Efter att ha studerat matematik och datavetenskap i Amsterdam, flyttade Van Harmelen till Institutionen för AI vid University of Edinburgh , där han tilldelades en doktorsexamen 1989 för sin forskning om resonemang på metanivå . Medan han var i Edinburgh, "samutvecklade han en logikbaserad verktygslåda för expertsystem och arbetade med Alan Bundy om bevisplanering för bevisning av induktiva teorem".

Efter sin doktorsexamen flyttade han tillbaka till Amsterdam där han arbetade från 1990 till 1995 på SWI-avdelningen under professor Bob Wielinga , med användningen av reflektion i expertsystem , på den formella grunden för CommonKADS-metodologin för kunskapsbaserade system. 1995 gick han med i AI-forskningsgruppen vid Vrije Universiteit Amsterdam , där han var med och ledde On-To-Knowledge-projektet, ett av de första semantiska webbprojekten. Han utsågs till professor 2002 och leder gruppen för kunskapsrepresentation och resonemang. För närvarande är han vetenskaplig chef för LarKC-projektet som syftar till att utveckla Large Knowledge Collider, en plattform för mycket storskaliga semantiska webbresonemang .

Van Harmelen valdes 2017 till medlem av Royal Netherlands Academy of Arts and Sciences .

2019 fick Van Harmelen ett Zwaartekracht-bidrag från det nederländska ministeriet för utbildning, kultur och vetenskap för The Hybrid Intelligence Center

Arbete

Van Harmelens forskningsintressen inkluderar artificiell intelligens , kunskapsrepresentation och den semantiska webben , ungefärliga resonemang och medicinska protokoll. Han var en av meddesignerna av Web Ontology Language (OWL) och Ontology Inference Layer (OIL), och har publicerat böcker om inferens på metanivå, om kunskapsbaserade system och om den semantiska webben.

Publikationer

Van Harmelen har publicerat flera böcker och över 100 forskningsartiklar, Books:

•   1989. Logikbaserad kunskapsrepresentation . Med P. Jackson och H. Reichgelt. The MIT Press, Cambridge, MA, 1989. ISBN 0-262-10038-X .
•   1991. Meta-level Inference Systems F. van Harmelen. Forskningsanteckningar i AI. Pitmann, Morgan Kaufmann, London, San Mateo, Kalifornien, 1991. ISBN 1-55860-196-1
•   2003. Mot den semantiska webben: ontologidriven kunskapshantering Med John Davies och Dieter Fensel (red.) John Wiley & Sons, 2002, ISBN 0-470-84867-7
•   2004. A Semantic Web Primer (Cooperative Information Systems) . Med Grigoris Antoniou. MIT Press. ISBN 0-262-01210-3
•   2004. Informationsdelning på den semantiska webben . Med Heiner Stuckenschmidt. Springer. ISBN 3-540-20594-2
•   2008. Handbok om kunskapsrepresentation . Med V. Lifschitz och B. Porter, Elsevier, 2008. ISBN 978-0-444-52211-5 .

Artiklar, ett urval:

•    Vink, J.; Koppens, PCJM; Van Harmelen, FA; Van Voorthuijsen, WE (1981). "Flexibel datahantering för rutinmässiga kvantitativa analyser med användning av en gaskromatograf-masspektrometer under datorkontroll" . Journal of Automatic Chemistry . 3 (2): 85–88. doi : 10.1155/S1463924681000242 . PMC 2547295 . PMID 18927785 .
•    Renardel De Lavalette, GR; Groenboom, R.; Rotterdam, E.; Van Harmelen, F.; Ten Teije, A.; De Geus, F. (1997). "Formalisering för beslutsstöd i anestesiologi". Artificiell intelligens inom medicin . 11 (3): 189–214. CiteSeerX 10.1.1.78.2673 . doi : 10.1016/S0933-3657(97)00031-6 . PMID 9413606 .
•    Vollebregt, A.; Ten Teije, A.; Van Harmelen, F.; Van Der Lei, J.; Mosseveld, M. (1999). "En studie av PROforma, en utvecklingsmetodik för kliniska procedurer". Artificiell intelligens inom medicin . 17 (2): 195–221. CiteSeerX 10.1.1.27.2892 . doi : 10.1016/S0933-3657(99)00016-0 . PMID 10518051 .
•   Korotkiy, M.; Middelburg, R.; Dekker, H.; Van Harmelen, F.; Lankelma, J. (2004). "Ett verktyg för genuttrycksbaserad PubMed-sökning genom att kombinera datakällor" . Bioinformatik . 20 (12): 1980–1982. doi : 10.1093/bioinformatics/bth183 . PMID 15044238 .
•   Balser, M.; Coltell, O.; Van Croonenborg, J.; Duelli, C.; Van Harmelen, F.; Jovell, A.; Lucas, P.; Marcos, M.; Miksch, S .; Reif, W.; Rosenbrand, K.; Seyfang, A.; Ten Teije, A. (2004). "Protocure: Stödja utvecklingen av medicinska protokoll genom formella metoder". Studier i hälsoteknik och informatik . 101 : 103–107. PMID 15537209 .
•     Ten Teije, A.; Marcos, M.; Balser, M.; Van Croonenborg, J.; Duelli, C.; Van Harmelen, F.; Lucas, P.; Miksch, S .; Reif, W.; Rosenbrand, K.; Seyfang, A. (2006). "Förbättra medicinska protokoll med formella metoder". Artificiell intelligens inom medicin . 36 (3): 193–209. CiteSeerX 10.1.1.71.3147 . doi : 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). "Utdrag och användning av språkliga mönster för modellering av medicinska riktlinjer". Artificiell intelligens inom medicin . 39 (2): 137–149. doi : 10.1016/j.artmed.2006.07.012 . PMID 16963241 .
•   Groot, P.; Hommersom, A.; Lucas, PJF; Merk, RJ; Ten Teije, A.; Van Harmelen, F.; Serban, R. (2009). "Använda modellkontroll för kritik baserad på kliniska riktlinjer". Artificiell intelligens inom medicin . 46 (1): 19–36. doi : 10.1016/j.artmed.2008.07.007 . PMID 18824335 .

externa länkar

• En intervju med Frank van Harmelen om den semantiska webben
• Blogg skriven av Frank van Harmelen Arkiverad 15 juni 2008 på Wayback Machine