A kernel architecture for a computer aided knowledge engineering workbench | IEEE Conference Publication | IEEE Xplore