Как виртуозно делать вывод правил «если-то»?

Я новичок в Openlink Virtuoso. И я хочу сделать некоторые правила вывода на основе операторов if-then, например,

if (B is fatherof C & A is fatherof B) then (A is grandfatherof C).

Согласно документации Virtuoso по Правилам вывода и рассуждению, Virtuoso может используйте Ontology (Graph) для вывода RDF. Может ли Virtuoso использовать правила вывода операторов if-then?

Спасибо !


if-statement inference owl rdf virtuoso
person ilikecola    schedule 25.07.2018    source источник
comment
в Virtuoso 8 это возможно.   -  person UninformedUser    schedule 25.07.2018
comment
вы хотите применить прямую или обратную цепочку? для первого вы также можете выполнить запрос обновления SPARQL   -  person UninformedUser    schedule 25.07.2018
comment
В Virtuoso Enterprise Edition v8 + реализованы различные правила. Они недоступны в Open Source Edition или любой предыдущей версии. Как предлагает AKSW, вы можете запускать некоторые запросы, которые материализуют новые операторы на основе существующих операторов, но они не будут структурированы так, как если бы / тогда.   -  person TallTed    schedule 26.07.2018
comment
Извините за мой поздний ответ, и это действительно работает в Virtuoso 8! Спасибо!   -  person ilikecola    schedule 09.10.2018

Ответы (1)


arrow_upward
0
arrow_downward

Virtuoso 8.x поддерживает настраиваемые правила рассуждения и вывода (с использованием SPARQL в качестве языка правил) в дополнение к встроенным правилам вывода из предыдущих выпусков.

В качестве многомодельной СУБД, которая поддерживает декларативные взаимодействия с отношениями, представленными в виде таблиц или графиков RDF, всегда можно было реализовать собственные правила вывода с помощью «магических предикатов» (созданных с использованием языка хранимых процедур SQL от Virtuoso), которые динамически материализуют отношения.

В последней версии Virtuoso мы просто раскрыли существующую функциональность «волшебного предиката» с использованием SPARQL в качестве языка правил, любезно предоставленных терминами из словаря SPIN.

Ссылки Live SPARQL Query Results, демонстрирующие пользовательские правила рассуждения и вывода, примененные к фрагменту типов отношений британской королевской семьи из DBpedia:

  1. Предки и потомки
  2. Братья и сестры
  3. Тетушки
  4. Дяди
  5. Двоюродные братья

Вот ссылки на сообщения об этой функции:

  1. Virtuoso 8.x Пользовательские правила вывода и магические предсказания
  2. Как сделать Создавайте собственные правила вывода с помощью Virtuoso 8.x
person Kingsley Uyi Idehen    schedule 28.08.2018