Поддержка сервера сезама для SPIN

Question

Я новичок в SPIN, я прочитал документацию и посмотрел несколько примеров, но я хотел бы начать работать с ним.

Я видел некоторые инструменты с http://topquadrant.com/ для SPIN, но некоторое время я работал с сервером openrdf-sesame и хотел бы придерживаться его.

Я прочитал документацию с http://rdf4j.org/doc/4/programming.docbook?view и увидел, что в API есть бета-версия SpinSail... но я не смог найти нигде на указанном веб-сайте что сервер openrdf-sesame.war имеет процессор SPIN или нет.

Можно ли использовать функциональные возможности SPIN (добавление правил, добавление ограничений, создание логических выводов и т. Д.) В квадро-магазине sesame? Если да, то как?

Answer 1

Все, что вам нужно сделать, это использовать Workbench для создания нового репозитория и убедиться, что вы выбрали тип репозитория, который включает в себя рассуждения SPIN (есть выпадающее меню, параметры с поддержкой SPIN должны быть довольно очевидными). Другими словами, это работает аналогично тому, как вы создаете репозитории с другими типами поддержки рассуждений.