Titlebook: Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Scienc; International Confer Christian Freksa

GREEN

A Predication Calculus for Qualitative Spatial Representationsd) or connects thematic predicates with spatial entities (Joan Smith owns the field). Formal models of spatial information are concerned with the question of how the structure of space is related to inferences about spatial information. Therefore, in addition to formal models of the structure of spa

渐强

Simple Models for Simple Calculihe composition table. We show that simple structures, viz. sets and general topological spaces provide natural weak models. Conversely, we prove that for any finite weak model there are finite structures upon which the model is based. We interpret the construction of the models described by Renz as

Expediency

Terminological Default Reasoning about Spatial Information: A First Stepon this description logic language called ., which is briefly introduced, we discuss an algorithm for computing so-called extensions (“possible worlds”) of a world description and a set of defaults. We conclude with an application of the theory to problems in visual query systems and demonstrate the

CAGE

Reasoning about Cardinal Directions Using Grids as Qualitative Geographic Coordinatesystems in maps. Grids in maps can be considered as absolute reference systems. The analysis reveals that the basic information coded in these reference systems is ordering information. Therefore, no metric information is required. We show that it is unnecessary to assume a coordinate system based on

incite

描绘

Atomicity vs. Infinite Divisibility of Spacepace as primitive entities. In particular, the axiomatization of mereotopologies has been extensively studied. However, properties of space such as divisibility, density and atomicity haven’t attracted much attention in this context. Nevertheless, atomicity is especially important if one seeks to bu

禁止

The Mereotopology of Discrete Spaceive data inhabited by “real-world” applications. Amongst many possible reasons for this, we concentrate on the incongruity between the continuous-space models favoured by high-level approaches and the discrete, digital representations used at the lower level. In this paper a preliminary attempt is m

Ligneous

Agglomerationsg methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regio

乐章

Ontology and Geographic Objects: An Empirical Study of Cognitive Categorizatione that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subj

Oversee

Conference proceedings 1999ncerned with cognitive and applied aspects of representing large-scale space, particularly geographic space. In these meetings, the need for a well-founded theory of spatial information processing was identified. The COSIT conference series was established in 1993 as a biennial interdisciplinary Eur