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