Я успешно сгенерировал и протестировал ограничения SPIN (используя запросы SPARQL ASK ) в онтологии OWL/RDF, используя TopBraid Composer Maestro Edition версии 5.1.1. Теперь я хотел бы проверить эти ограничения SPIN в Sesame. Как мне перенести в...

Я использую TopBraid Free Edition для создания онтологий OWL с правилами SPIN. Я загружаю онтологию и правила SPIN в Sesame OpenRDF Workbench: Application Name OpenRDF Workbench Version 4.1.2 Runtime Information Operating System Windows 8.1...

Я использую TopBraid Composer Free Edition (5.1.3) для создания онтологий, включая ограничения SPIN. Затем я загружаю полученные файлы RDF в RDF4J (2.0.1) и использую RDF4J Workbench для тестирования. Я работаю над ограничениями SPIN. Вот пример...

Я новичок в СПИН. Интересно, есть ли смысл использовать его для следующей цели. Скажем, у меня есть следующая иерархия классов: ex:Vehicle ex:Car ex:Sedan Некоторые классы имеют свойство owl:equivalenClass , установленное на некоторое...

Как изменить формулу запроса в зависимости от того, привязана переменная или нет? Я вызываю магическое свойство следующим образом: WHERE { VALUES (?subj) { ([my bound positional parameter value goes here...]) } ?subj...