Frank van Harmelen


Contributors to Wikimedia projects

Article Images

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. Currently he is scientific director of the LarKC project,[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 63–64)
Alma materUniversity of Edinburgh
Scientific career
FieldsSemantic Web[1]
InstitutionsVrije Universiteit, Amsterdam
Thesis On the Efficiency of Meta-level Reasoning  (1989)
Academic advisorsAlan Bundy[2]
Doctoral studentsManfred Aben
Ronald Siebes
Annette ten Teije[2]
Websitewww.cs.vu.nl/~frankh
twitter.com/FrankVanHarmele

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 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 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, 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]

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.

Publications

Frank 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:

  • Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 18927785, please use {{cite journal}} with |pmid=18927785 instead.
  • Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 9413606, please use {{cite journal}} with |pmid=9413606 instead.
  • Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 10518051, please use {{cite journal}} with |pmid=10518051 instead.
  • Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 15044238, please use {{cite journal}} with |pmid=15044238 instead.
  • Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 15537209, please use {{cite journal}} with |pmid=15537209 instead.
  • Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 16376061, please use {{cite journal}} with |pmid=16376061 instead.
  • Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 16963241, please use {{cite journal}} with |pmid=16963241 instead.
  • Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 18824335, please use {{cite journal}} with |pmid=18824335 instead.

References

  1. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.websem.2003.07.001, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.websem.2003.07.001 instead.
  2. ^ a b c 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  

Template:Persondata