Object property hierarchy view broken in Protege 5.0.0 (first non beta release)

[dosumis]

This is a show-stopper for me.

(Apologies if this is a dup ticket. Thought I remembered mention of it previously but couldn't find ticket on tracker).

[dosumis]

Update: Seems to be due to elk 0.4.3. Back to normal once I turn off the reasoner.

• surely the reasoner should only be required of the 'inferred object property hierarchy'?

[aifargonos]

ELK 0.4.3 does not provide access to the taxonomies of object or data properties. Protege 5 displays these scary messages in such cases. The next version of ELK should provide access to object property taxonomy.

[matthewhorridge]

@dosumis It may be that when you select an object property the reasoner is queried to retrieve inferred equivalent and super properties for the property description view. However, this shouldn't wipe out the property hierarchy. I'm looking into it.

[matthewhorridge]

@dosumis at what point do you start ELK? Here is, what I believe is a work around: Make sure you select the entities tab before you select the reasoner and activate it. If I do this then I get some message dialogs saying some methods are not supported, but the Object Property Hierarchy view remains intact.

[ykazakov]

Interesting that the Data property hierarchy view works fine even though ELK does not support reasoning with data properties. Also, Protege seems to ignore the setting of "Displayed Inferences" in Preferences > Reasoner. Even if everything is unchecked, it still asks the reasoner and try to display those inferred hierarchies.