A SPARQL extension with spatial-temporal quantitative query | IEEE Conference Publication | IEEE Xplore