FaCT++ рассуждение для OWL Protege

Question

Я скачал OWL Protege 4.3. Я построил онтологию и хочу проверить согласованность заданной конфигурации.

Я совершенно новичок в этом программном обеспечении и не знаю, как использовать faCT++ с OWL Protege. Я вижу, что могу выбрать рассуждения из "Reasoner > FaCt++", но что мне тогда делать?

Заранее спасибо.

Answer 1

Вы должны запустить мыслитель после его выбора. Команда находится в том же меню.