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

Я разработал онтологию и хочу добавить следующий SWRL в протеже: Divider_intersection(?node), is_extent_of(?node, ?s), builds(?s, ?l),Segment(?s),Lane(?l),detailed_partition(?d), builds(?l, ?d)-> is_divided_at(?d, ?node) с этим я хочу...

Я пытаюсь зафиксировать конфликт, используя правила SWRL. Я узнал, что SWRL поддерживает правила с пустым заголовком (консеквент). Но Протеже не позволяет определить такие правила. Фиктивным примером того, чего я пытаюсь достичь, является...