fbpx
Wikipedia

Frank van Harmelen

December 15, 2023

Frank van Harmelen (born 1960) is a Dutch computer scientist and professor in Knowledge Representation & Reasoning in the AI department at the Vrije Universiteit Amsterdam. He was scientific director of the LarKC project (2008-2011),[3] "aiming to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning."[4][5][6]

Frank van Harmelen
Born1960 (age 62–63)
Alma materUniversity of Edinburgh
Scientific career
FieldsSemantic Web[1]
InstitutionsVrije Universiteit, Amsterdam
ThesisOn the Efficiency of Meta-level Reasoning (1989)
Academic advisorsAlan Bundy[2]
Websitewww.cs.vu.nl/~frankh
twitter.com/FrankVanHarmele

Biography edit

After studying mathematics and computer science in Amsterdam, Van Harmelen moved to the Department of AI of the University of Edinburgh, where he was awarded a PhD in 1989 for his research on meta-level reasoning. While in Edinburgh, he "co-developed a logic-based toolkit for expert systems, and worked with Alan Bundy on proof planning for inductive theorem proving".[2][4]

After his PhD research, he moved back to Amsterdam where he worked from 1990 to 1995 in the SWI Department under Professor Bob Wielinga, on the use of reflection in expert systems, on the formal underpinnings of the CommonKADS methodology for Knowledge-Based Systems. In 1995 he joined the AI research group at the Vrije Universiteit Amsterdam, where he co-lead the On-To-Knowledge project, one of the first Semantic Web projects. He was appointed full professor in 2002, and is leading the Knowledge Representation and Reasoning Group. Currently he is scientific director the LarKC project aiming to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning.[4]

Van Harmelen was elected a member of the Royal Netherlands Academy of Arts and Sciences in 2017.[7][8]

In 2019, Van Harmelen received a Zwaartekracht grant from the Dutch Ministry of Education, Culture and Science for The Hybrid Intelligence Center[9]

Work edit

Van Harmelen's research interests include artificial intelligence, knowledge representation and the semantic web, approximate reasoning and Medical Protocols. He was one of the co-designers of the Web Ontology Language (OWL) and the Ontology Inference Layer (OIL), and has published books on meta-level inference, on knowledge-based systems, and on the Semantic Web.

Publications edit

Van Harmelen has published several books and over 100 research papers,[6] Books:

  • 1989. Logic-Based Knowledge Representation. With P. Jackson and H. Reichgelt. The MIT Press, Cambridge, MA, 1989. ISBN 0-262-10038-X.
  • 1991. Meta-level Inference Systems F. van Harmelen. Research Notes in AI. Pitmann, Morgan Kaufmann, London, San Mateo, California, 1991. ISBN 1-55860-196-1
  • 2003. Towards the semantic web: ontology-driven knowledge management With John Davies and Dieter Fensel (eds.) John Wiley & Sons, 2002, ISBN 0-470-84867-7
  • 2004. A Semantic Web Primer (Cooperative Information Systems). With Grigoris Antoniou. MIT Press. ISBN 0-262-01210-3
  • 2004. Information Sharing on the Semantic Web. With Heiner Stuckenschmidt. Springer. ISBN 3-540-20594-2
  • 2008. Handbook of Knowledge Representation. With V. Lifschitz and B. Porter, Elsevier, 2008. ISBN 978-0-444-52211-5.

Articles, a selection:

  • Vink, J.; Koppens, P. C. J. M.; Van Harmelen, F. A.; Van Voorthuijsen, W. E. (1981). "Flexible data handling for routine quantitative analyses employing a gas chromatograph-mass spectrometer under computer control". Journal of Automatic Chemistry. 3 (2): 85–88. doi:10.1155/S1463924681000242. PMC 2547295. PMID 18927785.
  • Renardel De Lavalette, G. R.; Groenboom, R.; Rotterdam, E.; Van Harmelen, F.; Ten Teije, A.; De Geus, F. (1997). "Formalisation for decision support in anaesthesiology". Artificial Intelligence in Medicine. 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). "A study of PROforma, a development methodology for clinical procedures". Artificial Intelligence in Medicine. 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). "A tool for gene expression based PubMed search through combining data sources". Bioinformatics. 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: Supporting the development of medical protocols through formal methods". Studies in Health Technology and Informatics. 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). "Improving medical protocols by formal methods". Artificial Intelligence in Medicine. 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). "Extraction and use of linguistic patterns for modelling medical guidelines". Artificial Intelligence in Medicine. 39 (2): 137–149. doi:10.1016/j.artmed.2006.07.012. PMID 16963241.
  • Groot, P.; Hommersom, A.; Lucas, P. J. F.; Merk, R. J.; Ten Teije, A.; Van Harmelen, F.; Serban, R. (2009). "Using model checking for critiquing based on clinical guidelines". Artificial Intelligence in Medicine. 46 (1): 19–36. doi:10.1016/j.artmed.2008.07.007. PMID 18824335.

References edit

  1. ^ Horrocks, I.; Patel-Schneider, Peter; van Harmelen, Frank (2003). "From SHIQ and RDF to OWL: The making of a Web Ontology Language" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. 1: 7–26. CiteSeerX 10.1.1.2.7039. doi:10.1016/j.websem.2003.07.001. S2CID 8277015.
  2. ^ a b Frank van Harmelen at the Mathematics Genealogy Project
  3. ^ LarKC project
  4. ^ a b c Homepage of Frank van Harmelen at the Vrije Universiteit Amsterdam. Retrieved 6 October 2008.
  5. ^ Frank van Harmelen publications indexed by Google Scholar
  6. ^ a b Frank van Harmelen at DBLP Bibliography Server  
  7. ^ (in Dutch). Royal Netherlands Academy of Arts and Sciences. 10 May 2017. Archived from the original on 25 May 2019. Retrieved 14 May 2017.
  8. ^ . Royal Netherlands Academy of Arts and Sciences. Archived from the original on 14 May 2017.
  9. ^ "The hybrid Intelligence Centre" (in Dutch). Retrieved 21 May 2022.

External links edit

December 15, 2023
frank, harmelen, this, biography, living, person, relies, much, references, primary, sources, please, help, adding, secondary, tertiary, sources, contentious, material, about, living, persons, that, unsourced, poorly, sourced, must, removed, immediately, espec. This biography of a living person relies too much on references to primary sources Please help by adding secondary or tertiary sources Contentious material about living persons that is unsourced or poorly sourced must be removed immediately especially if potentially libelous or harmful Find sources Frank van Harmelen news newspapers books scholar JSTOR September 2013 Learn how and when to remove this template message Frank van Harmelen born 1960 is a Dutch computer scientist and professor in Knowledge Representation amp Reasoning in the AI department at the Vrije Universiteit Amsterdam He was scientific director of the LarKC project 2008 2011 3 aiming to develop the Large Knowledge Collider a platform for very large scale semantic web reasoning 4 5 6 Frank van HarmelenBorn1960 age 62 63 Alma materUniversity of EdinburghScientific careerFieldsSemantic Web 1 InstitutionsVrije Universiteit AmsterdamThesisOn the Efficiency of Meta level Reasoning 1989 Academic advisorsAlan Bundy 2 Websitewww wbr cs wbr vu wbr nl wbr frankh twitter wbr com wbr FrankVanHarmele Contents 1 Biography 2 Work 3 Publications 4 References 5 External linksBiography editAfter studying mathematics and computer science in Amsterdam Van Harmelen moved to the Department of AI of the University of Edinburgh where he was awarded a PhD in 1989 for his research on meta level reasoning While in Edinburgh he co developed a logic based toolkit for expert systems and worked with Alan Bundy on proof planning for inductive theorem proving 2 4 After his PhD research he moved back to Amsterdam where he worked from 1990 to 1995 in the SWI Department under Professor Bob Wielinga on the use of reflection in expert systems on the formal underpinnings of the CommonKADS methodology for Knowledge Based Systems In 1995 he joined the AI research group at the Vrije Universiteit Amsterdam where he co lead the On To Knowledge project one of the first Semantic Web projects He was appointed full professor in 2002 and is leading the Knowledge Representation and Reasoning Group Currently he is scientific director the LarKC project aiming to develop the Large Knowledge Collider a platform for very large scale semantic web reasoning 4 Van Harmelen was elected a member of the Royal Netherlands Academy of Arts and Sciences in 2017 7 8 In 2019 Van Harmelen received a Zwaartekracht grant from the Dutch Ministry of Education Culture and Science for The Hybrid Intelligence Center 9 Work editVan Harmelen s research interests include artificial intelligence knowledge representation and the semantic web approximate reasoning and Medical Protocols He was one of the co designers of the Web Ontology Language OWL and the Ontology Inference Layer OIL and has published books on meta level inference on knowledge based systems and on the Semantic Web Publications editVan Harmelen has published several books and over 100 research papers 6 Books 1989 Logic Based Knowledge Representation With P Jackson and H Reichgelt The MIT Press Cambridge MA 1989 ISBN 0 262 10038 X 1991 Meta level Inference Systems F van Harmelen Research Notes in AI Pitmann Morgan Kaufmann London San Mateo California 1991 ISBN 1 55860 196 1 2003 Towards the semantic web ontology driven knowledge management With John Davies and Dieter Fensel eds John Wiley amp Sons 2002 ISBN 0 470 84867 7 2004 A Semantic Web Primer Cooperative Information Systems With Grigoris Antoniou MIT Press ISBN 0 262 01210 3 2004 Information Sharing on the Semantic Web With Heiner Stuckenschmidt Springer ISBN 3 540 20594 2 2008 Handbook of Knowledge Representation With V Lifschitz and B Porter Elsevier 2008 ISBN 978 0 444 52211 5 Articles a selection Vink J Koppens P C J M Van Harmelen F A Van Voorthuijsen W E 1981 Flexible data handling for routine quantitative analyses employing a gas chromatograph mass spectrometer under computer control Journal of Automatic Chemistry 3 2 85 88 doi 10 1155 S1463924681000242 PMC 2547295 PMID 18927785 Renardel De Lavalette G R Groenboom R Rotterdam E Van Harmelen F Ten Teije A De Geus F 1997 Formalisation for decision support in anaesthesiology Artificial Intelligence in Medicine 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 A study of PROforma a development methodology for clinical procedures Artificial Intelligence in Medicine 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 A tool for gene expression based PubMed search through combining data sources Bioinformatics 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 Supporting the development of medical protocols through formal methods Studies in Health Technology and Informatics 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 Improving medical protocols by formal methods Artificial Intelligence in Medicine 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 Extraction and use of linguistic patterns for modelling medical guidelines Artificial Intelligence in Medicine 39 2 137 149 doi 10 1016 j artmed 2006 07 012 PMID 16963241 Groot P Hommersom A Lucas P J F Merk R J Ten Teije A Van Harmelen F Serban R 2009 Using model checking for critiquing based on clinical guidelines Artificial Intelligence in Medicine 46 1 19 36 doi 10 1016 j artmed 2008 07 007 PMID 18824335 References edit Horrocks I Patel Schneider Peter van Harmelen Frank 2003 From SHIQ and RDF to OWL The making of a Web Ontology Language PDF Web Semantics Science Services and Agents on the World Wide Web 1 7 26 CiteSeerX 10 1 1 2 7039 doi 10 1016 j websem 2003 07 001 S2CID 8277015 a b Frank van Harmelen at the Mathematics Genealogy Project LarKC project a b c Homepage of Frank van Harmelen at the Vrije Universiteit Amsterdam Retrieved 6 October 2008 Frank van Harmelen publications indexed by Google Scholar a b Frank van Harmelen at DBLP Bibliography Server nbsp KNAW kiest 26 nieuwe leden in Dutch Royal Netherlands Academy of Arts and Sciences 10 May 2017 Archived from the original on 25 May 2019 Retrieved 14 May 2017 Frank van Harmelen Royal Netherlands Academy of Arts and Sciences Archived from the original on 14 May 2017 The hybrid Intelligence Centre in Dutch Retrieved 21 May 2022 External links editAn interview with Frank van Harmelen about the Semantic Web Blog written by Frank van Harmelen Archived 15 June 2008 at the Wayback Machine Retrieved from https en wikipedia org w index php title Frank van Harmelen amp oldid 1133190973, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.