OKBMS: An object-oriented knowledge base management system | IEEE Conference Publication | IEEE Xplore