A semantics based interactive query formulation technique | IEEE Conference Publication | IEEE Xplore