理由相当大 ontology
reason over a rather large ontology
我有一个相当大的 ontology（大约 80 GB）。我认为推理器将整个 ontology 带入内存进行推理过程，不是吗？
有什么方法可以推断 80 GB ontology 和 16 GB RAM？
在您开始推理之前，ontology 需要由 Protege 完整加载。
最重要的是，推理者需要更多的记忆才能进行实际推理。推理器需要多少内存在很大程度上取决于 ontology 的表达能力（即 EL++ 与 OWL DL）、ontology 的特征（即大量的 OR 分支将需要更多内存）和您计划使用的推理器。以下 paper 在这方面可能会有用。
以下可能值得思考：
(1) 你希望通过推理得到哪些推论？如果只能预期少量的蕴含，那么可能不值得付出努力。
(2) 是否可以将 ontology 分解成更小的模块，使得对模块的推理将给出所需的蕴涵？
(3) 如果您的 ontology 包含大量个体，您可能更需要一个三元组存储，您可以在其上执行规则而不是推理器。
我有一个相当大的 ontology（大约 80 GB）。我认为推理器将整个 ontology 带入内存进行推理过程，不是吗？ 有什么方法可以推断 80 GB ontology 和 16 GB RAM？
在您开始推理之前，ontology 需要由 Protege 完整加载。
最重要的是，推理者需要更多的记忆才能进行实际推理。推理器需要多少内存在很大程度上取决于 ontology 的表达能力（即 EL++ 与 OWL DL）、ontology 的特征（即大量的 OR 分支将需要更多内存）和您计划使用的推理器。以下 paper 在这方面可能会有用。
以下可能值得思考：
(1) 你希望通过推理得到哪些推论？如果只能预期少量的蕴含，那么可能不值得付出努力。
(2) 是否可以将 ontology 分解成更小的模块，使得对模块的推理将给出所需的蕴涵？
(3) 如果您的 ontology 包含大量个体，您可能更需要一个三元组存储，您可以在其上执行规则而不是推理器。