<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Checking the Topological Consistency of Maps of Dierent Scales</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Dmitry Andrianov</string-name>
          <email>AndrianovDE@inbox.ru</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Sergey Eremeev</string-name>
          <email>sv-eremeev@yandex.ru</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Kirill Kuptsov</string-name>
          <email>kirill-kuptsov@rambler.ru</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Murom Institute (branch) of Vladimir State University</institution>
          ,
          <addr-line>Murom</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Currently methods for generalization of spatial information to obtain maps of dierent scales are actively being developed. These methods generally process geometric information such as linear and polygon objects. However, it is very important to take into consideration the topology between objects upon transition to maps of dierent scales since correct layout of spatial information can be lost. In this article we determine and solve the task of converting topological relationships between spatial objects for preserving topological correctness between them in multiscale geographic information systems. Possible models for transitioning topological relationships to other scales are mathematically described. This could be deleting, saving or creating new relationships. An algorithm which checks for topological correctness of dierent scale maps is oered. Use of this algorithm increases the accuracy of spatial objects layout in the case of automatic generalization of maps. Examples of the algorithm for city maps are shown.</p>
      </abstract>
      <kwd-group>
        <kwd>generalization of maps</kwd>
        <kwd>topological consistency of spatial objects</kwd>
        <kwd>topological relationships</kwd>
        <kwd>topology</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Topological relationships are widely used in geographic information systems
(GIS) [
        <xref ref-type="bibr" rid="ref1 ref2 ref3">1,2,3</xref>
        ]. One of the fundamental tasks in the area of GIS is analysis of
changes on maps [
        <xref ref-type="bibr" rid="ref4 ref5">4,5</xref>
        ]. Topological methods are very well suited for solving these
tasks. They allow for checking the correctness of an object’s location on a map
and nding topological errors [
        <xref ref-type="bibr" rid="ref6 ref7">6,7</xref>
        ]. However, many methods are limited in that
they analyze changes only at one level of map scale. The analysis of topological
changes at dierent scales of a map requires new approaches.
      </p>
      <p>
        The existing operations in this area are directed at saving topological integrity
in case of map generalization. Data models and methods are actively developed so
that, in case of automatic generalization of a map, the correctness of an object’s
location at other scales is automatically checked. Methods such as extending
the functionality of nine-intersection models for nding changes [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], methods of
triangulation [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], and hierarchical structures are used for this purpose [
        <xref ref-type="bibr" rid="ref10 ref11">10,11</xref>
        ].
Generally, these methods process the linear objects [
        <xref ref-type="bibr" rid="ref12 ref13">12,13</xref>
        ] and dicult objects
are represented as a set of linear ones [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. Thus, simplication of the linear
objects occures in the case of generalization so that there are no collisions.
Types of spatial objects can change upon transition to other scales, objects can
disappear, and also the topology between objects can change. This question is
of some importance for researchers. Thus, the analysis of changes of topological
relationships between spatial objects at dierent map scales requires detailed
study.
      </p>
      <p>One of the tasks of the multiscale topological analysis for checking topological
correctness of objects at dierent scales is considered and realized.</p>
      <p>Violation of topological correctness can happen for several reasons. It can be
seen in the case of automatic map generalization where there is a simplication
of objects that involves errors in their layout. Also it occurs on the manual
information input in case of superimposing a large number of layers where it is
rather dicult to provide the interaction of all linked objects.</p>
      <p>For example, A will be the polygon, B will be the linear object, and A contains
B (Figure 1).
The following variants are possible in case of generalization:
1. Preserving topology between A and B, and also preserving object types
despite that each object has some simplication (Figure 2a).
2. Preserving topology between A and B, but the type of one of the objects
changes; for example, the linear object B becomes a point (Figure 2b).
3. Disappearance of topology because of the absence of object B on the map
(Figure 2c).
4. Incorrect display of spatial objects in relationship to the initial map because
the object B is not included in the object A (Figure 2d).
5. Conversion of topology. The type of topological relationship between objects
changes, for example, B adjoins to A (Figure 2e).</p>
      <p>If we know how objects interact at one scale, it is important to use this
information in other scales that inherit these topological relationships.
In this article we propose to research the possible behavior of map objects upon
transition to other scales. The inheritance of topology and possible changes of
types of spatial objects are considered.</p>
      <p>a)
b)
c)
d)
e)</p>
      <p>For this purpose, it is necessary to develop topological rules of transitions
which will be correct for the selected type of topological relationships between
spatial objects. It will allow for increasing the accuracy of topological consistency
between objects at dierent map scales.
(1)
(2)
(3)
2</p>
      <p>Classication of possible transitions in multiscale GIS
Let R(A; B) be the topological relationship between objects A and B at some
scale. Besides the value of the topological relationship we will also consider the
type of geometry of objects; that is, their dimension. This relationship will look
thus:</p>
      <p>R(A; B) =&lt; t; gA; gB &gt;;
where t is the type of topological relationship;
gA; gB are dimensionalities of the geometry of objects A and B, respectively,
which take the following values: 0 is a point, 1 is a line, 2 is a polygon.</p>
      <p>Let the spatial scene after generalization be known. Then the relationship
between objects will be described as follows:</p>
      <p>R(A0; B0) =&lt; t0; gA0 ; gB0 &gt;;
where A will be transformed to A0, B will be transformed to B0.
Denition 1. Two spatial scenes consisting of two spatial objects are
topologically correct if the condition is satised:
(t = t0) ^ (gA
gA0 ) ^ (gB
gB0 ) = 1:</p>
      <p>That is, the same type of topological relationship remains and the
dimensionality of each object is no more than at the previous scale.
2.1</p>
      <p>Preserving topology and object types</p>
      <p>Let us consider the situation represented in Figure 3 where the topology and
type of objects remain the same.
t=t0 = adjunction;
gA = 1, gA0 = 1, i.e. gA
gB = 2, gB0 = 2, i.e. gB
gA0 ;
gB0 .</p>
      <p>Thus, all conditions are satised and the two maps are topologically correct.
2.2</p>
      <p>Preserving topology and change of object types
There are some situations when the topology remains but the spatial scene does
not always remain topologically correct to the previous scale. Let us consider
Figure 4:
In the rst case (Figure 4a) the point object B will be transformed in the
polygon object that hinders the execution of the conditions in the expression
(3), i.e.</p>
      <p>t = t0 = nesting;
gA = 2, gA0 = 2, i.e. gA gA0 ;
gB = 0, gB0 = 2, i.e. gB &lt; gB0 .</p>
      <p>Therefore, this case was not successful.</p>
      <p>In Figure 4b objects A and A0 do not change the dimensionality, the "nesting"
relationship type also remains, but the dimensionality type of objects B and B0
changes. But we see that gB = 2, gB0 = 0 and all conditions satisfy expression
(3). This means that the transition to another scale was successful.
2.3</p>
      <p>Disappearance of topology</p>
      <p>Some objects, upon transition to other scales, can disappear. In this case two
situations are possible:
deleting all relationships with this object;
redistribution of relationships.</p>
      <p>In the rst case (Figure 5) deleting object B doesn’t have any consequences on
a new map. In this case the object A0 can take any dimensionality.
In case of redistribution of relationships it is necessary to consider the following:
Denition 2. If the object B has relationship t with objects A and C but A and
C are not interconnected among themselves, then the new relationship between
objects A0 and C0 with relationship type t=t0 is formed after deleting B on a map
in the case of generalization.</p>
      <p>Correct transition to another scale is shown in the Figure 6a with the type t=t0
= "adjunction", and incorrect transition is shown in Figure 6b with types t =
"adjunction" and t0 = "nesting".</p>
      <p>a)
b)</p>
      <p>An exception to the rules is the situation concerning expression (3): when
another type of topological relationship between two objects upon transition to
another scale is formed and this transition is considered successful.
For example, the relationship type t between A and B in Figure 7 is
"intersection", and after generalization t0 is "adjunction".
Thus, at rst it is possible to show the relationship to the house, and only then
to supply communication. In order to account for such situations it is necessary
to store similar exceptions in a database for all couples of layers.</p>
      <p>These are such cases when the conditions from the expression (3) are not
satised and such situations are not present in a database of exceptions.</p>
      <p>For example, the house (object B) is near the lake (object A). This is shown
in Figure 8. In the case of generalization, B0 appears inside A0, and it is
inadmissible.</p>
      <p>Thus, the geographic information system considers such variants and controls
all possible listed cases, forbidding incorrect display of spatial data.
3</p>
      <p>Correctness check algorithm after transition to another
scale
The algorithm will contain the following main stages:
1. Extraction of data about types and the spatial relationships of map objects
before generalization.
2. Data collection about types and the spatial relationships of objects after
generalization.
3. Search for mismatched object types.
4. Search for changes of the spatial relationships between map objects.
5. Search for new topological relationships.
6. Detection of the absent relationships (if objects were not deleted).
7. Object search at which the parent object was removed.
8. Compilation of a report about generalization errors.
4</p>
      <p>Results
Objects of city infrastructure are shown in Figure 9. The map allows us to show
the correctness check and demonstrate the program’s capabilities. We will review
some examples of checking for topological consistency of multi-scale maps.
4.1</p>
      <p>Mismatch of an object type</p>
      <p>As a result, the program informs the user of an error.</p>
      <p>Change of the spatial relationship</p>
      <p>The following example is reviewed by a case of change in topological
relationships that is incorrect, except for special cases which are provided by the list
of exceptions. From Figure 10 it is visible that object B crossed the road. This
violates the topological relationship between objects. The topological
relationship between object G and the linear object disappeared but the relationship
between F and the linear object was saved.</p>
      <p>The user will receive the warnings about errors related to transformations and
formation of new topological relationships based on the developed rules.</p>
      <p>Figure 11a is the initial map and Figure 11b is a map on another scale. These
gures display only part of a map. This map contains about 30 layers and more
than 5000 objects. After operation of algorithm all topological errors are
displayed in the separate table which contains object IDs and type of topological
mismatch. 117 transitions to the new topological relationship are revealed upon
transition from one scale to another. Disappearance (or loss) relationships
between objects occurred in 209 cases. There are 483 cases of saving the topological
relationship and object types. In 262 cases the topological relationship remained,
but the type of one of objects changed. In 81 cases incorrect display of topological
relationship is made.</p>
      <p>At the moment direct analogs the oered system don’t exist. Therefore
comparing of operation of our algorithm was carried with operation of the expert.
Results of research are provided in Figure 12. It is visible that our system on each
of the provided types of the topological relations nds bigger percent of errors,
than the expert. Thus, advantage of our system in comparison with operation
of the expert is obvious.
As a result of the research of possible behavior of map objects upon transition
to other scales, rules of a consistency which allow for analyzing map objects and
their spatial relationships, while taking into account inheritance of topology and
possible changes of types of spatial objects, were developed. The consequence of
these rules extend both to everyday occurences, and to exceptional situations.</p>
      <p>The developed algorithms allow for increasing the accuracy of topological
coherence between objects at dierent scales. This eventually increases the quality
of map generalization.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Egenhofer</surname>
          </string-name>
          , Max. J.,
          <string-name>
            <surname>Mark</surname>
            ,
            <given-names>D. M.</given-names>
          </string-name>
          <article-title>Modeling conceptual neighborhoods of topological line-region relations //</article-title>
          <source>International Journal of Geographical Information Systems</source>
          .
          <year>1995</year>
          . Vol.
          <volume>9</volume>
          ,
          <string-name>
            <surname>N.</surname>
          </string-name>
          <year>5</year>
          . P.
          <volume>555565</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Eremeev</surname>
            ,
            <given-names>S. V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Andrianov</surname>
            ,
            <given-names>D. E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Komkov</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          <article-title>A. Comparison of Urban Areas Based on Database of Topological Relationships in Geoinformational Systems // Pattern Recognition</article-title>
          and
          <string-name>
            <given-names>Image</given-names>
            <surname>Analysis</surname>
          </string-name>
          .
          <year>2015</year>
          . Vol.
          <volume>25</volume>
          , N. 2. P.
          <volume>314320</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Andrianov</surname>
            ,
            <given-names>D. E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Eremeev</surname>
            ,
            <given-names>S. V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kuptsov</surname>
            ,
            <given-names>K. V.</given-names>
          </string-name>
          <article-title>The review of spatial objects recognition models</article-title>
          and algorithms // Procedia Engineering.
          <year>2015</year>
          . Vol.
          <volume>129</volume>
          . P.
          <volume>374</volume>
          <fpage>379</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Grger</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Plmer</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          <article-title>How to Get 3-D for the Price of 2-D-Topology and</article-title>
          Consistency of 3-
          <string-name>
            <given-names>D</given-names>
            <surname>Urban</surname>
          </string-name>
          GIS // Geoinformatica.
          <year>2005</year>
          . Vol.
          <volume>9</volume>
          ,
          <string-name>
            <surname>N.</surname>
          </string-name>
          <year>2</year>
          . P.
          <volume>139158</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Corcoran</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mooney</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Winstanley</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          <article-title>Planar and nonplanar topologically consistent vector map simplication //</article-title>
          <source>International Journal of Geographical Information Science</source>
          .
          <year>2011</year>
          . Vol.
          <volume>25</volume>
          ,
          <string-name>
            <surname>N.</surname>
          </string-name>
          <year>10</year>
          . P.
          <volume>16591680</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Sleyman</surname>
            ,
            <given-names>SM.</given-names>
          </string-name>
          <article-title>Topological error correction of GIS vector data //</article-title>
          <source>International Journal of the Physical Sciences. 2010</source>
          . Vol.
          <volume>5</volume>
          . P.
          <volume>476483</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Deng</surname>
          </string-name>
          , M., Cheng, T.,
          <string-name>
            <surname>Chen</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Li</surname>
            ,
            <given-names>Z.</given-names>
          </string-name>
          <article-title>Multi-level topological relations between spatial regions based upon</article-title>
          topological invariants // GeoInformatica.
          <year>2007</year>
          . Vol.
          <volume>11</volume>
          , N. 2. P.
          <volume>239267</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Shihong</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          <article-title>Analyzing topological changes for structural shape simplication //</article-title>
          <source>Journal of Visual Languages and Computing</source>
          .
          <year>2014</year>
          . Vol.
          <volume>25</volume>
          , N. 4. P.
          <volume>316332</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>van der Poorten</surname>
            ,
            <given-names>P. M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zhou</surname>
            ,
            <given-names>S</given-names>
          </string-name>
          , Jones,
          <string-name>
            <given-names>C. B.</given-names>
            <surname>Topologically-Consistent Map</surname>
          </string-name>
          Generalisation Procedures and
          <string-name>
            <surname>Multi-Scale Spatial</surname>
          </string-name>
          Databases // Geographic Information Science.
          <year>2002</year>
          . Vol.
          <volume>2478</volume>
          . P.
          <volume>209227</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Belussi</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Catania</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Podest</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          <article-title>Towards topological consistency and similarity of multi-resolution geographical maps</article-title>
          /
          <source>in Proceedings of the 13th International Symposium on Advances in GIS, P. 220229</source>
          .
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Breunig</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Thomsen</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Broscheit</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Butwilowski</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sander</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          <article-title>Representation and analysis of topology in multi-representation databases / in PIA07</article-title>
          . International Archives of Photogrammetry, Remote Sensing and Spatial Information Sciences,
          <string-name>
            <surname>P.</surname>
          </string-name>
          <year>167229</year>
          .
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Clementini</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Di</surname>
            <given-names>Felice</given-names>
          </string-name>
          ,
          <string-name>
            <surname>P.</surname>
          </string-name>
          <article-title>Topological invariants for lines // IEEE Transactions on Knowledge and Data Engineering</article-title>
          .
          <year>1998</year>
          . Vol.
          <volume>10</volume>
          , N. 1. P.
          <volume>3854</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Saalfeld</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          <article-title>Topologically Consistent Line Simplication with the Douglas-</article-title>
          Peucker Algorithm // Cartography and Geographic Information Science.
          <year>1999</year>
          . Vol.
          <volume>26</volume>
          , N. 1. P.
          <volume>718</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>da Silva</surname>
            ,
            <given-names>A. C. G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wu</surname>
            ,
            <given-names>S. T</given-names>
          </string-name>
          <article-title>A robust strategy for handling linear features in topologically consistent polyline simplication / in VIII Brazilian Symposium on GeoInformatics</article-title>
          , Advances in Geoinformatics, P. 117. Berlin: Springer-Verlag,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>