Frank van Harmelan – The Network Institute

FvH 2006 - An Gearanach crop1 rounded

WstNET Lab: The Network Institute VU University Amsterdam

Frank van Harmelen (1960) is a professor in Knowledge Representation & Reasoning in the AI department (Faculty of Science) at the Vrije Universiteit Amsterdam. After studying mathematics and computer science in Amsterdam, he moved to the Department of AI in 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 withProf. 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 Prof. Wielinga, on the use of reflection in expert systems, on the formal underpinnings of the CommonKADSmethodology 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, on of the first Semantic Web projects. He was appointed full professor in 2002, and is leading the Knowledge Representation and Reasoning Group. He was one of the co-designers of the OWL Web Ontology Language Language. He is currently scientific director the LarKC project(, aiming to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning. His interests include

He has published three books (on meta-level inference, on knowledge-based systems, and on the Semantic Web) and over 100 research papers, most of which can be found on-line.

Home Page: Frank van Harmelan