Application of the conceptual model of knowledge for formalization of concepts of educational content | IEEE Conference Publication | IEEE Xplore