Frank van Harmelen

Frank van Harmelen (1960) is a Dutch Computer Science and Professor in Knowledge Representation & Reasoning in the AI department at the Vrije Universiteit Amsterdam. Currently he is scientific director the LarKC project [ [http://www.larkc.eu 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.]

Biography

After studying mathematics and computer science in Amsterdam, Frank 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 Prof. 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 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, on 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.

Work

Frank 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 (WOL) and the Ontology Inference Layer (OWL), and has published books on meta-level inference, on knowledge-based systems, and on the Semantic Web.

Publications

Frank van Harmelenehas published over 100 research papers [ [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Harmelen:Frank_van.html Frank van Harmelens publications] in DBLP] and several books. A selection:
* 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 1558601961
* 2003. "Towards the semantic web: ontology-driven knowledge management" With John Davies and Dieter Fensel (eds.) John Wiley & Sons, 2002, ISBN 0470848677
* 2004. "A Semantic Web Primer (Cooperative Information Systems)". With Grigoris Antoniou. MIT Press. ISBN 0262012103
* 2004. "Information Sharing on the Semantic Web". With Heiner Stuckenschmidt. Springer. ISBN 3540205942
* 2008. "Handbook of Knowledge Representation". With V. Lifschitz and B. Porter, Elsevier, 2008. ISBN 978-0-444-52211-5.

References

External links

* [http://www.cs.vu.nl/~frankh/ Homepage of Frank van Harmelen]
* [http://www.rnaproject.org/rna.en/rna.en/i000421.html An interview with Frank van Harmelen about the Semantic Web]
* [http://blog.larkc.eu/ Blog written by Frank van Harmelen]