<!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>Representing spatial uncertainty and allowing for probabilistic topological functions with SUFF, an extension to GeoSPARQL</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Nicholas J. Car</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>KurrawongAI</institution>
          ,
          <addr-line>Brisbane</addr-line>
          <country country="AU">Australia</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The Spatial Uncertainty for Features &amp; Functions (SUFF) Model is a small extension ontology to GeoSPARQL that allows for spatial uncertainty, sometimes called fuzziness, in the representation of spatial geometries and for probabilistic topological calculations using them. It introduces ontological elements that allow standard GeoSPARQL geometries to be associated in new ways, allowing for diferent forms of handling uncertainty, including for visualisation. It describes how standard topological functions, such as those made available in Semantic Web form by GeoSPARQL, may be applied to collections of geometries and yield probabilistic results.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;GeoSPARQL</kwd>
        <kwd>geospatial</kwd>
        <kwd>Semantic Web</kwd>
        <kwd>OWL</kwd>
        <kwd>OGC</kwd>
        <kwd>uncertainty</kwd>
        <kwd>probabilistic</kwd>
        <kwd>Levels of Measurement</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        The GeoSPARQL standard [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] provides classes and properties for the representation of spatial
information in Semantic Web [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] form. The main classes are Feature and Geometry with the
former holding conceptual information about a spatial objects and the latter representations
of its spatial projection, such as a polygon defined with coordinates. Predicates for indicating
diferent forms of geometry projection serialization, topological relations between features or
geometries and scalar spatial values, such as area, are also provided.
      </p>
      <p>In addition to its ontology, GeoSPARQL defines a set of functions - topological, spatial
aggregate and others - that systems can implement to calculate the relations between features
and other spatial information.</p>
      <p>
        GeoSPARQL does not specifically cater for spatial uncertainty or probabilistic topological
functions: the only forms of geometry handled are the the simple features - [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] types of POINT,
LINESTRING, POLYGON, MULTIPOLYGON etc.. - and topological functions return binary results
- for example either a polygon is disjoint with another or it is not.
      </p>
      <p>GeoSPARQL is not, by itself, completely suficient for any particular task and does not attempt
to provide a user with all the ontological elements they would need for specialised work, instead,
GeoSPARQL is expected to be used with other Semantic Web models which together provide the
necessary elements. For example, if a user wanted to represent the area of a lake, GeoSPARQL
provides the class Feature to represent the lake - a spatial object - the hasArea predicate to
indicate a scalar area value but no predicates to indicate units of measure or particualr measures:
these may be taken from a dedicated metrology ontology, perhaps Quantities, Units, Dimensions
&amp; Types 1.</p>
      <p>This allows GeoSPARQL to be extended by uses to meet particular needs and this paper does
this for spatial uncertainty.</p>
      <p>This paper describes how, by use with a small extension to GeoSPARQL of only few predicates
known as the Spatial Uncertainty for Features &amp; Functions (SUFF) ontology that we have defined,
2, GeoSPARQL can represent fuzzy spatiality and allow for probabilistic topological functions as
well as providing several other capabilities, such as position obfuscation with specific tolerances.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Motivation</title>
      <p>The motivation for this work is encountered regularly in spatial data work: many projects need
to represent spatial uncertainty - fuzziness - and would benefit from topological functions that
work well with uncertain spatial data.</p>
      <p>Some examples of spatial objects for which the author has recently needed to represent with
uncertain positions are: Australian Indigenous (Aboriginal) peoples’ traditional land areas;
mineral occurrence areas; informal, named geographical objects; and species distribution maps.</p>
      <p>None of these are well served with crisp - certain - representations of position. For example,
using a crisp polygon to represent the extent of an Aboriginal traditional land area will not
capture the fact that no such areas ever had/have precise boundaries.</p>
      <p>A second example is mineral occurrences in the earth’s crust that change in concentration
over distance. Their extents are usually estimated by sampling - surface collection or drillhole
sample extraction. No simple points or individual polygons can represent gradients and extent
estimations.</p>
      <p>Data analysers may be called on to work with information that would best be represented
with uncertainty but none is given. This forces them to add fuzziness to visualisations by
blurring polygon boundaries or by representing point locations with a polygon - perhaps circle
- perhaps itself with a blurred boundary. This addition of fuzziness on top of the original data
may be done diferently by diferent analysts or by using diferent spatial data software and no
two representations of the data including these fuzzy additions are guaranteed to be the same.</p>
      <p>This paper, and the SUFF ontology, aim to both provide the ontological elements necessary for
representations of several forms of uncertain spatial information within data and instructions
on how to extend common topological functions to work with those representations. This will
allow data analysts to be provided with all the information necessary to produce consistent
fuzzy representations of spatial information, regardless of who they are or what tools they are
using.
1https://qudt.org
2https://w3id.org/profile/suf</p>
    </sec>
    <sec id="sec-3">
      <title>3. SUFF Model</title>
      <p>The SUFF Model is a small ontology that describes hot to represent spatial uncertainty. To do
this it defines only a few new predicates and no new classes and instead indicates how to use
existing classes and predicates from GeoSPARQL and other ontologies to do this.</p>
      <p>An overview of the SUFF Model, showing reused and new model elements, is given in Figure 1.</p>
      <p>The SUFF Model is available online at https://w3id.org/suf and detailed information about
the model, it’s element definitions, examples of use and validation of data created conforming
to it are all given there.</p>
      <sec id="sec-3-1">
        <title>3.1. Model Logic Overview</title>
        <p>The basic premise of the SUFF Model is that multiple GeoSPARQL Geometry objects can be
linked to a Feature to contain diferent representations of its position which may correspond
to diferent confidences in the position. Diferent relationships between the multiple geometries
can also be used to allow for diferent interpretations of their relative confidence of position.
These diferent interpretations are also mapped to specific visualisations so that the relationship
from data to visualisation is deterministic.</p>
        <p>
          The model describes how topological functions to determine spatial relationships, such as
the such as the simple features [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] family of relations, can be performed against the features
linked to multiple geometries.
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>3.3. Levels of Measurement</title>
      </sec>
      <sec id="sec-3-3">
        <title>3.2. Use of multiple geometries</title>
        <p>
          Levels of Measurement is a classification
system used to indicate the nature of information
within variables [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ]. Four levels are defined:
Nominal, Ordinal, Interval and Ration (see the
Levels of Measurement vocabulary for the
definitions) and diferent calculations about the
relative values of geometries in a collection can be made, based on the level indicated for the
collection (see the SUFF Model’s Rules Section for details).
        </p>
        <p>If the level for a given geometry collection is not given, the Nominal is assumed and each
geometry is assigned equal certainty with the 0 to 1 range divided by the number of geometries.
Visually these would be stacked so coincident geometries’ opacities would be added.</p>
        <p>If ordering is specifically assigned to the geometries, such as https://www.w3.org/TR/shacl/’s
order predicate, then the level of the collection is at least Ordinal and certainty per geometry
is the 0 - 1 range divided by no. geometries + 1 times the geometry order, so for 3 geometries:
0.25, 0.5 &amp; 0.75. Interval ordering sees specific uncertainty values given by the user and Ratio
values are given but a 0 and a 1 are required too.</p>
      </sec>
      <sec id="sec-3-4">
        <title>3.4. Evidence for position</title>
        <p>Evidence for a particular geometry may be given using schema.org’s citation predicate or
other conventional form of referencing. For evidence to be used for ordering for the Ordinal
form, it must be numeric and the value indicator predicate as well as order direction must be
given. This will replace use of rdf:value.</p>
      </sec>
      <sec id="sec-3-5">
        <title>3.5. Functions</title>
        <p>Topological relations defined in GeoSPARQL may be computed between spatial objects with
fuzzy geometries and the method is described in the SUFF Model’s Rules Section. A summary is
that for the calculation of a relation between a feature A with fuzzy position and a standard
feature B, the relation must be calculated for each geometry of A’s in its linked collection and
B and then an answer may be given with a probability based on the certainty of the highest
geometry / B result, or the lowest, depending on the particular relation.</p>
        <p>
          Consider the topological relation Simple Features Within [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]: If polygon A is within the
outermost 1 of 4 polygons with the Ordinal level for feature B, then we may say A is within
B with a probability of 0.25 since 1 / 4 (polygons) is 0.25. If A is within the two outermost
polygons of feature B and second outermost polygon is assigned the certainty of 0.4 using
SUFF’s certainty predicate, then we can say A is within B with a probability of 0.4.
        </p>
        <p>A graphical representation of some within calculations is given in Figure 3.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Conclusions</title>
      <p>The SUFF Model is a very small extension to GeoSPARQL. It introduces very few novel modelling
elements and addresses problems long solved by many spatial analysis and many software
packages. However, it moves the point of uncertainty definition from the user of spatial data to
the data itself and thus has the potential to allow for systematically-presented fuzzy data. It
also provides a method for standard topological functions calculations with fuzzy data.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Nicholas</surname>
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Car</surname>
          </string-name>
          , Timo Homburg, Matthew Perry, John Herring, Frans Knibbe,
          <string-name>
            <surname>Simon J.D. Cox</surname>
          </string-name>
          , Joseph Abhayaratna, Mathias Bonduel,
          <string-name>
            <surname>OGC GeoSPARQL - A Geographic Query</surname>
          </string-name>
          <article-title>Language for RDF Data</article-title>
          ,
          <source>OGC Implementation Standard OGC 22-047</source>
          , Open Geospatial Consortium,
          <year>2023</year>
          . URL: http://www.opengis.net/doc/IS/geosparql/1.1.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>T.</given-names>
            <surname>Berners-Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. A.</given-names>
            <surname>Hendler</surname>
          </string-name>
          ,
          <string-name>
            <surname>O. Lassila,</surname>
          </string-name>
          <article-title>The semantic web: A new form of web content that is meaningful to computers will unleash a revolution</article-title>
          ,
          <source>Scientific American</source>
          (
          <year>2001</year>
          ). URL: https://doi.org/10.1038/scientificamerican0501-
          <fpage>34</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>J. R.</given-names>
            <surname>Herring</surname>
          </string-name>
          ,
          <article-title>Simple feature access - Part 1: Common architecture</article-title>
          ,
          <source>OpenGIS Implementation Standard</source>
          , Open Geospatial Consortium,
          <year>2010</year>
          . URL: http://www.opengis.net/doc/is/sfa/1.2.1.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>W.</given-names>
            <surname>Kirch</surname>
          </string-name>
          (Ed.), Level of MeasurementLevel of measurement, Springer Netherlands, Dordrecht,
          <year>2008</year>
          , pp.
          <fpage>851</fpage>
          -
          <lpage>852</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-1-
          <fpage>4020</fpage>
          -5614-7\_
          <year>1971</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>