我通过 Protege 使用 Hermit 来检查我的 OWL 模型的一致性。但是，我在模型中导入的本体似乎由于内存不足而导致失败。我在 16GB RAM 的 PC 上运行，即使我使用Xmx14500M -Xms14000Mjava 堆的参数，推理过程由于内存大小而失败，同时显示“构建类层次结构......”消息。
问题：
- 我知道（至少有时）当我的模型不一致时，这些不一致错误会在“Building class Hierarchy...”消息之前相对较早地提出（例如在前 3-4 分钟内）。我无法真正确认每次都会发生这种情况。假设 Hermit 首先检查不一致然后尝试构建模型的推断类层次结构是否安全？如果这是真的，当我到达“Building class hierarchy...”消息时，这意味着我的模型是一致的。这是真的？
- 虽然推断的关系（例如推断的类层次结构）在我的用例中可能很有用，但检查我的模型的一致性是我的首要任务。我可以以某种方式指示 Hermit 只检查不一致而不尝试构建请求的类层次结构吗？
- 我可以做些什么来提高性能吗？除了增加 java 堆大小之外，是否有任何类型的自定义可能有用？
- 其他推理者通常会在内存消耗方面表现得更好吗？我应该尝试另一种选择吗？
请注意，我通过 Protege 5.2 使用 Hermit reasoner 1.3.8.413