如何在 Pellet reasoner 中重现规则

Question

我正在使用 graphDB（ontotext 数据库图），我想在 graphDB（.pie 文件）中重现 Protege 中 Pellet reasoner 的行为。通过这种方式，我想在 graphDB 中获得与在 Protege 中相同的行为。 我已经在 GraphDB 中实施了规则，但我不确定如何重现 Pellet 行为。 我已经阅读了有关 OWL-DL 和 DL 语义（Pellet 是基于该语言构建的）但我没有找到实现的规则以及如何在 GraphDB 中重现它。

有重现该行为的想法吗？？

感谢

Answer 1

您不能在 GraphDB 中重现与在 Pellet 中完全相同的行为或相反的方向。 Pellet 和 GraphDB（以前称为 OWLIM）使用两种完全不同的推理方法。 GraphDB 的设计是一个仅限于易处理片段的数据库，因此所有推理发生的加载时间保持可预测。

下图高度概括了不同语义片段如何重叠。