A vocabulary for describing topological relations between features. $Id: spatial# 81 2012-02-05 11:06:49Z non88sense@gmail.com $NeoGeo Spatial OntologyRelation 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 withtestingRelation 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 fromtestingRelation 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 fromtestingRelation 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 withtestingRelation x=y, read as 'x is identical with y'. This relation holds when two regions are spatially co-located.equalstestingA geographical feature, capable of holding spatial relations.FeaturetestingRelation 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 oftestingRelation NTPPi(x,y), read as 'x non-tangentially properly contains y'. Inverse of the NTPP(x,y) relation.non tangentially properly containstestingRelation 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.overlapstestingRelation 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 oftestingRelation 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 overlapstestingRelation 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 oftestingRelation PPi(x,y), read as 'x properly contains y'. Inverse of the PP(x,y) relation.properly containstestingRelation Pi(x,y), read as 'x contains y'. Inverse of the P(x,y) relation.containstestingRelation 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 oftestingRelation TPPi(x,y), read as 'x tangentially properly contains y'. Inverse of the TPP(x,y) relation.tangentially properly containstestingAlthough 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 withunstable