A Knowledge Representation Tool Based on Concept Algebra | IEEE Conference Publication | IEEE Xplore