问基于一个相当大的本体的推理

EN

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

最重要的是，推理机将需要更多的内存来进行实际的推理。推理器需要多少内存高度取决于本体的表达能力(例如，EL++与OWL DL)、本体的特征(即，许多OR分支将需要更多的内存)，以及您计划使用的推理器。在这方面，下面的paper可能很有用。

也许有必要考虑以下几点：

(1)你希望通过推理得出的推论是什么？如果只有少量的蕴涵是可以预期的，那么可能就不值得花这么大力气。

(2)有没有可能将本体分解成更小的模块，以便在模块上进行推理将给出所需的蕴涵？

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