Я хочу проверить экземпляры на соответствие минимальным ограничениям мощности моей онтологии.Для этого я должен выполнить рассуждение о замкнутом мире.
Согласно нескольким постам, Protégé поддерживает такие рассуждения с помощью Pellet.Тем не менее, я не мог найти учебник о том, как это сделать.
Мой вопрос заключается в том, как настроить Protégé (или Pellet в Protégé) для выполнения рассуждений о замкнутом мире?
Заранее спасибо!