A set-oriented inference mechanism for large data-intensive logic-bases | IEEE Conference Publication | IEEE Xplore