Rinke Hoekstra is a postdoctoral researcher in the Knowledge Representation and Reasoning Group of the Department of Computer Science at the VU University Amsterdam.