能否用GeoSPARQL直接表示地理区域的Disjoint空间关系？

问题描述 #

我想在结合GeoSPARQL的自定义本体RDF中，表示实体处于与某地理区域完全不相交的区域（比如车辆驶出社区，进入“非我的社区”区域）。我尝试用geosparql:sfDisjoint谓词来表示覆盖全球的“非我的社区”区域，但SPARQL查询失败了——因为查询引擎将sfDisjoint正确识别为函数而非关系/属性。

我想知道：

• 是否可以直接用GeoSPARQL表示某位置与另一区域不相交的事实，而非仅在查询时计算该关系？
• 如果不可行，有没有更合适的本体来表示这类空间关系？

尝试的示意性Turtle代码 #

# 示意性Turtle代码，展示我尝试使用geosparql:sfDisjoint谓词的方式

@prefix data: <http://somedata.doesnt.matter.what#> .
@prefix ont: <http://someontologydoesnt.matter.what#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .

# 车辆1在我的社区内
data:mycar1 a ont:Car ;
    ont:inLocation data:mysuburb .

# 尝试表示车辆2在我的社区外
data:mycar2 a ont:Car ;
    ont:inLocation [ 
        a ont:Location ;
        geo:sfDisjoint data:mysuburb
    ] .

data:mysuburb a ont:Location ;
    ont:name "My Suburb" ;
    ont:geoJSON """{"type": "Polygon", "coordinates": [[[40,40], [40,41], [41,40], [40,40]]]}""" .

解决方案说明 #

关于GeoSPARQL直接表示不相交关系的可行性 #

GeoSPARQL的sfDisjoint属于空间拓扑函数，并非RDF属性，所以不能像示例中那样直接用来定义匿名位置的特征。GeoSPARQL的设计逻辑是通过查询时计算空间关系，而非提前在RDF数据中声明这种推导关系。

如果想在数据层表达“实体位于目标区域之外”，有两种可行思路：

• 显式定义补集区域：直接创建一个表示“非我的社区”的ont:Location实例，提供其对应的地理范围（比如覆盖全球除社区外的区域），再用ont:inLocation关联实体。但这种方式在地理范围复杂时维护成本极高，不推荐。
• 自定义反向属性：在你的自定义本体中添加ont:outsideLocation属性，定义它是ont:inLocation的反向补集关系（即ont:outsideLocation x y等价于NOT ont:inLocation x y）。之后在SPARQL查询中，可结合sfDisjoint验证地理范围，或通过推理规则处理这个自定义属性。

替代本体选择 #

如果需要更灵活的空间关系声明，可以考虑：

• OGC Web空间数据最佳实践：虽不是本体，但提供了RDF中空间数据建模的规范，支持通过自定义属性扩展空间关系。
• GeoNames本体：适合关联已有的标准化地理实体，但对于自定义“补集区域”场景，仍需结合自定义属性实现。
• OWL空间扩展：若需结合时间维度的空间变化（比如车辆驶出的动态过程），可通过OWL扩展空间关系，但复杂度较高。

内容的提问来源于Stack Exchange，提问作者Lisa