问题描述
我有一个相当大的本体(大约 80 GB)。我认为推理器将整个本体带入内存以进行推理过程,不是吗? 有什么办法可以推理出超过 80 GB 的本体和 16 GB 的 RAM?
解决方法
在开始推理之前,Protege 需要完整加载本体。
最重要的是,推理器将需要更多的内存来进行实际推理。推理器需要多少内存在很大程度上取决于本体的表达能力(即 EL++ 与 OWL DL)、本体的特性(即大量 OR 分支将需要更多内存)以及您计划使用的推理器。以下 paper 在这方面可能有用。
可能值得考虑以下几点:
(1) 你希望通过推理得到哪些推论?如果只能预期到少量的包含,则可能不值得付出努力。
(2) 是否有可能将本体分解为更小的模块,以便对模块进行推理将给出所需的蕴涵?
(3) 如果你的本体包含大量个体,你可能更需要一个三元组存储,你可以在上面执行规则而不是推理器。