I am a senior lecturer in AI at the "Vrije Universiteit" in Amsterdam, where I lead the research group on Knowledge Representation and Reasoning. 

I have been doing KR since my Ph.D. days in Edinburgh, ranging from work on Knowledge Engineering methodologies to work on meta-languages and reflective systems to work on model-based diagnosis, and a bit of theorem proving on the side.  

Together with Ian (you just saw his introduction), I was involved in the early days of developing OIL [1], and its later merge into DAML+OIL. I am also involved in various European projects that aim to either develop new Semantic Web technology (e.g. WonderWeb, [2]) or apply Semantic Web technology for various purposes, such as Knowledge Management (On-To-Knowledge, [3]) or service composition (IBROW, [4]).

Logicians think my work is applied, 
industrial people think its theoretical...

You can find out for yourself at my homepage, [0].

The local airport here is Schiphol International:

<apt:Airport rdf:about="">
  <apt:name>Amsterdam Airport Schiphol, Netherlands</apt:name> 

(and yes, it really does have a negative elevation, this is The Netherlands, after all:-). 

Frank van Harmelen.
Department of AI, Faculty of Sciences,  Vrije Universiteit Amsterdam
de Boelelaan 1081a, 1081HV Amsterdam, The Netherlands
tel (+31)-20-444 7731 fax&voicemail (+31)-84-8722806


Received on Tuesday, 6 November 2001 17:45:09 UTC