Virtuoso OWL 2 DL Reasoning - PullRequest
Новая
       77

Virtuoso OWL 2 DL Reasoning

0 голосов
/ 16 мая 2018

У меня есть сервер Virtuoso 7.20.3217, куда я загружаю свои данные. Согласно документации Virtuoso, Virtuoso поддерживает базовые рассуждения совы, такие как rdfs: subClassOf или rdfs: subPropertyOf .

Что я должен сделать, чтобы включить OWL 2 DL-рассуждение? Или даже поддерживать правила SWRL? Есть ли шанс включить эти возможности в Virtuoso? Например, путем включения внешнего мышления, такого как Пеллет?

Ответы [ 2 ]

0 голосов
/ 22 июня 2018

Чтобы дать некоторую важную ясность этому вопросу, касающемуся Virtuoso и Правил вывода, я хотел бы добавить следующее:

Virtuoso предлагает ряд встроенных правил вывода, основанных на семантике типов отношений сущностей, описанных в обоихсхема RDF (rdfs: subClassOf и rdfs: subPropertyOf) и онтологии OWL (owl: sameAs, owl: inverseOf, owl: inverseFunctionalProperty, owl: эквиваленты класса, owl: эквиваленты свойств и совы: симметрические свойства).

* 1004 с *.версия 8.1 также включает создание пользовательских правил вывода с использованием SPARQL CONSTRUCT в качестве языка правил, любезно предоставленных терминами из онтологии SPIN.

Таким образом, если вы хотите получить дополнительную семантику типа отношения, сообщающую желаемое обоснование и вывод, например, в соответствии с OWL DL или чем-то еще, все, что вам нужно сделать, это создать собственное правило вывода.

Ссылки

  1. Подробное сообщение о возможностях рассуждения и вывода виртуозов

Надеюсь, это прояснит этот важный вопрос?

0 голосов
/ 16 мая 2018

Virtuoso 7.x не поддерживает SWRL и не полностью поддерживает OWL 2 DL (хотя может быть сделано для поддержки подмножества предикатов OWL ). (Также см. 1 , 2 .)

В Virtuoso 8.x реализован SPIN, в который можно перевести SWRL, и то же подмножество предикатов OWL, среди прочих более сложных рассуждений.

См. Создание пользовательских правил вывода с использованием словаря SPIN и Virtuoso 8.0 и SWRL и Virtuoso для начинающих.

Документация пользователя находится в процессе разработки; Вы можете получить помощь через Список рассылки Virtuoso Users или Система поддержки OpenLink .

...