c# - dotNetRDF 是否支持数学？

Question

我看到了单元测试资源之一（path2.n3）中提到的内置“数学”并尝试了它，但它似乎不起作用：

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix : <http://test#>.

{ (2 1) math:sum ?y. } => { :result :is ?y. }.
:result :is (2 1)!math:sum.

使用此查询：

SELECT ?s WHERE { :result :is ?s. }

我正在应用 RdfsReasoner，然后是 SimpleN3RulesReasoner。

它不返回任何暗示，只为第二行返回一个空白节点。内置的“字符串”和连接也有类似的行为。

我做错了什么还是目前没有对此的支持？

Answer 1

测试文件用于 N3 解析器单元测试。推理器目前仅支持蕴含运算符，没有实现 N3 数学或字符串函数，也没有实现其他逻辑运算符，如log:includesor log:semantics。