DotNetRDF поддерживает математику? - PullRequest
1 голос
/ 11 марта 2020

Я увидел встроенную «математику», упомянутую в одном из ресурсов модульного теста (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.

Он ничего не возвращает для импликации и возвращает только пустой узел для второй строки. Существует аналогичный тип поведения для встроенной «строки» и с конкатенацией.

Я что-то не так делаю или в настоящее время это не поддерживается?

1 Ответ

1 голос
/ 11 марта 2020

Тестовый файл используется для модульных тестов анализатора N3. В настоящее время рассуждатель поддерживает только оператор импликации, ни одна из математических или строковых функций N3 не реализована, а также другие операторы logi c, такие как log:includes или log:semantics.

...