Я использую OWLAPI с HermiT, и он работает, если я не пытаюсь изменить онтологию после создания аргумента.
Должен ли он уведомляться об изменениях онтологии? Или мне нужно воссоздать рассуждателя, или я могу уведомить рассудителя, что он должен "синхронизироваться" с изменениями? (как пункт меню в Protege)
Редактировать: что «не работает»: я добавляю аксиому, которая делает онтологию несовместимой, и если я добавляю ее после создания аргумента, он все равно сообщает, что это последовательны.