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

Question

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

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

Вот пример:

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

Мой вопрос:

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

Answer 1

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

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