Поддерживает ли SWRL вывод пустых узлов как Jena?

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

Jena предоставляет makeTemp встроенный метод для выполнения этой работы подробнее здесь.

Вот пример:

[r1: (?e1 st:runningTask st:gic_eth0), makeTemp(?p)
 ->
 (?p rdf:type st:dataFromEthernet2IP) ]

Мой вопрос:

Поддерживает ли SWRL вывод пустых узлов на стороне последствий правил? SWRL w3c ничего не говорит об этой конкретной ситуации.


inference rdf jena blank-nodes swrl
person Fopa Léon Constantin    schedule 09.01.2015    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Переменные в правилах SWRL принимают значения, которые являются индивидуальными значениями OWL и литералами RDF. Пустой узел не может быть литералом RDF, хотя пустой узел может быть безымянным индивидуумом OWL. (Я не уверен, будет ли SWRL работать с неназванными, но объявленными лицами; он не будет работать с лицами, которые не объявлены (например, с лицами, существование которых может быть выведены, но на самом деле не имеют объявленного представления.) В любом случае переменные SWRL не будут привязаны к каким-либо произвольным пустым узлам.

Важным моментом здесь является то, что правила Jena работают с RDF, который имеет концепцию узла URI, пустых узлов и литералов. Правила SWRL работают с конструкциями OWL. На самом деле вам не нужен RDF для выполнения рассуждений OWL, и вы можете делать рассуждения SWRL без какого-либо базового представления RDF. Поэтому, если вы используете SWRL, вам не нужно думать о том, является ли что-то пустым узлом или нет; В OWL нет пустых узлов; пустые узлы - это конструкция RDF.

person Joshua Taylor    schedule 10.01.2015
comment
@ Джошуа Тейлор, почему вы думаете, что пустой узел не может быть литералом RDF (я не уверен, что правильно вас понял)? Извините, что комментирую пост двухлетней давности. - person Stanislav Kralin; 17.07.2017
comment
@stanislav, дело не в том, может ли черный режим быть буквальным или нет. RDF имеет три типа ресурсов: IRI, литералы и пустые узлы. Это разные вещи. См., например, w3.org/TR. /2014/NOTE-rdf11-primer-20140624/#section-data-model. - person Joshua Taylor; 17.07.2017
comment
Но SWRL предназначен для написания правил о OWL, а не (напрямую) о RDF. Поскольку онтология OWL может быть сериализована в EFF, может оказаться, что правила влияют на некоторые конструкции OWL, сериализуемые в RDF определенным образом. Но здесь важно то, что правила SWRL (насколько я помню, это старый пост) не дают вам возможности создавать индивидуумов OWL, и только индивидуумы OWL могут быть сериализованы как пустые узлы RDF, так что вы можете не создавать пустой режим RDF с помощью правил SWRL. - person Joshua Taylor; 17.07.2017