Algebraic and logical study of constructive processes in knowledge representation door J. Vennekens