Towards a General Theory of Geographic Representation in GIS May Yuan, Michael F. Goodchild, Thomas J. Cova Abstract We outline a general theory of geographic representation in GIS based on points as the fundamental geographic information primitive. Points are combined to build a geographic quartet of geo-objects field objects (f-objects), object fields (o-fields), and geo-fields through aggregation over space, time, or geo-semantics (meaningful information associated with a geographic location). Aggregation is the sole operation used to construct GIS representations of geographic reality and to incorporate interactions among any combination of geo-objects by organizing them into geo-pairs, geo-clusters, geo-hierarchies, and geo-networks. The general theory captures geographic dynamics through interactions among geo-objects, field objects, object fields, and geo-fields in these organizational frameworks of geo-pairs, geo-clusters, geohierarchies, and geo-networks. We envision that the general theory of geographic representation will provide a unified framework to GIS data modeling and broaden the dichotomy of objectand field-views of geography. The paper introduces the preliminary framework of the theory and defines the geographic quartet and the four organizations of interactions with examples. Keywords: geographic representation, space and time, objects and fields, GIS data modeling. 1. Introduction While the development of geographic data modeling techniques in geographic information systems (GIS) has thrived in the last five years, the development is largely driven by technology without a solid theoretical foundation. In this paper, we attempt to establish a foundation for a general theory of geographic representation to capture geographic dynamics in GIS data models. Recognizing that extensive GIScience research has addressed conceptual and theoretical issues on geographical space and time (Peuquet 2002), we contend a need for a general theory of geographic representation to underpin the diverse views of space-time integration and to bridge the gap between abstract concepts that address the essence of space and time and practical applications that call for concrete methods to handle spatiotemporal data. The discussions of field ontology that occurred in the 1990s (Couclelis 1992; Goodchild 1992) and in the Project Varenius specialist meeting on the Ontology of Fields (Peuquet et al. 1998) largely ignored the issue of time. Other developments, such as metamaps (Takeyama and Couclelis 1997) and object fields (Cova and Goodchild 2002), also need to be brought within a single unifying framework. A theoretical foundation of rigorous and robust representation is needed to fully support visualization and computation of spatiotemporal information that characterizes both happening and becoming of geographic worlds. In the next section, we inquire into the most fundamental elements of geography and propose a framework as the first step towards a general theory of geographic representation. Following the proposed framework is a discussion on how the proposed framework entails a general theory. Finally, we conclude the paper with a discussion of the novelty that our proposed framework brings to geographic representation and GIS data modeling. 2. Primitives of Geographic Representation We begin with three elements: space, time, and geo-semantics. Geo-semantics ( ) is used here for “geographic information meaningful to the user” to stress the selective and situational nature of geographies. What is at a geographic location depends upon the purpose, measurement, and interpretation of an observer. For example, for a given area, agricultural scientists are likely to identify soil types and soil properties that are distinctly different from the types and properties of soils that may be relevant to civil engineers, and while botanists see trees, ecologists may see forests. For space, we use a location vector (S) to address spatial dimension and geometry. Location may be referenced by absolute coordinates of x, y, and z, or positions relative to other geographic things of interest in the form, for example, of eastings, northings, and relative elevations. Similarly, we use a time vector (T) to indicate time of interest in multiple dimensions, that may include the time of happening (th), the time of observation (to), the time of recording (tr), and periodic time (tp) in the case of cyclic phenomena. 2.1 Geo-atoms i {S i , Ti , i } All geographic information can be decomposed into point sets or geo-atoms. An individual (i) geo-atom ( i ) consists of geo-semantics ( i ) measured, observed, or inferred at a point location ( S i ) and a given time (Ti ) . Points are used here to refer to a location within which a piece of geographic information can be associated; hence, cells are a specific type of point. We consider this atomic form (i.e. geo-atoms) of geo-semantics at a location at a given time the most primitive unit of geographic information; all other types of geographic information consist of aggregations of the atomic form, often over infinite point sets. Our premise is that points are the most primitive spatiotemporal element with which information can be associated to space and time. Higher-dimensional properties of lines, areas, and volumes are aggregates of point sets by thresholding geo-semantics or assuming uniform geo-semantics in the aggregation. For example, property lots are aggregates of point sets that have the same ownership, contours are aggregates of point sets based on elevation criteria, and the State of Hawaii is an aggregation of a point set under the administrative authority of the State of Hawaii. Direct measurements of lines (e.g. distance or length) are not considered as geo-semantics at individual locations but are relationships (in the case of distance) between location points or secondary properties (in the case of length) by identifying all linearly aligned location points that satisfy a given geosemantic threshold. 2.2 Geo-objects {ID, S , T , ST } aggregate ( S , T ) Geo-objects are what we identify as individuals in geography that cannot be further divided into individuals of the same kind. We consider that a geo-object is a uniquely identified (indicated by ID) location point set (S) and time set (T) in which geo-semantics meet certain requirements; S , T , ST indicates a qualified set of geo-semantics ST over space S and time T of interest. Notation (S) differs from notation (Si) in that S denotes a point set whereas Si marks an individual point. The same convention is applied to other notations throughout the paper. Under the consideration that geo-atoms are the most primitive units of geographic information, a 2 geo-object is a function that aggregates geo-atoms () within space (S) and time (T) of interest. Locations of the point set may be represented by Cartesian coordinates, relative coordinates, or mathematical expressions (e.g., circles, arcs of ellipses, and Bézier curves) and may include disjoint subsets for geo-objects that consist of multiple parts (e.g., multipoints, multipart polylines, multipart polygons as recognized in the OGC Simple Feature Specification, www.opengeospatial.org). Each geo-object must have a unique identifier (ID) to distinguish itself from the others. In some cases, the spatial location and extent of a geo-object are defined before geo-semantics are measured. Examples are census enumeration zones and lakes. Most current GIS data models take a space-centered approach that recognizes geographic objects by location and ascribes geometry to these objects. In doing so, new object identities are needed when changes occur to location or the geometry of an existing object. Alternatively, the formation of census enumeration zones can be considered as an outcome of a spatial aggregation based on geosemantics which have been measured previously (e.g., previous census) or are easily distinguished without measurements (e.g., locations of water or not water). From this perspective, a geo-object identity is not determined by location or geometry, but by its intrinsic properties that make it a geo-object of its kind as judged by geo-semantic requirements. “Portage” for example, was used as the county name for two spatially disjoint areas in Wisconsin at different times. When state-county names are used as county identifiers, the identity of Portage county is not tied to a particular geographic location. In addition to properties assumed uniform over the object (spatially intensive properties), properties at the set level are likely to emerge and may include measures of the point set (e.g., length, area) and integrals of spatially intensive properties. These set measures and integrals are spatially extensive properties which are closely dependent on and cannot be separated from line or area objects. The contrast between spatially intensive and extensive variables is described in (Longley et al. 2001). For example, population counts are a function of the area of the reporting zone. When a county is subdivided into two smaller units, the population density (a spatially intensive property) in its subdivisions may remain the same as the county population density, but population counts (a spatially extensive property) are likely to be different (unless one of the subdivisions has no population). Furthermore, many geo-objects have properties that are transitional in space. Their identities cannot be determined through aggregation of the geo-atoms that result from simply geo-semantic thresholding. Such a geo-object is characterized by its indeterminate boundaries and will be conceptualized here as a fuzzy point set (Burough and Frank 1996). When time is a consideration, the identities of geo-objects are critical to track through changes in location, geometry, and properties (Hornsby and Egenhofer 2000). Since a geo-object is an aggregate of geo-atoms under a set of geo-semantic criteria, its identity is determined by the defined geo-semantic criteria and spatial and temporal constraints to the aggregation. The defined geo-semantic criteria specify the range or discrete values (e.g. domain) within which geo-semantics can be considered as the properties of a geo-object. Only when a geo-atom has geo-semantic values at S i , Ti are within the domain, the geo-atom is part of the geo-object. When geo-semantic values meet the geo-semantic criteria at S i , Ti but not at S i , Ti 1 , the geoobject ceases to exist at S i either by moving out of the location, dissipating entirely, or transforming into another geo-object with a different identity. 3 Once the identity of a geo-object is determined, its spatiotemporal path and behavior can be represented and tracked by lifelines (Mark and Egenhofer 1998); and its spatiotemporal domain of accessibility can be represented by space-time prisms (Miller 1991). For geo-objects with geometry of higher dimensions (e.g. lines or polygons) or with multiple parts, space-time volumes are necessary to represent their spatiotemporal extent as elaborated in the SPAN ontology (Grenon and Smith 2004). While observations of a lifeline or spatiotemporal geo-object are discrete, various interpolation methods (e.g. linear or curvilinear) may be applied to estimate intermediate locations and geometry between temporal observations (Pfoser and Jensen 2001; Stroud et al. 2001; Pfoser et al. 2003). In addition to trajectories, additional parameters are necessary to record geo-objects which may change geometry over time. An example is the helix representation that uses a spline to track the location of a geo-object’s centroid and prongs to record the extension of the geo-object in different directions at each point in time (Agouris and Stefanidis 2003). Aggregation of geo-atoms to form a geo-object is subject to spatial and temporal constraints by the nature of the geo-object, and such spatiotemporal constraints can be used to select appropriate interpolation methods as discussed above. A geo-object only exists in certain spatial and temporal extents bound by biological, physical, or administrative processes through which geographic entities are formed. At the highest level, no geo-objects on Earth can have a spatial extent greater than the surface of the Earth. Under constraints of physical processes, the largest hurricane recorded (Typhoon Tip) extended out to 1,100 km, and the smallest (Cyclone Tracy) was about 50km in radius. In addition, geo-objects have life expectancy; some may be ephemeral (e.g., rainstorms), but others can be long-lasting (e.g. mountains). Some geo-objects must be conterminous in space and time (e.g., a reservoir or a pollution plume), but others may have spatially or temporally disjoint parts (e.g., a wildfire or a country). In summary, geo-objects are formed by aggregating geo-atoms under spatial, temporal, and geo-semantic constraints. Identities of geo-objects are recognized by spatial and temporal extents in meeting certain geo-semantic requirements. Changes to a geo-object over time can be tracked based on identities. Some geo-objects may have spatially or temporally disjoint parts. These geo-objects consist of discrete point sets S , T , ST , but these discrete point sets are united by a common geo-object identity. On the one hand, geo-objects are ‘discovered” by spatiotemporal aggregation of locations with qualified geo-semantics; in other words, geosemantics are measured prior to the identification of geo-objects. On the other hand, geo-objects may be recognized by distinct geo-semantic discontinuity which enforces the perception of boundaries, and consequently the extents over which spatial and temporal aggregation takes place. In such cases, geo-semantics are characterized after the identification of geo-objects. 2.3 Geo-fields: f (S , T ) aggregate ( ) A geo-field is a continuous field characterizing the variation of a single spatial variable ( ) of the geo-semantics ( ) over space (S ) . Similar to geo-objects, a geo-field can be also be considered as an aggregate function of geo-atoms within geo-semantics: aggregate ( ) .When time (T) is a constant, the field represents the spatial variation of at a given time; whereas, when time of interest is a period, we have a space-time field that represents how the state of a spatial property transitions over time. Multivariate fields, such as vector fields, are considered as 4 geo-semantic aggregates of univariate fields. As such, multiple spatial variables (recorded as a vector array) are measured at individual predefined locations. Geo-fields are distinguished from geo-objects in two fundamental ways. First, the boundary of a geo-field is determined by the interest of an observer over a domain (Peuquet et al. 1998), not by geo-semantic thresholds. Nevertheless, boundaries inside a geo-field may be determined by thresholding geo-semantics, such as the choropleth maps or the area-class map (Mark and Csillag 1989). Hence, spatial aggregation that forms a geo-field takes precedence to the measurement of geo-semantics. In contrast to the identity of a geo-object, locations and their spatial configurations constitute the unit of observation, measurement, or inference (including interpolation). Second, geo-fields over space and time represent changes of geo-semantics at locations in a pre-defined spatial and temporal reference framework. Since all locations are predefined and spatial variables are measured as properties at each location, a geo-field contains no empty space and allows no movement. While temporal information of a geo-object may refer to changes to location, geometry, geo-semantics, and identity, temporal information of a geo-field records geo-semantic histories at individual locations. In GIS practice, locations and spatial configuration of locations can be defined in various ways. Below are six common approaches to constructing a digital representation of a 2D geofield (Goodchild 1992): piecewise constant, such that the variable is constant within each of a set of nonoverlapping, space-exhausting polygons (the choropleth map, and the area-class map in the nominal case); piecewise linear in a triangular mesh (the triangulated irregular network or TIN); piecewise constant in a regular grid (normally rectangular in the two-dimensional case); sampled at a set of irregularly spaced points; sampled at a set of points in a regular array (normally rectangular in the two-dimensional case); sampled along a set of isolines. The sampling schemes adopted in the last three cases represent only the measurements of the focal spatial variable at the sampled points or lines. Spatial interpolation methods are required to provide estimates of the value of the field away from the sampled points or lines. The six approaches are clearly not the only possible methods of representing a geo-field. Finite-element meshes (Topping et al. 2003) cover an area with a mixture of triangles and quadrilaterals, modeling the variation of a geo-field within each element as a polynomial function of location, and imposing continuity constraints across element boundaries. The finiteelement meshes define a geo-field in two levels: Likewise, the triangular irregular network (TIN) model can be extended to represent geo-fields with two levels of aggregates by adopting similar strategies used in the finite-element meshes to ensure continuity across element boundaries. Nevertheless, the TIN model is conventionally implemented with a spatial variable (such as elevation) as a linear function of location within individual elements of triangles (i.e., with spatially continuous elevations within each triangle); discontinuity of slope occurs across element boundaries in a TIN unless additional constraints are imposed. 2.4 O-fields: f { f (S , T ), } and F-objects: f { f ( S , T ), S , T } 5 As discussed previously, geo-objects are aggregates of geo-atoms over space and time based on geo-semantic thresholds; geo-fields are aggregates of geo-atoms on geo-semantics based on space and time. In other words, for geo-objects, we first identify geo-semantic thresholds and then form geo-objects by spatiotemporal aggregation of geo-atoms meeting the geo-semantic requirements. For geo-fields, we first identify the space and time of interest and then aggregate geo-semantics, one geographic variable at a time. We further adopt the concept of ‘aggregation” to cut across the conventional views of objects and fields in geographic representation such that we aggregate objects over a field to form an object field (o-field), and we aggregate fields within an object to form a field object (f-object). An o-field maps locations in a field to objects (Cova and Goodchild 2002): f { f (S , T ), } where the field function: f ( S , T ) maps a geo-object set () to a set of locations (S) over time (T). Given a point set (S) and time set (T), we can map every location in a geo-field to a viewshed geo-object. Furthermore, we can map viewsheds at locations over time to illustrate how line of sights at locations change over time as the morphological landscape changes, a useful method for archaeological research. What geo-objects are to be associated with each location in an o-field and how these geo-objects may be influenced by the changes in the ofield is determined by two factors: (1) the interest of the observer or the inquiry of a problem domain as different observers or problem domains encounter different geo-objects of interest at locations; (2) the degree to which properties of the field change in the time interval of interest and functional relationships between the properties and the geo-objects. For example, geoobjects of burns by wildfire at a location are insensitive to changes in elevation at locations over time; however, geo-objects of viewsheds or drainage paths are closely related to elevation. Geomorphic erosion and deposition can change viewshed size and drainage patterns at the impacted location. When these geo-objects have uncertain boundaries, an o-field can map locations to measures of set memberships that indicate degrees to which a location in the o-field may be associated with a set of geo-objects. Likewise, a field object (f-object) emerges when we aggregate geo-fields to form geoobjects. As such, each of the geo-objects inherit properties of geo-fields to represent spatial variation of the geo-object’s properties (Yuan 1999): f { f ( S , T ), S , T } , where the function f (S,T) maps a set of locations and time points to spatial variables of geo-semantics, and the function is applied to different sets of location points (S) over time (T) to form an f-object ( f ) . Like geo-objects, f-objects may also associates with different sets of locations when changes occur to locations, geometry, or parts (e.g. movement, dilation, contraction, split. or merge) Fobjects bring an additional dimension of change: changes in internal structure that is unaccounted for in geo-objects, geo-fields, and o-fields. The spatial variation of geo-semantics embedded in an f-object can be indicative of physical dynamics that drive the development of the f-object over space and time. For example, the winds, precipitation, temperature, and pressure fields of a convective storm characterize the dynamics and stability of the storm and how it may evolve under certain atmospheric conditions (Yuan 2001). The set of geo-semantics associated with an f-object is bounded by the spatiotemporal extent of the f-object. As the f-object moves, it carries the embedded geo-fields with it. The changes of geo-fields inside an f-object signify how the f-object interacts with the environment and its dynamics, and how the environment may continue to evolve. 6 Ev R Mo olv igi vi ing d ng Dynamic Static Geometry St ati c M ov em en t Dy na m ic We synthesize the continuum of geoobjects, f-objects, o-fields, and geo-fields in a cube with three dimensions of potential Moving Moving Elastic Elastic changes (static: no change vs. dynamic: Uniform Evolving change over time): Geometry, Movement, and Internal Structure (Figure 1). The geographic object-field continuum illustrates the transitional nature of geo-atom aggregation Stationary Stationary according to the degree of constraints imposed Elastic Elastic on spatiotemporal extents and geo-semantic Uniform Evolving thresholding. Judgment of "static" or "dynamic" depends upon the scale and Stationary Stationary Moving resolution of observations and analysis, and Rigid Rigid Rigid inherently involves uncertainty. The geometry Uniform Evolving Uniform of an object may be considered static at one Static Dynamic spatiotemporal scale and resolution, but may Internal Structure be dynamic at another. Similarly, scale and resolution will determine if movement or internal structure should be considered static Object-dominance blocks or dynamic. For example, a forest may be seen Field-dominance blocks as static in its internal structure at a national scale, as a uniform areal feature with attributes Figure 1: The Cube of Dynamics (such as the name of the forest, ownership, primary net production, etc.) applicable to the entire area. However, its internal structure becomes important when observed at a local scale, such as in an analysis of the ecological dynamics in the forest, when internal structure is then considered dynamic. The cube also represents a continuum of objects and fields according to the degree to which geo-atoms are aggregated in space, time, and geo-semantics. The dimension of Internal Structure separates object dominance (static internal structure in which all geo-atoms possess constant values of geo-semantics) from field dominance (evolving internal structure, i.e., with spatial and temporal variations of geo-semantics). On the object-dominance side, we have geoobjects that do not have variation in their internal structure and are distinguished by their ability to change geometry or move over time. Likewise, static geometry denotes geo-objects with rigid shape, while dynamic geometry characterizes elastic geo-objects which may experience shape change over time. Below are examples of objects in each of the blocks characterized by object dominance (static internal structure): Stationary rigid uniform objects: buildings and streets in a city. Stationary elastic uniform objects: the seasonal expansion or contraction of a lake when only the area of the lake is considered. Moving rigid uniform objects: vehicle tracking and space-time life lines. Moving elastic uniform objects: a spreading wildfire when only the burn scar is considered. 7 Alternatively, a geo-field can represent a property of a pre-defined area (e.g. satellite images) or a geo-object. Conventionally, a geo-field is bounded by a pre-defined quadrilateral area that is determined by instruments, measurements, or area of interest. When geo-fields are embedded in a geo-object, the geometry of the geo-object determines the shape and location of its geo-fields. The geo-object is, therefore, an aggregate of geo-fields in space and time. For example, a temperature field of the United States is bounded by the U.S. territory. As long as the U.S. geometry remains the same, the geometry of the temperature field is constant. However, the geometry of a geo-field will vary as its parent geo-object's shape or location changes. An example is a geo-field of landuse and landcover (LULC) within a metropolitan area. When the metropolitan area expands (e.g. urban sprawl), the LULC field changes its size and shape accordingly. How the embedded geo-fields evolve represents the internal dynamics of the parent geo-objects; yet how the parent geo-object moves (e.g., rotates, jumps) and develops (e.g., splits, merges) reflects the meta-structure of its embedded geo-fields. Furthermore, evolution of the embedded geo-fields and the dynamics of the parent geo-object are inter-dependent: geo-field evolution can drive changes in geo-object dynamics, and vice versa. Below are examples of fields in each of the blocks characterized by field dominance (dynamic internal structure): Stationary rigid evolving field: soils in a watershed and digital elevation models. Stationary elastic evolving field: temperature of heat-island effects in an urban area, and vegetation cover during desertification. Moving rigid evolving field: surface properties of drifting islands. Moving elastic evolving field: oil spills and hurricanes. Overall, the cube offers a conceptual basis to build an integrated geo-ontology by considering different kinds of objects and fields in geography. With the idea that all geo-objects and geo-fields can be interpreted by various forms of aggregation in space, time, and geosemantics, we obtain a much richer and more simplified GIS framework to represent geography than the conventional approach that stresses a static object-field dichotomy, entity geometry, field variables, or time series of features or raster layers. The proposed geographic representation is richer than the conventional approaches because the degree of aggregation results in a geographic quartet of objects, f-objects, o-fields, and fields that have been overlooked by previous GIS data modeling efforts. In addition, the proposed representation simplifies GIS data modeling by a single concept: aggregation of geo-atoms in space, time, and geo-semantics, to address the entire object-field quartet while providing a means to investigate dynamics involved in the quartet. As such, the proposed framework provides a step towards a general theory for geographic representation for two reasons: (1) It enables a unified view to all geographic in the object-field quartet; and (2) It allows prediction of potential dynamics involved in geography through interweaving elements in space, time, and geo-semantics within geo-objects and geofields, and across objects and fields in geography. 3. Interactions and Aggregation The ability to represent and predict potential dynamics require understanding both individuals and groups, as well as interactions at both levels. The cube in Figure 1 depicts eight types of “geographic things.” Here we use “geographic things” as a general term for things that can be considered as geo-atoms, geo-objects, f-objects, o-fields, or geo-fields. The idea of aggregation of space, time, or geo-semantics to form geographic things is extendable to the 8 formation of geographic groups. Interactions among geographic things and groups in space, time, or geo-semantics are essential to the understanding of geographic processes, and therefore dynamics because interactions drive certain organizational structures that reflect the dynamics involved at the group level or between individuals and groups. Interactions over space, in the form of flows of people and goods or telephone and Internet traffic, for example, are important in most social and physical processes operating on the geographic landscape. We consider four types of aggregation to capture geographic interactions: geo-pairs, geo-clusters, geo-hierarchies, and geo-networks, depending on the linkages among individuals and groups. Geo-pairs bond two geographic things because some geo-semantics arise, and can only be meaningfully examined, by looking at pairs. For geo-atoms, a metamap connects pairs of cells and the properties associated with the pairs (Takeyama and Couclelis 1997). Such geo-pairs can be obtained from the Cartesian product of a raster with itself, each pair or element of the product being characterized by a set of attributes. (Goodchild 2000) has generalized this concept to any pair of geo-objects, using the term object-pair. In the Unified Modeling Language (UML) attributes of the relationship between two features would be organized as an association class or relationship class. At the geo-atomic level we might represent this as f (1 , 2 ) to capture that geo-semantics () result from a function of two geo-atoms (1 , 2 ) . Geo-clusters form un-connected groups based on distance in space, time, geo-semantics, or some combination of the three domains. Various spatial, temporal, or spatiotemporal analysis methods provide the means to acquire clusters based on spatial autocorrelation. Spatialization of geo-semantics (Skupin and Fabrikant 2003; Randviir et al. 2004) computes distances in attribute space to investigate similarity. Geo-clusters often offer a basis to formulate hypotheses to investigate forces which drive geo-clusters or to predict the future development of geo-clusters. Geo-hierarchies institute a hierarchical structure among geographic things (i.e., geoatoms, geo-objects, f-objects, o-fields, and geo-fields). Imagery pyramids that build multiple levels of images at different resolutions are examples of geo-field hierarchies. Similarly, geohierarchies can form by aggregates of o-fields. A geo-hierarchy may include any combination of geo-atoms, geo-objects, f-objects, o-fields, and geo-fields. For example, a geo-hierarchy may constitute o-fields of elevation and drainage basins, each drainage basin (an f-object) consists of soil moisture (a geo-field), and each location at the geo-field of soil-moisture has a set of sensors (geo-objects) used with a kriging method to estimate the soil moisture at that location. Of most interest in geographic dynamics are hierarchies that result from geographic processes operating at different spatial and temporal scales. Geo-objects, for example, that result from global geographic processes can manifest themselves globally (such as areas of extreme temperatures from greenhouse effects); while those from local processes will be confined at the local scale (such as damage areas from flash floods). Nevertheless, local processes may be triggered by global processes, as when global climate change triggers glacier thinning in Alaska (Motyka et al. 2003). Hierarchies of geographic things form as a result of hierarchies among the processes that produce these geographic things. Hierarchy theory provides a systematic way to analyze and understand hierarchical structures of processes operating at different spatial and temporal scales, as well as geographic things and their behavior in response to hierarchies of processes (Allen and Starr 1982; Ahl and Allen 1996). Geo-networks connect geographic things in a network structure such that there are no determined parent-child relationships as clearly defined in geo-hierarchies. Transportation and 9 utility applications fit well with such network structures. Additionally, groups of geographic things that exhibit feedback mechanisms likely relate to each other in networks for their cyclic influence. For example, LULC may trigger regional climate change which in turn pushes policy changes to enforce LULC compliances to minimize negative impact on climate. From a system’s perspective, feedbacks are common to most geographic processes, and geographic things, as products or agents of geographic processes, will likely propagate in a network structure. When a geo-network consists of some combination of geo-objects, f-objects, o-fields, and geo-fields, the geo-network can express how driving forces or trigger agents (usually considered as geo-objects or f-objects) act on the environment (usually considered as o-fields or geo-fields) which, meanwhile, promotes or suppresses these forces through modification of agent behavior. Dynamics among geographic things can become apparent in a geo-network. For example, a network of ozone depletion will link geo-fields of climatic parameters (temperature, precipitation, etc.), geo-fields of greenhouse gases, o-fields of upwind sources of ozone precursors at each location, and f-objects of pollution plumes. As to the ozone hole, it can be considered as an f-object with variation of ozone column inside the hole. However, it can also be considered as a geo-object to determine the size of the ozone hole in which all locations have ozone column < 220 Dobson units. 4. Concluding Remarks Central to this paper is the emphasis on a unified theory for geographic representation. GIS researchers have long focused on separate object- or field-based technologies for GIS data modeling and analysis. While technological advances contribute greatly to GIS software, a weak theoretical basis hampers real scientific breakthroughs. On the other hand, much conceptual research reveals intrinsic and singular properties of space and time. Our premise posits a need to bridge the gap between technological needs for implementation and conceptual understanding of space and time abstractions. A general theory of geographic representation will serve the purpose by providing a unified, integrated view of geography, an operational framework for data modeling, and a means for computation and prediction. The proposed framework is a step towards to a general theory of geographic representation. We start with the geographic primitive: geo-atoms, each of which is an observation, a measurement, or an inferred value at a location taken at a time. Geo-atoms are represented by an array of space (e.g. location and geometry), time (different kinds of time), and geo-semantics (geographic observations, measurements, or inferences meaningful to the user). We adopt one single operation, aggregation, by thresholding space, time, geo-semantics, or some combination to form a geographic quartet of geo-objects, f-objects, o-fields, and geo-fields. We understand that o-fields may be better considered as geo-pairs of geo-objects and geo-fields, and consequently aggregates of geo-atom pairs rather than geo-atoms as for geo-objects, fobjects, and geo-fields. On the other hand, o-fields can still be aggregates of geo-atoms if we consider that geo-semantics inlcude geo-objects (that is, geo-objects can be meaningful observations at a location to the user and therefore geo-objects can be properties at locations). In doing so, we are able to unify object- and field-based views of geography by varying degrees of aggregation. We synthesize the geographic quartet in a cube of three parameters: shape, movement, and internal structure and consider if each of the parameters will change over time (i.e. static vs. dynamic). Finally, we outline four types of interaction (i.e., geo-pairs, geoclusters, geo-hierarchies, and geo-networks) reflecting upon how geographic things can be 10 aggregated into groups. Each type of the interaction aggregates geographic things by some combination of geographic things across the quartet to capture interactions induced by geographic processes and therefore dynamics at the group level. We consider the framework a basis for theoretical developments for representation of geography because it enables a unified view of geography and allows for structuring and prediction of geographic dynamics. A comprehensive formalization of the proposed framework is necessary to develop such a general theory and integrate it into GIS data modeling. In the meantime, we are building use-cases to prove the concepts presented and to demonstrate their value. References Agouris, P. and A. Stefanidis (2003). " Efficient Summarization of SpatioTemporal Events." Communications of the ACM 46(1): 65-66. Ahl, V. and T. F. H. Allen (1996). Hierarchy Theory: A Vision, Vocabulary, and Epistemology. New York, Columbia University Press. Allen, T. F. H. and T. B. Starr (1982). Hierarchy: Perspectives for Ecological Complexity. Chicago and London, The University of Chicago Press. Burough, P. A. and A. U. Frank, Eds. (1996). Geographic objects with indeterminate boundaries. GISDATA. London, Taylor & Francis. Couclelis, H. (1992). People manipulate objects (but cultivate fields): beyond the raster-vector debate in GIS. Theories and methods of spatio-temporal reasoning in geographic space. I. C. A. U. Frank and U. Formentini. Berlin, Springer Verlag. Cova, T. J. and M. F. Goodchild (2002). "Extending geographical representation to include fields of spatial objects." International Journal of Geographical Information Science 11, no 16(6): 509-532. Goodchild, M. F. (1992). Geographical data modeling. Computers & geosciences. 18: 401-408. Goodchild, M. F. (2000). GIS and Transportation: Status and Challenges. GeoInformatica 4, no. 2: 127-139 (13 pages). Grenon, P. and B. Smith (2004). "Spatial cognitiSNAP and SPAN: Towards Dynamic Spatial Ontology." Spatial cognition and computation(1): 69-104. Hornsby, K. and M. Egenhofer (2000). "Identity-based change: a foundation for spatio-temporal knowledge representation." International Journal of Geographical Information Science 14, no 3: 207-224. Longley, P. A., et al. (2001). Geographic Information Systems and Science. New York, Wiley. Mark, D. M. and F. Csillag (1989). " The nature of boundaries on 'area-class' maps." Cartographica 26: 65-78. Mark, D. M. and M. J. Egenhofer (1998). Geospatial lifelines. Integrating Spatial and Temporal Databases. O. Gunther, T. Sellis and B. Theodoulidis. Schloos Dagstuhl, Germany. Miller, H. (1991). "Modeling accessiblity using space-time prism concepts within a GIS." International Journal of Geographical Information Systems 5(3): 287-301. Motyka, R. J., et al. (2003). "Twentieth century thinning of Mendenhall Glacier, Alaska, and its relationship to climate, lake calving, and glacier run-off." Global and planetary change 35(1): 93 (20 pages). Peuquet, D. J. (2002). Representation of Space and Time. New York, The Guilford Press. 11 Peuquet, D. J., et al. (1998). The ontology of fields: Report of a Specialist Meeting Held under the Auspices of the Varenius Project. Bar Harbor, Maine, the National Center for Geographic Information and Analysis (NCGIA): 42. Pfoser, D. and C. S. Jensen (2001). Querying the trajectories of on-line mobile objects. the 2nd ACM international workshop on Data engineering for wireless and mobile, Santa Barbara, California, United States, ACM Press. Pfoser, D., et al. (2003). "Generating semantics-based trajectories of moving objects Building temporal topology in a GIS database to study the land-use changes in a rural-urban environment." Computers, Environment and Urban Systems 27(3): 243-263. Randviir, A., et al. (2004). "Spatialization of knowledge: Cartographic roots of globalization A new assessment of European forests carbon exchanges by eddy fluxes and artificial neural network spatialization." Semiotica 150, no 1: 227-256 (30 pages). Skupin, A. and S. I. Fabrikant (2003). "Report Papers - Spatialization Methods: A Cartographic Research Agenda for Non-geographic Information Visualization." Cartography and geographic information science 30(2): 99 (22 pages). Stroud, J. R., et al. (2001). "Dynamic models for spatiotemporal data." Journal of the Royal Statistical Society: Series B (Statistical Methodology) 63, no 4: 673-689 (17 pages). Takeyama, M. and H. Couclelis (1997). "Map dynamics: integrating cellular automata and GIS through geo-algebra." International Journal of Geographical Information Science 11(1): 73-91. Topping, B. H. V., et al. (2003). Finite element mesh generation, Saxe-Coburg Publications. Yuan, M. (1999). "Representing geographic information to enhance GIS support for complex spatiotemporal queries." Transactions in GIS 3(2): 137-160. Yuan, M. (2001). "Representing Complex Geographic Phenomena with both Object- and Fieldlike Properties." Cartography and Geographic Information Science 28(2): 83-96. 12