protege - 如何在 Pellet 推理机中重现规则

Question

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

任何想法重现这种行为？

谢谢

Answer 1

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

下图给出了不同语义片段如何重叠的高级摘要。