Formalizing knowledge domains door H.M. Groenboom