Using logic rules for concept refinement learning in first order logic | IEEE Conference Publication | IEEE Xplore