Ani*_*vid 0 semantic-web owl ontology sparql protege
我正在使用 Protege 开发本体，我还使用 OntoGraf 选项卡查看本体及其类及其实例及其实例的层次结构。
如果我明确说一个实例 (i) 来自类型 (t)，OntoGraf 会告诉我这一点，但是如果我对实例 (i) 满足的类型 (t) 施加限制，因此， (i) 变得推断出它来自类型 (t)，OntoGraf 根本没有告诉我
换句话说，我可以在 protege 中看到实例 (i) 来自类型 (t) 但 OntoGraf 没有显示。
同样，它只是处理我明确说它们来自特定类的实例，但推断的实例不起作用。
明确地说一个实例来自一个类没有任何意义，否则本体没有任何好处。
小智 5
Ontograf 无法显示推断的公理。它只显示断言的。这就是为什么您无法在 OntoGraf 选项卡中将您的实例 (i) 视为类型 (t) 的实例的原因。
一个很好的替代方案（有点脏但有效）可能是导出推断数据 ( File > Export inferred axioms as ontology) 并在 Protégé 中重新打开这个新本体并使用 OntoGraf 来可视化推断公理（现在被认为是断言）。