A vocabulary for describing topological relations between features. \$Id: spatial# 81 2012-02-05 11:06:49Z non88sense@gmail.com \$ NeoGeo Spatial Ontology 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. connects with testing 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. disconnected from testing 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. discrete from testing 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. externally connected with testing Relation x=y, read as 'x is identical with y'. This relation holds when two regions are spatially co-located. equals testing A geographical feature, capable of holding spatial relations. Feature testing 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. is non-tangential proper part of testing Relation NTPPi(x,y), read as 'x non-tangentially properly contains y'. Inverse of the NTPP(x,y) relation. non tangentially properly contains testing 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. overlaps testing 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. is part of testing 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. partially overlaps testing 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. is proper part of testing Relation PPi(x,y), read as 'x properly contains y'. Inverse of the PP(x,y) relation. properly contains testing Relation Pi(x,y), read as 'x contains y'. Inverse of the P(x,y) relation. contains testing 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. is tangential proper part of testing Relation TPPi(x,y), read as 'x tangentially properly contains y'. Inverse of the TPP(x,y) relation. tangentially properly contains testing 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. inconsistent with unstable