GREEN
发表于 2025-3-25 05:45:14
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
渐强
发表于 2025-3-25 07:44:23
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
发表于 2025-3-25 14:38:36
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
发表于 2025-3-25 17:46:35
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
发表于 2025-3-25 22:38:03
http://reply.papertrans.cn/88/8736/873512/873512_25.png
描绘
发表于 2025-3-26 03:53:34
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
禁止
发表于 2025-3-26 05:21:56
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
发表于 2025-3-26 10:57:52
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
乐章
发表于 2025-3-26 16:39:06
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
发表于 2025-3-26 18:41:07
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