Validation of first-order stratified KBs | IEEE Conference Publication | IEEE Xplore