如何使用颗粒推理器定义基于 RDF 的本体上的语义推理路径和区域？

Question

我创建了一个表示产品结构的复杂本体。我定义了最多的规则来描述产品的配置（如果你使用 Part A1，你就不能使用 Part B1 --> 你必须选择 Part B2 或 Part B3）。

现在我通过将现有零件实例分配给它来创建产品。我想根据配置规则检查产品是否可以构建。c 如果产品包含 A1 和 B1，则无法构建。

我可以配置一个推理器不检查整个本体，而只检查最近添加的产品，从层次最高的产品实例开始？我应该选择哪个推理机才能做到这一点？

编辑

对整个数据集进行推理在执行时间方面的成本很高 - 如果我知道在哪里进行了更改，我是否可以设置一个“推理范围”和起点来加速流程？

我使用 AllegroGraph 并在 Protege 或 TopBraid Composer 中设计 Ontologies 以将其导出到 RDF 中的 AllegroGraph。 TopBraid 有一个内置的推理器 (TopSpin)。

谢谢！！！

Answer 1

我认为你应该在修改后尝试incremental reasoning。如果你在 Protege 上安装了 Pellet 推理器，你应该有这种可能性(Reasoner tab --> Pellet (Incremental))。这不会重新计算所有内容，而是逐步处理更改。