protege 如何将 OntoGraf 与推断的三元组一起使用？
protege how to use OntoGraf with inferred triples?
我正在使用 Protege 开发一个 Ontology，我还使用 OntoGraf 选项卡查看 Ontology 及其 classes 及其实例及其实例的层次结构.
如果我明确地说实例 (i) 来自类型 (t)，OntoGraf 会告诉我这一点，但是如果我对实例 (i) 满足的类型 (t) 施加限制，则 ( i) 推断它来自类型 (t)，OntoGraf 根本没有告诉我
换句话说，我可以在 protege 中看到实例 (i) 来自类型 (t)，但 OntoGraf 没有显示。
同样，它只处理我明确表示它们来自特定 class 的实例，但推断的实例不起作用。
明确地说实例来自 class 没有任何意义，否则 Ontology.
没有任何好处
Ontograf 无法显示推断的公理。它只显示断言的。这就是为什么您在 OntoGraf 选项卡中看不到您的实例 (i) 作为类型 (t) 的实例的原因。
一个不错的选择（有点脏但有效）可能是导出推断数据（File > Export inferred axioms as ontology）并在 Protégé 中重新打开这个新的 ontology 并使用 OntoGraf 可视化推断的公理（现在被认为是断言的）。
我正在使用 Protege 开发一个 Ontology，我还使用 OntoGraf 选项卡查看 Ontology 及其 classes 及其实例及其实例的层次结构.
如果我明确地说实例 (i) 来自类型 (t)，OntoGraf 会告诉我这一点，但是如果我对实例 (i) 满足的类型 (t) 施加限制，则 ( i) 推断它来自类型 (t)，OntoGraf 根本没有告诉我
换句话说，我可以在 protege 中看到实例 (i) 来自类型 (t)，但 OntoGraf 没有显示。
同样，它只处理我明确表示它们来自特定 class 的实例，但推断的实例不起作用。
明确地说实例来自 class 没有任何意义，否则 Ontology.
没有任何好处Ontograf 无法显示推断的公理。它只显示断言的。这就是为什么您在 OntoGraf 选项卡中看不到您的实例 (i) 作为类型 (t) 的实例的原因。
一个不错的选择（有点脏但有效）可能是导出推断数据（File > Export inferred axioms as ontology）并在 Protégé 中重新打开这个新的 ontology 并使用 OntoGraf 可视化推断的公理（现在被认为是断言的）。