2017-SBSR-STILF - A spatiotemporal interval logic formalism for reasoning about events in remote sensing data.pdf