SPARQL中带尖括号的dateTime类型减法运算异常解决方案

问题现象 #

对两个带尖括号标记的dateTime类型值执行减法运算时无法正常生效，移除尖括号后运算可正常运行。
对应业务场景：通过Python库生成三元组时，库输出的Turtle序列化结果会自动为数据类型添加尖括号，三元组生成完成后会直接执行SPARQL查询。此前采用查询前修改文件的临时修复方案，需要更优的实现方式。

问题复现代码 #

PREFIX : <http://example.com/abc/abc#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
select ?diff where { 
    
    BIND("2020-09-21T12:47:50Z"^^<xsd:dateTime>  as ?diff1).
    BIND("2020-09-20T12:47:50Z"^^<xsd:dateTime>  as ?diff2).
    BIND(?diff2 - ?diff1 as ?diff).
}

问题原因 #

SPARQL/Turtle语法中，已经声明前缀的类型引用不需要额外包裹尖括号。<xsd:dateTime>写法会被解析器识别为相对IRI，而非预定义的XML Schema日期类型，解析器无法匹配该类型对应的算术运算规则，最终导致减法运算失效。标准写法中，带前缀的类型直接使用xsd:dateTime即可，无需加尖括号。

临时规避方案 #

BIND(xsd:dateTime(STR(?diff2)) - xsd:dateTime(STR(?diff1)) as ?diff).

该方案通过先转字符串再强转为标准xsd:dateTime类型的方式绕开了类型识别错误，但存在额外性能损耗，不是最优解。

更优实现方案 #

• 源头修复（推荐）：调整Python RDF库的Turtle序列化配置，关闭“为数据类型自动添加尖括号”的非标准输出选项。标准Turtle序列化规则下，已绑定前缀的类型会自动输出为前缀:本地名格式，不会额外添加尖括号，从生成端避免语法错误，完全不需要后续修改文件或查询时做额外类型转换。
• 查询层兼容：如果暂时无法调整生成端配置，可以直接在SPARQL查询逻辑中统一做类型强转，不需要提前修改三元组文件，相比修改文件的方案效率更高，也更容易维护。

内容的提问来源于stack exchange，提问作者Tanuja Gupta