2016-03-06 3 views
0

Я создал онтологию в Protege 4.3 вместе с набором правил SWRL. Для выполнения этих правил и выполнения запросов мне нужна другая программа для работы с Protege или плагином? Является ли аргументатор полезным для этой работы? В поисках я наткнулся на множество аргументов, но я не понимаю их использования, хотя я считаю, что они могут быть релевантными. Я нашел здесь много вопросов относительно Протежа, но никто из них не помог.Как выполнить правила SWRL в Protege 4.3?

+0

@JimL. Это было первое, что я сделал, это было необходимо в конце концов. В чем проблема с моим вопросом? – Mandy

+0

Как заголовок вопрос? –

+0

@ JimL. Вы упомянули об этом всем пользователям? Как я вижу, на первой странице редко появляются вопросы в заголовках. – Mandy

ответ

1

Правилам SWRL требуется аргумент, который их поддерживает (как уже упоминалось Джошуа Тейлор). Этот аргумент должен появиться в виде плагина Protege для использования внутри Protege.

Обычно Protege имеет по крайней мере один аргумент, поддерживающий правила SWRL, это HermiT. Вы должны увидеть его в меню Reasoner.

Чтобы использовать любой аргумент (для вывода SWRL или OWL), просто выберите его и нажмите на Reasoner ->Start reasoner.

+0

Спасибо. Я загрузил Pellet, и я выполнил его, но эффекта нет. Я нашел плагин под названием Axiome for Protege 3, который обрабатывает правила на графиках, но он не работает в 4. Что-то похожее на 4? Или что-то еще важное? – Mandy

+0

«Без эффекта» не предоставляет достаточной информации для решения проблемы. Вы получаете ошибки? Проверены ли ваши правила для работы за пределами протеже? – Ignazio

+0

Ничего не могу сказать, что он ничего не делает без каких-либо ошибок. Кроме того, я проверил правильность правил. Также мне сказали, что рассуждения просто проверяют правильность правил, и если я хочу «обрабатывать» их, мне нужно использовать Java. Это так? – Mandy

Смежные вопросы