6.2　拓撲函數定義

本節定義的所有函數都應具有兩個數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的變量，并且返回數據類型必須為“http : //www.w3.org/2001/XMLSchema#boolean”。在以下的定義中，一個幾何體可以看作是點的可能無窮集的一個表示。這種表示顯然不是無窮的，只是空間范圍內的差值算法得到的結果集。

Contains(g1:Geometry, g2:Geometry) : Boolean

這個函數應返回一個“True”當且僅當幾何體g2位于幾何體g1的封閉區內（邊界和內部）。與Within(g1:Geometry, g2:Geometry)相反。

Crosses(g1:Geometry, g2:Geometry) : Boolean

這個函數應返回一個“True”當且僅當幾何體g1和g2有交集但是任何一個都不包含另一個幾何體，交集的維度要小于兩個幾何體中的任一個。

Disjoint(g1:Geometry, g2:Geometry ) : Boolean

這個函數應返回一個“True”當且僅當幾何體g1和g2沒有公共點。

Equals(g1:Geometry, g2:Geometry) : Boolean

這個函數應返回一個“True”當且僅當幾何體g1和g2是相等的（在幾何上恰好包含相同的點）。

Intersects(g1:Geometry, g2:Geometry) : Boolean

這個函數應返回一個“True”當且僅當幾何體g1和g2至少有一個公共點（與Disjoint相反）。

Overlaps(g1:Geometry, g2:Geometry) : Boolean

這個函數應返回一個“True”當且僅當幾何體g1和g2有公共交點但不是所有的點都相交。交集部分的維度與兩個幾何體的維度相同。

Touches(g1:Geometry, g2:Geometry) : Boolean

這個函數應返回一個“True”當且僅當幾何體g1和g2至少有一個邊界公共點，但沒有內部公共點。

Within(g1:Geometry, g2:Geometry) : Boolean

這個函數應返回一個“True”當且僅當幾何體g1空間上在g2的內部，也就是說凡是在g1上的點也一定在g2上。