gis - GEOSPARQL は wkt POLYGON 内の POINT を取得します

Question

Virtuoso サーバーにオントロジーをインストールしています。

このオントロジーには、2 つのクラスがあります。

1. POIと呼ばれる関心のあるポイント
2. AREAと呼ばれるエリア

各 POI には次の関係があります。

{ POI  gis:hasGeometry  ?xx            . 
  ?xx  gis:asWKT        ?WKTexpression }

たとえばWKTExpression、"POINT(11.2589271 43.8004469)"^^gis:wktLiteral

各 AREA には次の関係があります。

{ AREA  gis:hasGeometry  ?xx            . 
  ?xx   gis:asWKT        ?WKTexpression }

-- はどこWKTexpressionですか"POLYGON()"^^gis:wktLiteral

GEOSPARQL クエリを使用して、特定の AREA 内のすべての POI を抽出するにはどうすればよいですか?

このようなことはできますか？

SELECT * 
WHERE 
  {
    ?element  gis:hasGeometry   ?point                          .
    ?point    <IS INSIDE>       "POLYGON(...)"^^gis:wktLiteral
  }

==================================

更新 1: Virtuoso 7 でこのクエリを試しています:

SELECT *
WHERE {
?sensor <http://www.w3.org/2003/01/geo/wgs84_pos#geometry> ?fWKT .
FILTER (ogcgsf:sfWithin(?fWKT, "POLYGON((11.170005798339842 43.845174931181276,11.157989501953123 43.83130720030931,11.152496337890625 43.82040886498103,11.160392761230469 43.78596696172772,11.172409057617186 43.75745685244749,11.179962158203125 43.74431283565997,11.215324401855467 43.72818887413058,11.244850158691406 43.72694838956602,11.27265930175781 43.74183250878846,11.299781799316404 43.76464763976463,11.331024169921873 43.79166735265696,11.29566192626953 43.824619821317356,11.216697692871094 43.841708300627744,11.172409057617186 43.84888895466105,11.170005798339842 43.845174931181276))"^^geo:wktLiteral))}

しかし、私は戻ってきました：

Virtuoso 42001 Error SR185: Undefined procedure DB.DBA.http://www.opengis.net/def/function/geosparql/sfWithin.