1 / 57

Describing change in the real world: from observations to events

AGILE Conference 2012, Avignon (France). Describing change in the real world: from observations to events. Gilberto Camara Karine Reis Ferreira Antonio Miguel Monteiro INPE – National Institute for Space Research. Useful References.

lapis
Download Presentation

Describing change in the real world: from observations to events

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. AGILE Conference 2012, Avignon (France) Describing change in the real world: from observations to events Gilberto Camara Karine Reis Ferreira Antonio Miguel Monteiro INPE – National Institute for Space Research

  2. Useful References • AU Frank, “One step up the abstraction ladder: combining algebras – from functional pieces to a whole”, COSIT 1999 • RH Guting et al., “A foundation for representing and querying moving objects”, ACM Transactions on Database Systems, 2000 • M Worboys, “Event-oriented approaches to geographic phenomena”, IJGIS, 2003 • A Galton & R Mizoguchi, “The Water Falls but the Waterfall does not Fall: New Perspectives on Objects, Processes and Events”, Applied Ontology, 2009. • W Kuhn, “A Functional Ontology of Observation and Measurement”, GeoS 2009.

  3. Welcome to the Age of Data-intensive GIScience! Capabilities Vantage Points L1/HEO/GEO TDRSS & Commercial Satellites Far-Space Permanent LEO/MEO Commercial Satellites and Manned Spacecraft Near-Space Aircraft/Balloon Event Tracking and Campaigns Airborne Deployable Terrestrial User Community Forecasts & Predictions

  4. Data-intensive GIS = principles and applications of geoinformatics for handling very large data sets

  5. Challenges for data-intensive GIScience Which data is out there? How to organize big spatial data? How to get the data I need? How to model big data? How to access and use big data?

  6. Data-intensive GIS is not “more maps” Spatio-temporal data that captures change We need new theories and methods

  7. Objects and events The coast of Japan is an object The 2011 Tohoku tsunami was an event

  8. Processes and events Flying is a process - Virgin flight VX 112 (LAX-IAD) on 26 Apr 2012 is an event

  9. Aral Sea (an object) – disaster (an event) When did the Aral Sea shrank to 10% of its original size?

  10. objectsexist, eventsoccur Mount Etna is an object Etna’s 2002 eruption was an event

  11. A view on processes and events (Worboys & Galton) Space Time Count Mass football or game? water or lake?

  12. A pragmatic view on objects and events Space Time Observable Abstract football or game? water or lake?

  13. Object (GPS buoy) + event (tsunami)

  14. Data types for moving objects (Guting)  mpoint: instant → point  mregion: instant → region Frank, Kuhn, Guting – algebras are better than 1st order logic for modelling geo-things

  15. Data types for moving objects (Guting) flight (id: string, from: string, to: string, route: mpoint) weather (id: string, kind: string, area: mregion)

  16. Detecting flood (gauges in Netherlands) Source: LlavesandRenschler, AGILE 2012

  17. Event processing architecture Source: ENVISION project (http://www.envision-project.eu/)

  18. source: USGS Events are categories (Frank, Galton) identity : id · a = a composition : ∀a, ∀b, ∃c, c = a.b associativity : a · (b · c) = (a · b) · c

  19. How can we design an algebra for spatiotemporal data that represents change?

  20. Observationsallowustosenseexternal reality

  21. Observationsallowustosenseexternal reality Anobservationis a measureof a value in a location in spaceand a position in time

  22. Building blocks: Basic Types type BASE = {Int, Real, String, Boolean} operations: // lots of them…

  23. Building blocks: Geometry (OGC) type GEOM = {Point, LineString, Polygon, MultiPoint, MultiLineString, MultiPolygon} operations: equals, touches, disjoint, crosses, within, overlaps, contains, intersects: GEOM x GEOM → Bool

  24. Building blocks: Time (ISO 19108) type TIME = {Instant, Period} operations: equals, before, after, begins, ends, during, contains, overlaps, meets, overlappedBy, metBy, begunBy, endedBy: TIME x TIME → Boolean

  25. Observation data type type Obs [T: TIME, G: GEOMETRY, B: BASE] operations: new: T x G x B → Obs value: Obs → B geom: Obs → G time: Obs → T

  26. Fromobservationstoevents

  27. Why do we need interpolators? Howlong do youtakefrom Frankfurt toBeaune?

  28. Why do we need interpolators? We cannot sample every location at every moment – we need to estimate in space-time

  29. Sensors: water monitoring • Brazilian Cerrado • Wells observation • 50 points • 50 semimonthly time series • (11 Oct 2003 – 06 March2007) Rodrigo Manzione, Gilberto Câmara, Martin Knotters

  30. Estimates of water table depth for an area in Brazilian Cerrado JUNE JULY MAY AUGUST SEPTEMBER Manzione, Câmara, Knotters

  31. Three types of interpolators IntValueInTime [T: TIME, B: BASIC] estimate: {Obs} x T → B IntSpaceInTime [T: TIME, G: GEOM] estimate: {Obs} x T → G IntInSpaceTime [T: TIME, G: GEOM, B: BASIC] estimate: {Obs} x (T,G) → B

  32. What do ST types have in common? type STgen [T: TIME, G: GEOM, B: BASE] operations: getObs: ST → {Obs} begins, ends: ST → T boundary: ST → G after, before: ST x T → ST during: ST x Period → ST

  33. Time Series Continuous variation of a property value over time (water table depth sensors)

  34. Time Series Type TimeSeries [T: TIME, B: BASE] uses ST operations: new: {Obs [T,S,B]} x IntValueInTime [T,B] → TimeSeries value: TimeSeries x T → B

  35. Moving objects MOVING OBJECTS Objects whose position and extent change continuously

  36. Moving objects individual entity that varies its location (and its extent) over time

  37. Moving Object data type type MovingObject [T: TIME, G: GEOM] uses ST operations: new: {Obs [T,G,B]} x IntSpaceInTime [T,G] → MovingObject value:MovingObject x T → G

  38. Moving Object data type distance: MovingObject x MovingObject → TimeSeries distance (mo1, mo2) { ObsSet oset for t = mo1.begin(); t <= mo1.end(); t.next() Point p1 = mo1.value (t) Point p2 = mo2.value (t) o1 = new Obs (t, dist (p1, p2)) oset.add (o1) ts = new TimeSeries (oset) return ts }

  39. HowmanywalrusesreachedBaffinisland?

  40. source: USGS • Coverage: T → G → B • Multi-temporal collection of values in space. • Two-dimensional grids whose values change • Samples from fixed or moving geosensors.

  41. source: USGS type Coverage [T: TIME, G1: GEOM, G2: GEOM, B: BASE] uses ST operations: new: {Obs [T, G1, B} x IntInSpaceTime[T, G1, B] x G2 → Coverage value:Coverage x G1 x T → B

  42. Functions on coverages getWaterArea (Coverage cov, Time t) area = 0 forall g inside cov.boundary() if cov.value (g,t) == "water” area = area + g return area }

  43. From a coverage to a time series

  44. From a coverage to a time series timeSeries: Coverage x S → TimeSeries timeSeries (c1, loc) ObsSet oset for t = c1.begin(); t <= c1.end(); t.next() Real v = c1.value (loc, t) o1 = new Obs (t, loc,val) oset.add ( o1 ) ts = new TimeSeries ( oset ) return ts }

  45. When did the large flood occur in Angra? When precipitation was > 10mm/hour for 5 hours Coverage set (hourly precipitation grid)  Event (precipitation > 10 mm/hour for 5 hrs)

  46. The event data type An event is an individual episode with a beginning and end, which define its character as a whole. An event does not exist by itself. Its occurrence is defined as a particular condition of one spatiotemporal type.

  47. The event data type Type Event [T1: TIME, T2: TIME] uses ST operations: new: {ST x (T1, T2) → Event compose:Event x Event → Event intersect: Event x Event → Event

  48. Eventcomposition Forest loss > 20% Exploração intensiva time Event 1 Perda >50% do dossel Loss > 50% Event 2 Perda >90% do dossel Loss > 90% Event 3 Corte raso Clearcut Event 4 Floresta Floresta

  49. When did the large flood occur in Angra?

More Related