1

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

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

产品结构

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

编辑

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

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

谢谢！！！

4

1 回答 1

1

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

于 2017-11-22T16:34:31.323 回答