NeoGeo Spatial Ontology

A vocabulary for describing topological relations between features. $Id: spatial# 81 2012-02-05 11:06:49Z non88sense@gmail.com $

Feature

A geographical feature, capable of holding spatial relations.

connects with

Relation C(x,y), read as 'x is connected with y'. This relation holds when two regions share a common point. It is the primitive relation in the RCC theory.

disconnected from

Relation DC(x,y), read as 'x is disconnected from y'. In order to prevent an exponential growth of triples when handling large amounts of data, a closed world assumption may also be possible. More precisely, by considering not explicitely connected regions as discrete regions. Moreover, discrete regions, which are not explicitely labeled as externally connected, would be considered disconnected from eachother.

discrete from

Relation DR(x,y), read as 'x is discrete from y'. In order to prevent an exponential growth of triples when handling large amounts of data, a closed world assumption may also be possible. More precisely, by considering not explicitely connected regions as discrete regions. Moreover, discrete regions, which are not explicitely labeled as externally connected, would be considered disconnected from eachother.

externally connected with

Relation EC(x,y), read as 'x is externally connected with y'. This relation holds, when the two regions share at least one common point of their borders, but share no points of their interiors, i.e. they do not overlap.

equals

Relation x=y, read as 'x is identical with y'. This relation holds when two regions are spatially co-located.

is non-tangential proper part of

Relation NTPP(x,y), read as 'x is a non-tangential proper part of y'. This relation holds, whenever a region x is labeled as a proper part of a region y, and they do not share common point in their borders.

non tangentially properly contains

Relation NTPPi(x,y), read as 'x non-tangentially properly contains y'. Inverse of the NTPP(x,y) relation.

overlaps

Relation O(x,y), read as 'x overlaps y'. A region x overlaps a region y, if they share at least one common point of their interiors.

is part of

Relation P(x,y), read as 'x is a part of y', holds whenever the region x is contained within the borders of the region y.

partially overlaps

Relation PO(x,y), read as 'x partially overlaps y'. A region x overlaps a region y, if they share at least one common point of their interiors, and one does not contain the other within its borders.

is proper part of

Relation PP(x,y), read as 'x is a proper part of y', means that the region x is contained within the borders of the region y, and region y is not contained within the borders of the region y, which means they are not equals.

properly contains

Relation PPi(x,y), read as 'x properly contains y'. Inverse of the PP(x,y) relation.

contains

Relation Pi(x,y), read as 'x contains y'. Inverse of the P(x,y) relation.

is tangential proper part of

Relation TPP(x,y), read as 'x is a tangential proper part of y'. This relation holds, whenever a region x is labeled as a proper part of a region y, and they share at least one common point in their borders, which means that they are externally connected.

tangentially properly contains

Relation TPPi(x,y), read as 'x tangentially properly contains y'. Inverse of the TPP(x,y) relation.

inconsistent with

Although this relation is not a part of the RCC theory, it has been introduced in order to detect relations between regions which are inconsistent with the RCC axioms.