Frank van Harmelen
{{Use dmy dates|date=January 2017}}
{{BLP primary sources|date=September 2013}}
{{Infobox scientist
| name =
| image = Frank van Harmelen at Open Innovation 2.0 Conference 2016.jpg| image_size =
| alt =
| caption =
| birth_date = {{Birth year and age|1960}}
| birth_place =
| death_date =
| death_place =
| resting_place =
| resting_place_coordinates =
| residence =
| citizenship =
| nationality =
| fields = Semantic Web{{Cite journal | last1 = Horrocks | first1 = I. | author-link1 = Ian Horrocks| last2 = Patel-Schneider | first2 = Peter| last3 = van Harmelen | first3 = Frank| author-link3 = Frank van Harmelen| doi = 10.1016/j.websem.2003.07.001 | url = http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPH03a.pdf| title = From SHIQ and RDF to OWL: The making of a Web Ontology Language | journal = Web Semantics: Science, Services and Agents on the World Wide Web | volume = 1 | pages = 7–26 | year = 2003 | citeseerx = 10.1.1.2.7039 | s2cid = 8277015 }}
| workplaces = Vrije Universiteit, Amsterdam
| alma_mater = University of Edinburgh
| thesis_title = On the Efficiency of Meta-level Reasoning
| thesis_url =
| thesis_year = 1989
| doctoral_advisor =
| academic_advisors = Alan Bundy{{MathGenealogy|id=128866}}
| doctoral_students =
| notable_students =
| known_for =
| author_abbrev_bot =
| author_abbrev_zoo =
| influences =
| influenced =
| awards =
| signature =
| signature_alt =
| website = {{URL|http://www.cs.vu.nl/~frankh}}
{{URL|https://twitter.com/FrankVanHarmele}}
| footnotes =
| spouse =
| children =
}}
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),[http://www.larkc.org LarKC project] "aiming to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning."[http://www.cs.vu.nl/~frankh/ Homepage of Frank van Harmelen] at the Vrije Universiteit Amsterdam. Retrieved 6 October 2008.{{GoogleScholar|LCyfDi8AAAAJ}}{{DBLP|name=Frank van Harmelen}}
Biography
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".
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.
Van Harmelen was elected a member of the Royal Netherlands Academy of Arts and Sciences in 2017.{{cite web |url=https://www.knaw.nl/nl/actueel/nieuws/knaw-kiest-26-nieuwe-leden-2017 |title=KNAW kiest 26 nieuwe leden |language=nl |publisher=Royal Netherlands Academy of Arts and Sciences |date=10 May 2017 |access-date=14 May 2017 |archive-date=25 May 2019 |archive-url=https://web.archive.org/web/20190525042257/https://knaw.nl/nl/actueel/nieuws/knaw-kiest-26-nieuwe-leden-2017 |url-status=dead }}{{cite web|url=https://www.knaw.nl/en/members/members/14175 |archive-url=https://web.archive.org/web/20170514071906/https://www.knaw.nl/en/members/members/14175 |title=Frank van Harmelen |publisher=Royal Netherlands Academy of Arts and Sciences |archive-date=14 May 2017}}
In 2019, Van Harmelen received a Zwaartekracht grant from the Dutch Ministry of Education, Culture and Science for The Hybrid Intelligence Center{{cite web|url=https://www.hybrid-intelligence-centre.nl/ |title=The hybrid Intelligence Centre |language=nl |access-date=21 May 2022}}
Work
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
Van Harmelen has published several books and over 100 research papers, 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:
- {{Cite journal
| last1 = Vink | first1 = J.
| last2 = Koppens | first2 = P. C. J. M.
| last3 = Van Harmelen | first3 = F. A.
| last4 = Van Voorthuijsen | first4 = W. E.
| title = Flexible data handling for routine quantitative analyses employing a gas chromatograph-mass spectrometer under computer control
| doi = 10.1155/S1463924681000242
| journal = Journal of Automatic Chemistry
| volume = 3
| issue = 2
| pages = 85–88
| year = 1981
| pmid = 18927785
| pmc =2547295
| doi-access = free
}}
- {{Cite journal
| doi = 10.1016/S0933-3657(97)00031-6
| last1 = Renardel De Lavalette | first1 = G. R.
| last2 = Groenboom | first2 = R.
| last3 = Rotterdam | first3 = E.
| last4 = Van Harmelen | first4 = F.
| last5 = Ten Teije | first5 = A.
| last6 = De Geus | first6 = F.
| title = Formalisation for decision support in anaesthesiology
| journal = Artificial Intelligence in Medicine
| volume = 11
| issue = 3
| pages = 189–214
| year = 1997
| pmid = 9413606
| citeseerx = 10.1.1.78.2673 }}
- {{Cite journal
| doi = 10.1016/S0933-3657(99)00016-0
| last1 = Vollebregt | first1 = A.
| last2 = Ten Teije | first2 = A.
| last3 = Van Harmelen | first3 = F.
| last4 = Van Der Lei | first4 = J.
| last5 = Mosseveld | first5 = M.
| title = A study of PROforma, a development methodology for clinical procedures
| journal = Artificial Intelligence in Medicine
| volume = 17
| issue = 2
| pages = 195–221
| year = 1999
| pmid = 10518051
| citeseerx = 10.1.1.27.2892 }}
- {{Cite journal
| last1 = Korotkiy | first1 = M.
| last2 = Middelburg | first2 = R.
| last3 = Dekker | first3 = H.
| last4 = Van Harmelen | first4 = F.
| last5 = Lankelma | first5 = J.
| title = A tool for gene expression based PubMed search through combining data sources
| doi = 10.1093/bioinformatics/bth183
| journal = Bioinformatics
| volume = 20
| issue = 12
| pages = 1980–1982
| year = 2004
| pmid = 15044238
| doi-access = free
| url = https://research.vu.nl/files/2000700/169645.pdf
}}
- {{Cite journal
| last1 = Balser | first1 = M.
| last2 = Coltell | first2 = O.
| last3 = Van Croonenborg | first3 = J.
| last4 = Duelli | first4 = C.
| last5 = Van Harmelen | first5 = F.
| last6 = Jovell | first6 = A.
| last7 = Lucas | first7 = P.
| last8 = Marcos | first8 = M.
| last9 = Miksch | first9 = S. | author9-link = Silvia Miksch
| last10 = Reif | first10 = W.
| last11 = Rosenbrand | first11 = K.
| last12 = Seyfang | first12 = A.
| last13 = Ten Teije | first13 = A.
| title = Protocure: Supporting the development of medical protocols through formal methods
| journal = Studies in Health Technology and Informatics
| volume = 101
| pages = 103–107
| year = 2004
| pmid = 15537209
}}
- {{Cite journal
| last1 = Ten Teije | first1 = A.
| last2 = Marcos | first2 = M.
| last3 = Balser | first3 = M.
| last4 = Van Croonenborg | first4 = J.
| last5 = Duelli | first5 = C.
| last6 = Van Harmelen | first6 = F.
| last7 = Lucas | first7 = P.
| last8 = Miksch | first8 = S. | author8-link = Silvia Miksch
| last9 = Reif | first9 = W.
| last10 = Rosenbrand
| doi = 10.1016/j.artmed.2005.10.006 | first10 = K.
| last11 = Seyfang | first11 = A.
| title = Improving medical protocols by formal methods
| journal = Artificial Intelligence in Medicine
| volume = 36
| issue = 3
| pages = 193–209
| year = 2006
| pmid = 16376061
| citeseerx = 10.1.1.71.3147
| s2cid = 1938327
}}
- {{Cite journal
| last1 = Serban | first1 = R.
| last2 = Ten Teije | first2 = A.
| last3 = Van Harmelen | first3 = F.
| last4 = Marcos | first4 = M.
| last5 = Polo-Conde | first5 = C.
| title = Extraction and use of linguistic patterns for modelling medical guidelines
| doi = 10.1016/j.artmed.2006.07.012
| journal = Artificial Intelligence in Medicine
| volume = 39
| issue = 2
| pages = 137–149
| year = 2007
| pmid = 16963241
}}
- {{Cite journal
| last1 = Groot | first1 = P.
| last2 = Hommersom | first2 = A.
| last3 = Lucas | first3 = P. J. F.
| last4 = Merk | first4 = R. J.
| last5 = Ten Teije | first5 = A.
| last6 = Van Harmelen | first6 = F.
| last7 = Serban | first7 = R.
| doi = 10.1016/j.artmed.2008.07.007
| title = Using model checking for critiquing based on clinical guidelines
| journal = Artificial Intelligence in Medicine
| volume = 46
| issue = 1
| pages = 19–36
| year = 2009
| pmid = 18824335
| hdl = 2066/72379
| hdl-access = free
}}
References
{{reflist|2}}
External links
- [https://web.archive.org/web/20080929065426/http://www.rna-project.org/asp/page.asp?alias=rna.en An interview with Frank van Harmelen about the Semantic Web]
- [http://blog.larkc.eu/ Blog written by Frank van Harmelen] {{Webarchive|url=https://web.archive.org/web/20080615141759/http://blog.larkc.eu/ |date=15 June 2008 }}
{{Authority control}}
{{DEFAULTSORT:Harmelen, Frank Van}}
Category:Alumni of the University of Edinburgh
Category:Artificial intelligence researchers
Category:Dutch computer scientists
Category:Members of the Royal Netherlands Academy of Arts and Sciences