Взлом SPIN в GraphDB

У меня есть онтология, которую я создал в TopBraid, которая использует вывод SPIN + OWL. Я пытался найти способ развязать SPIN, потому что большинство поставщиков графических баз данных RDF до сих пор не поддерживают этот стандарт.

Подход, который я придумал с использованием GraphDB, заключается в том, чтобы загрузить мою онтологию в GraphDB, а затем выполнить каждое правило spin:, присутствующее в моей онтологии как SPARQL UPDATE / INSERT.

Первым делом я пытаюсь выяснить, могу ли я временно отключить механизм рассуждений GraphDB, пока я делаю набор SPARQL INSERTS / UPDATES, а затем включаю модуль рассуждений.

Во-вторых, хотя, вероятно, это не рекомендуется, можно ли добавить SPARQL INSERT / UPDATES к неявному графу, а не к явному графу?

Если кто-то знает, как это сделать, дайте мне знать.


person Anuj Khanna    schedule 11.08.2018    source источник
comment
У них есть правила: graphdb.ontotext.com/documentation/standard/reasoning.html   -  person Stanislav Kralin    schedule 11.08.2018
comment
Я согласен с тем, что правила, вероятно, лучший вариант, но 1) я не верю, что правила могут создавать новые IRI, которые мне нужны. 2) Я хочу, чтобы мои правила были написаны на каком-то стандартном языке. 3) У меня довольно сложные правила, поэтому я в первую очередь пошел по маршруту SPIN.   -  person Anuj Khanna    schedule 11.08.2018
comment
Что ж, возможно, вы могли бы попробовать RDF4J: stackoverflow.com/search?q=rdf4j+spin+is%3Aq < / а>   -  person Stanislav Kralin    schedule 11.08.2018


Ответы (1)


Я полагаю, вы можете отключить механизм рассуждений, выбрав набор правил по умолчанию, пустой (или очень простой), как описано здесь http://graphdb.ontotext.com/documentation/free/reasoning.html (установить набор правил по умолчанию).

Но если вы хотите, чтобы ваши правила SPIN, переведенные в INSERT / UPDATE, полностью выполнялись, вы должны: 1 - выполнить NSERT / UPDATE, 2 - запустить аргумент, повторять 1 и 2, пока не будет сгенерирована новая тройка.

person Gilles Falquet    schedule 08.11.2018