推理一个相当大的本体

如何解决推理一个相当大的本体

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

解决方法

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

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

可能值得考虑以下几点：

(1) 你希望通过推理得到哪些推论？如果只能预期到少量的包含，则可能不值得付出努力。

(2) 是否有可能将本体分解为更小的模块，以便对模块进行推理将给出所需的蕴涵？

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