Как сохранить результат рассуждения FaCT++ или HermiT в Protege
Я использую Protégé 4.3 и хочу сохранить результаты анализа в файл онтологии. Когда я остановил мыслитель, все результаты исчезли.
Как я могу сохранить результаты?
1 ответ
Решение
В Protégé используйте Файл → Экспортировать выведенные аксиомы как онтологию…
Это должно сделать то, что вы ищете.