GeoSPARQL v0.2

Table of Contents

1 Preliminaries

1.1 Abbreviations

Abbreviation Expansion
C Core
TVE Topology Vocabulary Extension
GE Geometry Extension
GTE Geometry Topology Extension
REE RDFS Entailment Extension
QRE Query Rewrite Extension
RF Relation Family
S Serialization
V Version
SF Simple Features
EG Egenhofer
RCC8 Region Connection Calculus

2 Precision

Precision Meaning GraphDB Triply RI
sign east/west or north/south    
1.0e2 must be longitude    
1.0e1 1111 kilometer, continent    
1.0e0 111 kilometer, country    
1.0e-1 11 kilometer, city    
1.0e-2 1.1 kilometer, village    
1.0e-3 111 meter, large field    
1.0e-4 11 meter, parcel of land  
1.0e-5 1.1 meter, tree    
1.0e-6 11 centimeter, engineering    
1.0e-7 11 milimeter  
1.0e-8 1.1 milimeter, tectonic plate motion    
1.0e-9 110 micron, microscopy    

3 Classes

  GraphDB Triply RI
Curve  
geo:Feature (C)    
Geometry (GE)    
GeometryCollection    
LinearRing  
Line    
LineString
MultiCurve    
MultiLineString 🚧
MultiPoint 🚧
MultiPolygon 🚧
MultiSurface    
Point
Polygon
geo:SpatialObject (C)    
SpatialReferenceSystem    
Surface  

3.1 Other shapes?

CircularString
CompoundCurve
CurvePolygon
PolyhedralSurface
TIN
Triangle

4 Properties

  GraphDB Triply RI
geo:asGML (GE,s=GML)    
geo:asWKT (GE,s=WKT)  
geo:coordinateDimension (GE)    
geo:dimension (GE)    
geo:hasDefaultGeometry (GE)    
geo:hasGeometry (GE)  
geo:hasSerialization (GE)    
geo:isEmpty (GE)    
geo:isSimple (GE)    
geo:spatialDimension (GE)    

5 Units of measure

  GraphDB Triply RI
uom:metre    

6 Coordinate Reference Systems

  GraphDB Triply RI
crs:CRS84 (GE)    

7 Datatypes

  GraphDB Triply RI
geo:wktLiteral (GE,s=WKT)
geo:gmlLiteral (GE,S=GML)    

8 Topological functions

8.1 RF=SF

  Geometry types GraphDB Triply RI
geo:sfContains     not: P
geo:sfCrosses P/L, P/A, L/L, L/A    
geo:sfDisjoint      
geo:sfEquals      
geo:sfIntersects     🚧
geo:sfOverlaps P/P, L/L, A/A    
geo:sfTouches not: P/P    
geo:sfWithin     not: P
geof:sfContains (GTE)     🚧
geof:sfCrosses (GTE)      
geof:sfDisjoint (GTE)      
geof:sfEquals (GTE)      
geof:sfIntersects (GTE)     🚧
geof:sfOverlaps (GTE)      
geof:sfTouches (GTE)      
geof:sfWithin (GTE)     🚧

8.2 RF=E

  Geometry types GraphDB Triply RI
geo:ehContains      
geo:ehCoveredBy L/L, L/A, A/A    
geo:ehCovers L/L, A/L, A/A    
geo:ehDisjoint      
geo:ehEquals      
geo:ehInside      
geo:ehMeet not: P/P    
geo:ehOverlap      
geof:ehContains (GTE)      
geof:ehCoveredBy (GTE)      
geof:ehCovers (GTE)      
geof:ehDisjoint (GTE)      
geof:ehEquals (GTE)      
geof:ehInside (GTE)      
geof:ehMeet (GTE)      
geof:ehOverlap (GTE)      

8.3 RF=RCC8

  Geometry types GraphDB Triply RI
geo:rcc8dc A/A    
geo:rcc8ec A/A    
geo:rcc8eq A/A    
geo:rcc8ntpp A/A    
geo:rcc8ntppi A/A    
geo:rcc8po A/A    
geo:rcc8tppi A/A    
geo:rcc8tpp A/A    
geof:rcc8dc (GTE) A/A    
geof:rcc8ec (GTE) A/A    
geof:rcc8eq (GTE) A/A    
geof:rcc8ntpp (GTE) A/A    
geof:rcc8ntppi (GTE) A/A    
geof:rcc8po (GTE) A/A    
geof:rcc8tppi (GTE) A/A    
geof:rcc8tpp (GTE) A/A    

9 Non-topological functions

  GraphDB Triply RI
geof:boundary (GE)    
geof:buffer (GE)    
geof:convexHull (GE)    
geof:difference (GE)    
geof:distance (GE)  
geof:envelope (GE)    
geof:getSRID (GE)    
geof:intersection (GE)    
geof:symDifference (GE)    
geof:union (GE)    
geof:relate (GTE)    

10 Exceptions

  GraphDB Triply RI
Function argument unexpected type    
Function invalid geometry literal    
Function incompatible CRSes    
Function invalid unit    

Author: Wouter Beek

Created: 2018-01-08 Mon 09:53

Validate