Rule base inspection using algorithmic approach for data-access oriented knowledge-based systems | IEEE Conference Publication | IEEE Xplore