A Rule Reasoning Method and Its Application | IEEE Conference Publication | IEEE Xplore