Subject-Oriented Knowledge Formalization: Method and Prototype | IEEE Conference Publication | IEEE Xplore