我正在使用Protege来开发Ontology，我也使用OntoGraf选项卡来查看Ontology及其类及其实例及其实例的层次结构。
如果我明确地说实例（i）来自类型（t），那么OntoGraf告诉我，但是如果我对实例（i）满足的类型（t）施加限制，那么，（i）变得推断它来自类型（t），OntoGraf根本没有告诉我
换句话说，我可以看到实例（i）来自类型（t），但OntoGraf没有显示。
同样，它只是处理我明确说明来自特定类的实例，但推断的实例不起作用。
明确地说实例来自一个类没有任何意义，否则本体没有任何好处。
答案 0 :(得分：4)
Ontograf无法显示推断的公理。它只显示断言的。这就是为什么你不能在OntoGraf标签中看到你的实例（i）作为类型（t）的实例。
一个好的替代方案（有点脏但有效）可能是导出推断数据（File > Export inferred axioms as ontology）并在Protégé中重新打开这个新的本体并使用OntoGraf来显示被推测的公理（现在被认为是断言的） ）。