如何在Pellet推理器中重现规则

Question

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

有什么想法重现那种行为吗？

谢谢

Answer 1

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

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