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.