b'\n_START_ARTICLE_\nFrank van Harmelen\n_START_SECTION_\nBiografia\n_START_PARAGRAPH_\nDopo aver studiato matematica e informatica ad Amsterdam , Van Harmelen prosegu\xc3\xac al dipartimento relativo all\'intelligenza artificiale all\'Universit\xc3\xa0 di Edimburgo, dove ottenne il titolo di Dottore di ricerca in merito al suo lavoro circa il ragionamento automatico . Sempre qui , "svilupp\xc3\xb2 un kit di strumenti basati sulla logica dei sistemi esperti e lavor\xc3\xb2 con Alan Bundy circa la prova di progettazione della dimostrazione del teorema induttivo" ._NEWLINE_Dopo il suo dottorato di ricerca ritorn\xc3\xb2 ad Amsterdam, dove lavor\xc3\xb2 dal 1990 al 1995 nel Dipartimento SWI , sotto la guida del Professor Bob Wielinga , sull\'uso del riflesso dei sistemi esperti e sulle basi della metodologia CommonKADS per quanto riguarda i sistemi basati sulla conoscenza. Nel 1995 si un\xc3\xac al gruppo di ricerca sull\'intelligenza artificiale della Vrije Universiteit dove fu uno dei responsabili del progetto On-To-Knowledge, uno dei primi progetti di semantica del Web. Gli venne affidata la cattedra nel 2002 e divenne leader del progetto Knowledge Representation and Reasoning . _NEWLINE_Ad oggi \xc3\xa8 il responsabile del progetto LarKC ._NEWLINE_Nel 2017 venne eletto come membro della Koninklijke Nederlandse Akademie van Wetenschappen, un\'importante associazione di scienziati olandesi.\n_START_SECTION_\nLavori\n_START_PARAGRAPH_\nLa sua ricerca include l\'intelligenza artificiale, la rappresentazione della conoscenza, la semantica web , l\'approximate reasoning e i protocolli medici. Fu uno dei co-progettisti della Web Ontology Language e della Ontology Inference Layer e ha pubblicato libri sul ragionamento automatico , sui sistemi basati sulla conoscenza e sulla semantica web .'