A TABOO-NOT in OPEN World Assumption for A Natural Language based Logic Programming | IEEE Conference Publication | IEEE Xplore