如何用粒子推理器的RDF定义本体的语义推理路径和区域？

Question

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

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

我是否可以配置推理器不检查整个本体，但最近才从最高级别的产品实例开始添加产品？我应该选择哪种推理能够做到这一点？

修改

对整个数据集的推理在执行时间上代价很高 - 我可以设置一个＆＃34;推理范围＆＃34;如果我知道在哪里做出了改变，那么就开始加速这个过程了？

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

感谢!!!

Answer 1

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