FaCT ++ reasoner для OWL Protege

Question

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

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

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

Answer 1

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