STILF - A spatiotemporal interval logic formalism for reasoning about events in remote sensing data

14727 12 78306 2 216242 document 78306 2017-SBSR-STILF - A spatiotemporal interval logic formalism for reasoning about events in remote sensing data.pdf application/pdf 2122f8888fbd312b88aec6d6bd777e54 MD5 3247090 2017-07-05 07:04:30 https://pure.iiasa.ac.at/id/eprint/14727/1/2017-SBSR-STILF%20-%20A%20spatiotemporal%20interval%20logic%20formalism%20for%20reasoning%20about%20events%20in%20remote%20sensing%20data.pdf 14727 1 1 application/pdf text en public cc_by

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

published 78307 2 216250 document 78307 lightbox.jpg image/png 60a865e397c4a96e62d4ce453248762b MD5 52462 2017-07-05 07:14:31 https://pure.iiasa.ac.at/id/eprint/14727/2/lightbox.jpg 14727 2 2 image/png other Thumbnails conversion from text to thumbnail_lightbox en public

lightbox.jpg

preview.jpg

medium.jpg

small.jpg

indexcodes.txt

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/78306 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/78306 http://eprints.org/relation/isIndexCodesVersionOf https://pure.iiasa.ac.at/id/document/78306 archive 353 disk0/00/01/47/27 2017-07-05 07:09:13 2021-08-27 17:29:12 2017-07-05 07:09:13 conference_item show 1 Marciel A.M. Vinhas L. Camara G. Maus V. 8780 0000-0002-7385-4723 Ferreira Gomes de Assis L.F. STILF - A spatiotemporal interval logic formalism for reasoning about events in remote sensing data pub prog_esm Although several studies perform time series analysis using remote sensing data provided by Earth observation satellites, few have been explored concerning the reasoning about land use change using these data. Besides, exists the challenge of make the best use of big Earth observation data sets to represent change. In this context, this work presents a new formalism - STILF (Spatiotemporal Interval Logic Formalism), and shows how to use it for reasoning about land use change using big Earth observation data. Extending the ideas from Allen’s interval temporal logic, we introduce predicates holds(o, p, t) and occur(o, p, Te) to build a general framework to reason about events. Events can be defined as complete entities on their respective time intervals and their lifetime is limited while objects persist in time, with a defined begin and end. Since events are intrinsically related to the objects they modify, a geospatial event formalism should specify not only what happens, but also which objects are affected by such changes. The formalism proposed and predicates extended from Allen''''''''s ideas can model and capture changes using big Earth observation data, and also allows reasoning about land use trajectories in regional or global areas. Examples for tropical forest area application is presented to better understand our proposal using STILF. For the future, the proposed formalism will be include other temporal analysis tools to thinking about events related the land use and cover change. 2017-05 published https://proceedings.galoa.com.br/sbsr/trabalhos/stilf-a-spatiotemporal-interval-logic-formalism-for-reasoning-about-events-in-remote-sensing-data 3138 public paper Brazilian Symposium of Remote Sensing Santos, SP, Brazil 28-31 May 2017 conference TRUE FALSE no info:eu-repo/semantics/conferenceObject