Skip to content

Point

A point, typically described using a coordinate system relative to Earth, such as WGS84.

NOTE: Uniquely identified by lat/long/alt. i.e.

spaciallyIntersects(P1, P2) :- lat(P1, LAT), long(P1, LONG), alt(P1, ALT), lat(P2, LAT), long(P2, LONG), alt(P2, ALT).

sameThing(P1, P2) :- type(P1, Point), type(P2, Point), spaciallyIntersects(P1, P2).

Diagram

cluster_associated SpatialThing SpatialThing Point Point Point->SpatialThing

Point Diagram

Formalization for Point

Property Constraint
subClassOf SpatialThing