如何在 Pellet 推理机中重现规则答案

【问题标题】：How to reproduce rules in Pellet reasoner如何在 Pellet 推理机中重现规则
【发布时间】：2017-11-02 16:41:38
【问题描述】：

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

有重现这种行为的想法吗？？

谢谢

【问题讨论】：

存在标准“规则集”：graphdb.ontotext.com/free/devhub/…。选择例如创建存储库时使用“OWL-Max”。
感谢您的回答！ ...拜托，另一个问题，只是为了确定... OWL-MAX对应于“builtin_Rules.pie”文件？？ “builtin_RulesPublishing.pie”是什么规则集？？？
...但是，“OWL-MAX”不是 OWL-Lite 的实现（不如 OWL-DL 的表现力）？ (graphdb.ontotext.com/documentation/free/…)

标签： protege pellet graphdb

【解决方案1】：

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

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

【讨论】：

感谢您的回答！