graphDB 规则集（RDFS-Plus）与 Protege（Pellet/Hermit）中“表现力”差异的示例

Question

我无法将我的 Protege 5 本体导入 graphDB 并查看推断的类。这是由于程序的推理者方法中的不同“表达性”。有人能解释一下这两个程序在表现力方面是如何“排列”的吗？我试图弄清楚为什么 Pellet 等人。可以正确推断复杂的类，但 graphDB 不能，一个例子真的有助于澄清边界。

Answer 1

如果没有你的本体中的例子，这个问题有太多可能的答案。

选择一种可能性：如果您使用 OWL 公理定义等价类，则这些公理不会是 RDF 推理器能够理解的公理。因此，推理将丢失。任何其他使用不是从 RDF 或 RDFS 中获取的词汇的猫头鹰公理也是如此。