Я увидел встроенную «математику», упомянутую в одном из ресурсов модульного теста (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.
Он ничего не возвращает для импликации и возвращает только пустой узел для второй строки. Существует аналогичный тип поведения для встроенной «строки» и с конкатенацией.
Я что-то не так делаю или в настоящее время это не поддерживается?