A knowledge base management system on relation model and term rewriting | IEEE Conference Publication | IEEE Xplore