Виртуозные правила вывода конечных точек SPARQL

Question

При использовании конечной точки, которая размещается в Virtuoso(например, конечная точка DBpedia), существует предопределенный набор правил, которые можно использовать (доступны через ссылку " Правила вывода" в правом верхнем углу).

Если мне нужно использовать одно из этих правил, я могу включить следующее в пространство запросов в конечной точке:

define input:inference 'ldp'

Однако, когда я пытаюсь включить набор правил внешнего вывода, который не предопределен в предыдущем списке, это вызывает ошибку, как показано ниже:

define input:inference <http://purl.org/goodrelations/v1> 

Virtuoso 37000 Error SP031: SPARQL compiler: 'define input:inference refers to undefined inference rule set "http://purl.org/goodrelations/v1"

ВОПРОС:

Можно ли включить внешние правила из других словарей? и если да, то как?

Answer 1

Экземпляр DBpedia (и любой другой экземпляр Virtuoso, в этом отношении) содержит список предварительно загруженных правил вывода. Естественно, по ряду причин (безопасность, добросовестное использование и т. Д.) Мы не разрешаем произвольное включение правил вывода из внешних источников.

Примечание. Правило вывода в Virtuoso - это отображение между правилом и онтологией [1]. Это имя правила, которое используется в прагме запроса "Правило вывода", которое затем указывает процессору SPARQL следующее:

1. Необходимо вызвать контекст вывода
2. Конкретные правила (опять же, сопоставления с онтологией, в которой определяется семантика отношений).

1 https://medium.com/virtuoso-blog/using-british-royal-family-data-snippets-to-demonstrate-sparql-query-language-based-reasoning-56626a152419