Object property hierarchy (Inferred) not updated when ontology is changed

[ykazakov]

Try this:

• Open the Pizza ontology
• Classify (e.g., using HermiT)
• Create a new ontology (File > New...)
• Go to Entities > Object properties > Inferred

For me the Pizza's inferred property hierarchy is shown instead of the new (trivial) one.
(For class hierarchy all works fine)
The property hierarchy is updated only when the reasoner is started for the new ontology.