Solving contradiction in knowledge-base without interaction | IEEE Conference Publication | IEEE Xplore