Sparql protege如何将OntoGraf与推断的三元组一起使用？

我正在使用Protege开发一个本体，我也在使用OntoGraf选项卡来查看本体及其类、实例及其实例的层次结构

如果我明确地说一个实例（i）来自类型（t），OntoGraf会向我展示这一点，但如果我对实例（i）满足的类型（t）施加限制，因此，（i）推断它来自类型（t），OntoGraf根本不会向我展示这一点

换句话说，我可以在protege中看到实例（I）来自类型（t），但OntoGraf没有显示这一点

同样，我明确地说，只是在处理实例，它们来自特定的类，但推断的实例不起作用

---

明确地说一个实例来自一个类是没有任何意义的，否则本体论没有任何好处。

Ontograf不能显示推断出的公理。它只显示断言的。这就是为什么在OntoGraf选项卡中无法将实例（i）视为类型（t）的实例的原因

---

一个好的替代方法（有点脏，但可以工作）可能是导出推断数据（

文件>将推断的公理导出为本体

），并在Protégé中重新打开这个新的本体，并使用OntoGraf可视化推断的公理（现在被认为是断言的）。

OntoGraf无法显示推断的公理。它只显示断言的。这就是为什么在OntoGraf选项卡中无法将实例（i）视为类型（t）的实例的原因

一个好的替代方法（有点脏，但可以工作）可能是导出推断数据（

文件>将推断的公理导出为本体

），并在Protégé中重新打开这个新的本体，并使用OntoGraf可视化推断的公理（现在被认为是断言的）