Проверка несоответствия рассуждений отшельника и потребление памяти
Я использую Hermit через Protege, чтобы проверить согласованность моей модели OWL. Однако кажется, что онтологии, которые я импортирую в мою модель, приводят к сбою из-за нехватки памяти. Я работаю на ПК с 16 ГБ ОЗУ и даже когда использую Xmx14500M -Xms14000M В параметрах для Java-кучи процесс рассуждения завершается неудачно из-за объема памяти при отображении сообщения "Построение иерархии классов...".
Вопросы:
- Я понимаю, что (по крайней мере иногда), когда моя модель несовместима, эти ошибки несоответствия возникают относительно рано (например, в первые 3-4 минуты), перед сообщением "Иерархия классов здания...". Я не могу подтвердить, что это происходит каждый раз. Безопасно ли предполагать, что Эрмит сначала проверяет несоответствия, а затем пытается построить предполагаемую иерархию классов модели? Если это так, когда я получаю сообщение "Построение иерархии классов...", это означает, что моя модель согласована. Это правда?
- Хотя предполагаемые отношения (например, выведенная иерархия классов) могут быть полезны в моем случае использования, проверка согласованности моей модели является моим приоритетом. Могу ли я как-то проинструктировать Эрмита только проверять наличие несоответствий, а не пытаться построить запрошенную иерархию классов?
- Могу ли я сделать что-нибудь для повышения производительности? Помимо увеличения размера кучи Java, есть ли какие-либо настройки, которые могут быть полезны?
- Будут ли другие рассуждения вести себя лучше в отношении потребления памяти? Должен ли я попробовать другую альтернативу?
Пожалуйста, обратите внимание, что я использую Hermit Conceer 1.3.8.413 через Protege 5.2.