| 1. Identity statement | ||||
| Reference Type | Conference Paper (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP3W34P/3N36D7S | |||
| Repository | sid.inpe.br/mtc-m21b/2016/12.20.16.43 | |||
| Last Update | 2021:02.12.13.30.37 (UTC) simone | |||
| Metadata Repository | sid.inpe.br/mtc-m21b/2016/12.20.16.43.05 | |||
| Metadata Last Update | 2023:08.16.17.49.18 (UTC) administrator | |||
| Secondary Key | INPE--PRE/ | |||
| Citation Key | MacielVinhCâma:2016:SpInLo | |||
| Title | The spatiotemporal interval logic formalism for reasoning about land use change  | |||
| Year | 2016 | |||
| Access Date | 2024, May 18 | |||
| Secondary Type | PRE CN | |||
| Number of Files | 1 | |||
| Size | 1004 KiB | |||
| 2. Context | ||||
| Author | 1 Maciel, Adeline Marinho 2 Vinhas, Lúbia 3 Câmara, Gilberto | |||
| Resume Identifier | 1 2 8JMKD3MGP5W/3C9JHM4 3 8JMKD3MGP5W/3C9JHB8 | |||
| Group | 1 CAP-COMP-SPG-INPE-MCTI-GOV-BR 2 DPI-OBT-INPE-MCTI-GOV-BR 3 DPI-OBT-INPE-MCTI-GOV-BR | |||
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Author e-Mail Address | 1 adeline.maciel@inpe.b 2 lubia.vinhas@inpe.br 3 gilberto.camara@inpe.br | |||
| Conference Name | Workshop de Computação Aplicada, 16 (WORCAP) | |||
| Conference Location | São José dos Campos, SP | |||
| Date | 25-26 out. | |||
| History (UTC) | 2016-12-20 16:43:15 :: simone -> administrator :: 2016 2016-12-20 20:30:11 :: administrator -> simone :: 2016 2016-12-22 17:54:59 :: simone -> administrator :: 2016 2018-06-04 02:41:42 :: administrator -> simone :: 2016 2021-02-12 13:30:38 :: simone -> administrator :: 2016 2023-08-16 17:49:18 :: administrator -> simone :: 2016 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Content Type | External Contribution | |||
| Abstract | This work presents a 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 Allens 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 main contribution of this work is a spatiotemporal interval logic that includes geospatial objects explicitly. The formalism proposed and predicates extended from Allens ideas can model and capture changes using big Earth observation data, and also allows reasoning about land use trajectories in regional or global areas. Spatiotemporal interval logic describe data types and their operations in a formalism improves our ability to extract information from large remote sensing data sets. In an experiment performed in an tropical forest area, our proposed spatiotemporal interval logic framework was able to discover some events related the land use change caused by soybeans in Amazonia. | |||
| Area | SRE | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDPI > The spatiotemporal interval... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > The spatiotemporal interval... | |||
| Arrangement 3 | The spatiotemporal interval... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| data URL | http://mtc-m21b.sid.inpe.br/ibi/8JMKD3MGP3W34P/3N36D7S | |||
| zipped data URL | http://mtc-m21b.sid.inpe.br/zip/8JMKD3MGP3W34P/3N36D7S | |||
| Language | en | |||
| Target File | maciel_spatiotemporal.pdf | |||
| User Group | simone | |||
| Reader Group | administrator simone | |||
| Visibility | shown | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Mirror Repository | urlib.net/www/2011/03.29.20.55 | |||
| Next Higher Units | 8JMKD3MGPCW/3EQCCU5 8JMKD3MGPCW/3F2PHGS 8JMKD3MGPDW34P/49L898E | |||
| Citing Item List | sid.inpe.br/mtc-m16c/2023/08.16.17.44 2 sid.inpe.br/bibdigital/2013/10.12.22.16 2 sid.inpe.br/bibdigital/2013/09.09.15.05 1 | |||
| Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notes | ||||
| Empty Fields | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume | |||
| 7. Description control | ||||
| e-Mail (login) | simone | |||
| update | ||||