A formal knowledge representation system for the cognitive learning engine | IEEE Conference Publication | IEEE Xplore