| 来源类型 | Conference or Workshop Item (Paper) |
| 规范类型 | 其他 |
| STILF - A spatiotemporal interval logic formalism for reasoning about events in remote sensing data. | |
| Marciel AM; Vinhas L; Camara G; Ferreira Gomes de Assis LF | |
| 发表日期 | 2017 |
| 出处 | Brazilian Symposium of Remote Sensing, 28-31 May 2017, Santos, SP, Brazil |
| 出版年 | 2017 |
| 语种 | 英语 |
| 摘要 | 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. |
| 主题 | Ecosystems Services and Management (ESM) |
| URL | http://pure.iiasa.ac.at/id/eprint/14727/ |
| 来源智库 | International Institute for Applied Systems Analysis (Austria) |
| 资源类型 | 智库出版物 |
| 条目标识符 | http://119.78.100.153/handle/2XGU8XDN/132716 |
| 推荐引用方式 GB/T 7714 | Marciel AM,Vinhas L,Camara G,et al. STILF - A spatiotemporal interval logic formalism for reasoning about events in remote sensing data.. 2017. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 资源类型 | 版本类型 | 开放类型 | 使用许可 | ||
| 2017-SBSR-STILF%20-%（3170KB） | 智库出版物 | 限制开放 | CC BY-NC-SA | 浏览 | ||
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
