Queries and their application to reasoning with remote sensing and GIS | IEEE Conference Publication | IEEE Xplore