ontology - 推理一个相当大的本体

Question

我有一个相当大的本体（大约 80 GB）。我认为推理器将整个本体带入推理过程的记忆中，不是吗？有什么方法可以推理超过 80 GB 的本体和 16 GB 的 RAM？

Answer 1

在开始推理之前，Protege 需要完整加载本体。

最重要的是，推理器将需要更多的记忆来进行实际的推理。推理器需要多少内存在很大程度上取决于本体的表达能力（即 EL++ 与 OWL DL）、本体的特性（即大量 OR 分支将需要更多内存）以及您计划使用的推理器。以下论文可能在这方面有用。

可能值得考虑以下几点：

（1）你希望通过推理得出什么推论？如果只能预期少量的蕴涵，则可能不值得付出努力。

(2) 是否有可能将本体分解成更小的模块，这样对模块的推理将给出所需的蕴涵？

(3) 如果您的本体包含大量个体，您可能更需要一个三元存储，您可以在其上执行规则而不是推理器。