A structured approach to formalization and validation of knowledge | IEEE Conference Publication | IEEE Xplore