Frank van Harmelen
 |
This biographical article needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately, especially if potentially libelous or harmful. (November 2011) |
 |
This article relies on references to primary sources or sources affiliated with the subject, rather than references from independent authors and third-party publications. Please add citations from reliable sources. (November 2011) |
Frank van Harmelen (1960) is a Dutch Computer Scientist and Professor in Knowledge Representation & Reasoning in the AI department at the Vrije Universiteit Amsterdam. Currently he is scientific director of the LarKC project,[1] "aiming to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning.[2]
Contents |
[edit] 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".[2]
After his PhD research, he moved back to Amsterdam where he worked from 1990 to 1995 in the SWI Department under Prof. 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, 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.[2]
[edit] 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 (OWL) and the Ontology Inference Layer (OIL), and has published books on meta-level inference, on knowledge-based systems, and on the Semantic Web.
[edit] Publications
Frank van Harmelen has published over 100 research papers[3] 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.
[edit] References
- ^ LarKC project
- ^ a b c Homepage of Frank van Harmelen at the Vrije Universiteit Amsterdam". Retrieved 6 October 2008.
- ^ Frank van Harmelens publications in DBLP
[edit] External links
- Homepage of Frank van Harmelen
- An interview with Frank van Harmelen about the Semantic Web
- Blog written by Frank van Harmelen
|
||||||||||||||||||||||||||||
