KGIQ: Scalable Translation of User-Specified Examples into Knowledge-Graph Queries | IEEE Conference Publication | IEEE Xplore