能否简化用于调整RDF序列项位置的SPARQL Update语句？

需求是实现将RDF序列中的指定项（source）移动到另一项（target）之后，无论source原本处于target的前方还是后方，最终都要紧邻target放置，效果类似拖拽操作。

序列示例 #

<https://linkeddatahub.com/demo/northwind-traders/>
    a      <https://w3id.org/atomgraph/linkeddatahub/default#Root> ;
    rdf:_1 <https://linkeddatahub.com/demo/northwind-traders/#page-header> ;
    rdf:_2 <https://linkeddatahub.com/demo/northwind-traders/#top-selling-products> ;
    rdf:_3 <https://linkeddatahub.com/demo/northwind-traders/#top-manager-header> ;
    rdf:_4 <https://linkeddatahub.com/demo/northwind-traders/#top-manager> ;
    rdf:_5 <https://linkeddatahub.com/demo/northwind-traders/#select-children> .

原SPARQL Update语句 #

PREFIX  xsd:  <http://www.w3.org/2001/XMLSchema#>
PREFIX  ldh:  <https://w3id.org/atomgraph/linkeddatahub#>
PREFIX  ac:   <https://w3id.org/atomgraph/client#>
PREFIX  rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

DELETE {
  $this ?sourceSeq $sourceContent .
  $this ?targetSeq $targetContent .
  $this ?seq ?content .
}
INSERT {
  $this ?newSourceSeq $sourceContent .
  $this ?newTargetSeq $targetContent .
  $this ?newSeq ?content .
}
WHERE
  { $this  ?sourceSeq  $sourceContent
    BIND(xsd:integer(substr(str(?sourceSeq), 45)) AS ?sourceIndex)
    $this  ?targetSeq  $targetContent
    BIND(xsd:integer(substr(str(?targetSeq), 45)) AS ?targetIndex)
    BIND(if(( ?sourceIndex < ?targetIndex ), ( ?targetIndex - 1 ), ?targetIndex) AS ?newTargetIndex)
    BIND(if(( ?sourceIndex < ?targetIndex ), ?targetIndex, ( ?targetIndex + 1 )) AS ?newSourceIndex)
    BIND(IRI(concat(str(rdf:), "_", str(?newSourceIndex))) AS ?newSourceSeq)
    BIND(IRI(concat(str(rdf:), "_", str(?newTargetIndex))) AS ?newTargetSeq)
    OPTIONAL
      {   { $this  ?sourceSeq  $sourceContent
            BIND(xsd:integer(substr(str(?sourceSeq), 45)) AS ?sourceIndex)
            $this  ?targetSeq  $targetContent
            BIND(xsd:integer(substr(str(?targetSeq), 45)) AS ?targetIndex)
            $this  ?seq  ?content
            FILTER strstarts(str(?seq), str(rdf:_))
            BIND(xsd:integer(substr(str(?seq), 45)) AS ?index)
            FILTER ( ( ?index > ?sourceIndex ) && ( ?index < ?targetIndex ) )
            BIND(( ?index - 1 ) AS ?newIndex)
          }
        UNION
          { $this  ?sourceSeq  $sourceContent
            BIND(xsd:integer(substr(str(?sourceSeq), 45)) AS ?sourceIndex)
            $this  ?targetSeq  $targetContent
            BIND(xsd:integer(substr(str(?targetSeq), 45)) AS ?targetIndex)
            $this  ?seq  ?content
            FILTER strstarts(str(?seq), str(rdf:_))
            BIND(xsd:integer(substr(str(?seq), 45)) AS ?index)
            FILTER ( ( ?index < ?sourceIndex ) && ( ?index > ?targetIndex ) )
            BIND(( ?index + 1 ) AS ?newIndex)
          }
        BIND(IRI(concat(str(rdf:), "_", str(?newIndex))) AS ?newSeq)
      }
  }

简化写法 #

原语句功能可行，但存在重复绑定变量和冗余逻辑的问题，以下是简化后的版本：

PREFIX  xsd:  <http://www.w3.org/2001/XMLSchema#>
PREFIX  rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

DELETE {
  $this ?sourceSeq $sourceContent .
  $this ?targetSeq $targetContent .
  $this ?seq ?content .
}
INSERT {
  $this ?newSourceSeq $sourceContent .
  $this ?newTargetSeq $targetContent .
  $this ?newSeq ?content .
}
WHERE {
  # 获取source和target的索引
  $this ?sourceSeq $sourceContent .
  BIND(xsd:integer(substr(str(?sourceSeq), strlen(str(rdf:_)) + 1)) AS ?sourceIndex)
  $this ?targetSeq $targetContent .
  BIND(xsd:integer(substr(str(?targetSeq), strlen(str(rdf:_)) + 1)) AS ?targetIndex)

  # 计算source和target的新索引
  BIND(IF(?sourceIndex < ?targetIndex, ?targetIndex, ?targetIndex + 1) AS ?newSourceIndex)
  BIND(IF(?sourceIndex < ?targetIndex, ?targetIndex - 1, ?targetIndex) AS ?newTargetIndex)
  BIND(IRI(concat(str(rdf:), "_", str(?newSourceIndex))) AS ?newSourceSeq)
  BIND(IRI(concat(str(rdf:), "_", str(?newTargetIndex))) AS ?newTargetSeq)

  # 处理中间项的索引调整
  OPTIONAL {
    $this ?seq ?content .
    FILTER(strstarts(str(?seq), str(rdf:_)))
    BIND(xsd:integer(substr(str(?seq), strlen(str(rdf:_)) + 1)) AS ?index)
    
    # 合并两种中间项的判断逻辑
    FILTER((?sourceIndex < ?targetIndex && ?index > ?sourceIndex && ?index < ?targetIndex) ||
           (?sourceIndex > ?targetIndex && ?index < ?sourceIndex && ?index > ?targetIndex))
    
    # 用统一表达式计算新索引
    BIND(?index + IF(?sourceIndex < ?targetIndex, -1, 1) AS ?newIndex)
    BIND(IRI(concat(str(rdf:), "_", str(?newIndex))) AS ?newSeq)
  }
}

简化点说明 #

1. 去除重复绑定：将?sourceIndex和?targetIndex的绑定移到外层，避免在OPTIONAL子查询中重复计算，减少冗余。
2. 索引提取更通用：用strlen(str(rdf:_)) + 1替代固定数字45，避免依赖rdf前缀字符串的固定长度，提升语句通用性。
3. 合并中间项逻辑：把原本两个UNION分支的条件合并为一个FILTER判断，用统一表达式计算新索引，简化结构。
4. 精简前缀引用：去掉未使用的ldh:和ac:前缀，只保留必要的前缀定义。

内容的提问来源于stack exchange，提问作者Martynas Jusevičius