Querying Linked Geospatial Data with Incomplete Information

Querying Linked Geospatial Data with
Incomplete Information

Charalampos Nikolaou

Manolis Koubarakis

charnik@di.uoa.gr

koubarak@di.uoa.gr

Department of Informatics & Telecommunications
National and Kapodistrian, University of Athens
5th International Terra Cognita Workshop
In Conjunction with the 11th International Semantic Web Conference
Boston, USA, November 12, 2012

Outline
• Linked geospatial data (motivation)
• Querying complete geospatial information
(exact geometries)
• Querying qualitative geospatial information

• Querying incomplete geospatial information
• The RDFi framework
• Future work
2

Motivation
Linked geospatial data
1.

2.

GeoNames
http://www.geonames.org/
ontology/
LinkedGeoData
(OpenStreetMap)
http://linkedgeodata.org/

3.

Administrative geography
of Great Britain
(Ordnance Survey)
http://data.ordnancesurvey
.co.uk/.html

4.

6.

Global Administrative Areas
(GADM)
http://www.gadm.org/

7.

DBpedia
http://dbpedia.org/

Greek Administrative
Geography
http://linkedopendata.gr/

5.

Greece
http://linkedopendata.gr/

Corine Land Cover of
3

Motivation

over 9.5 million geometries
(points, linestrings, polygons)

4

Motivation (cont’d)
Exploitation
• Earth observation
– National Observatory of Athens (NOA)
• Fire monitoring and burnt scar mapping
• Risk assessment

5

Motivation (cont’d)

• Earth observation

– German Aerospace Center (DLR)
• Management of environmental disasters (oil spills, tsunamis, floods,
etc.)
• Land use and regional/urban planning

6

NOA’s representation of hotspots

(24.825668, 35.310643)

noa:hotspot1

7

NOA’s representation of hotspots (cont’d)
Representation using stRDF

noa:hotspot1 rdf:type noa:Hotspot .

noa:fire1 rdf:type noa:Fire .
noa:hotspot1 noa:correspondsTo Encoding of geometries using
noa:fire1 .
RDF literas in WKT format
(OGC standard)

noa:fire1 noa:occuredIn noa:region1 .
noa:region1 strdf:hasGeometry
"POINT(24.825668 35.310643)"^^strdf:WKT .
8

NOA’s representation of hotspots (cont’d)
Querying using stSPARQL

Find all fires and hotspots inside Rethymno
SELECT ?f ?h
WHERE {
?h rdf:type noa:Hotspot ;
noa:correspondsTo ?f .
?f rdf:type noa:Fire ;
noa:occuredIn ?r .

Greek Administrative
Geography

?r strdf:hasGeometry ?rgeo .

gag:Rethymno strdf:hasGeometry ?rethGeo .

Spatial filtering

FILTER (strdf:contains(?rethGeo, ?rgeo))
}
9

Extending the previous example
with topological information

gag:Rethymno

gag:Rethymno rdf:type gag:Perfecture .

10


gag:Rethymno

gag:Mylopotamos

noa:region1

Topology vocabulary
gag:Mylopotamos rdf:type gag:Municipalityextension of GeoSPARQL
.

gag:Rethymno geo:sfContains gag:Mylopotamos .
gag:Mylopotamos geo:sfContains noa:region1.
11

Extending the previous example with topological
information (cont’d)
Querying using GeoSPARQL

Find all fires and hotspots inside Rethymno

SELECT ?f ?h
WHERE {
?h rdf:type noa:Hotspot ;
noa:correspondsTo ?f .
?f rdf:type noa:Fire ;
noa:occuredIn ?r .

Topology vocabulary
extension of GeoSPARQL

gag:Rethymno geo:sfContains ?r .
}

12

NOA’s representation of hotspots (revisited)
Incomplete information

_region1

noa:hotspot1

noa:fire1

13

NOA’s representation of hotspots (revisited)
Representation using RDFi
noa:hotspot1 rdf:type noa:Hotspot .
noa:fire1 rdf:type noa:Fire .
noa:hotspot1 noa:correspondsTo noa:fire1 .

e-literal
noa:fire1 noa:occuredIn _region1 .

RCC-8
_region1 geo:sfWithin "POLYGON((24.81 35.32,
24.84 35.30, 24.81 35.30, 24.81
35.32));<http://spatialreference.
org/ref/epsg/4121/>"^^strdf:geometry

24.84 35.33,

Qualitative spatial constraint
14

Visualization of a certainty query

15

Certainty queries
• Find all fires that have certainly occurred inside the rectangle
defined in WKT as POLYGON((24.79 35.34, 24.85 35.34, 24.85
35.29, 24.79 35.29, 24.79 35.34))
New (modal) operator

CERTAIN SELECT ?F
WHERE {

New topological operator

?F rdf:type noa:Fire ;
noa:occuredIn ?R .
FILTER(geof:sfWithin(?R, "POLYGON((24.79 35.34, 24.85
35.34, 24.85 35.29, 24.79 35.29, 24.79 35.34))"))
}
16

gag:Mylopotamos

gag:Rethymno

POLYGON((24.81 35.32 ...))

_region1

noa:fire1


gag:Mylopotamos rdf:type gag:Municipality .
gag:Mylopotamos geo:sfWithin gag:Rethymno .
_region1 geo:sfWithin "POLYGON((24.81 35.32...))"^^strdf:WKT

17

gag:Mylopotamos

gag:Rethymno

POLYGON((24.81 35.32 ...))

_region1

noa:fire1

Beyond stSPARQL and
the topology vocabulary
extension of GeoSPARQL


gag:Mylopotamos rdf:type gag:Municipality .
_region1 geo:sfWithin "POLYGON((24.81 35.32...))"^^strdf:WKT

18

Certainty queries
Find all fires that have certainly occurred inside Rethymno

CERTAIN SELECT ?F
WHERE {

noa:occuredIn ?R .
FILTER(geof:sfWithin(?R, gag:Rethymno))
}

19

Computing the answer
gag:Mylopatamos strdf:hasGeometry "POLYGON((<M>))"^^strdf:WKT .
gag:Rethymno strdf:hasGeometry "POLYGON((<R>))"^^strdf:WKT .
_region1 geo:sfWithin "POLYGON((<H>))"^^strdf:WKT

D
A
T
A
B
A
S
E

strdf:Inside("POLYGON((<H>))", "POLYGON((<M>))")
"POLYGON((<H>))" geo:sfWithin "POLYGON((<M>))"

_region1 geo:sfWithin "POLYGON((<H>))"
_region1 geo:sfWithin gag:Mylopotamos

gag:Mylopotamos geo:sfWithin gag:Rethymno
_region1 geo:sfWithin gag:Rethymno

Geometry for
Mylopotamos
Geometry for
Rethymno
Geometry for
Hotspot
Vocabulary
translation

Qualitative
spatial reasoning

Combined
algorithm
20


D
A
T
A
B
A
S
E




Geometry for
Mylopotamos
Geometry for
Rethymno
Geometry for
Hotspot
Vocabulary
translation

Qualitative
spatial reasoning

Combined
algorithm
21


D
A
T
A
B
A
S
E




Geometry for
Mylopotamos
Geometry for
Rethymno
Geometry for
Hotspot
Vocabulary
translation

Qualitative
spatial reasoning

Combined
algorithm
22


D
A
T
A
B
A
S
E




Geometry for
Mylopotamos
Geometry for
Rethymno
Geometry for
Hotspot
Vocabulary
translation

Qualitative
spatial reasoning

Combined
algorithm
23

The Framework RDFi
• Extension of RDF with incomplete information
• New kind of literals (e-literals) for each datatype
– Property values that exist but are unknown or partially known

• Partial knowledge: captured by constraints
(appropriate constraint language L)

• RDF graphs extended to RDFi databases: pair (G, φ)
G: RDF graph with e-literals
φ: quantifier-free formula of L

Charalampos Nikolaou and Manolis Koubarakis
Incomplete Information in RDF
arXiv:1209.3756v2 [cs.DB] 18 Sep 2012
http://arxiv.org/pdf/1209.3756v2.pdf

RDFi Semantics
hotspot1 type Hotspot .
fire1 type Fire .
hotspot1 correspondsTo fire1 .
fire1 occuredIn _region1 .

_region1 geo:sfWithin "x≥6∧x≤23∧y≥8∧y≤19"

corresponds to
{ G1, G2 G3, G4, ... }
}
1
2, 3
hotspot1 type Hotspot .
fire1 type Fire .
hotspot1 correspondsTo fire1 .
"x≥8∧x≤14∧y≥10∧y≤18"
"x≥10∧x≤21∧y≥10∧y≤15"
"x≥9∧x≤14∧y≥10∧y≤18"
fire1 occuredIn "x≥7∧x≤13∧y≥9∧y≤18"

.

set of RDF graphs
(possible worlds)

Certain answers
CERTAIN SELECT ?F
WHERE {
noa:occuredIn ?R .

FILTER(geof:sfWithin(?R,
"x≥2∧x≤28∧y≥4∧y≤22"))
}

Cert(q) = q(G1) ⋂ q(G2) ⋂ q(G3) ⋂ q(G4) ⋂ ...

Certain answers
CERTAIN SELECT ?F
WHERE {
noa:occuredIn ?R .

FILTER(geof:sfWithin(?R,
"x≥2∧x≤28∧y≥4∧y≤22"))
}

How the certain answer
is computed?
Cert(q) = q(G1) ⋂ q(G2) ⋂ q(G3) ⋂ q(G4) ⋂ ...

The Framework RDFi (cont’d)
•

Formal semantics for RDFi and SPARQL query evaluation

•

Representation Systems:
– CONSTRUCT with AUF graph patterns
– CONSTRUCT with well-designed graph patterns

•

Certain Answer: semantics, algorithms, computational complexity
when L is a language of spatial topological constraints

•

Implementation in the system Strabon has started with L being PCL
(topological constraints between variables and polygon constants)

Future work
•

How do we implement querying with topological relations in RDF
stores for stSPARQL/GeoSPARQL?

•

How do we implement certainty queries for RDFi?

•

DL reasoners with RCC-8 support offer topological reasoning
already (implementing a path-consistency algorithm)

– RacerPro

[Möller et al.], [Wessel-Möller, JAPLL’09]

– PelletSpatial [Stocker-Sirin, OWLED’09]

•

RDFi goes beyond
– Reason about qualitative and quantitative geospatial information
– Can be used in other application domains (e.g., temporal)

Thank you for your attention!
Questions?

References
[Weiming Liu et al.]
Weiming Liu, Sheng-sheng Wang, Sanjiang Li, Dayou Liu: Solving
Qualitative Constraints Involving Landmarks. CP 2011:523-537

[Wessel-Möller, JAPLL’09]
Michael Wessel, Ralf Möller: Flexible software architectures for
ontology-based information systems. J. Applied Logic (JAPLL)
7(1):75-99 (2009)

[Stocker-Sirin, OWLED‘09]
Markus Stocker, Evren Sirin: PelletSpatial: A Hybrid RCC-8 and
RDF/OWL Reasoning and Query Engine. OWLED 2009

Querying Linked Geospatial Data with Incomplete Information

More Related Content

What's hot (6)

Viewers also liked (16)

Similar to Querying Linked Geospatial Data with Incomplete Information (20)

Recently uploaded (20)

Querying Linked Geospatial Data with Incomplete Information