Create an object property foo, with inverse property bar and a
subproperty goo, and create classes for ranges and domains.
Now, create an individual with a property value for goo. Look at the
individual serving as the property value. The inverse value for foo does
not show up!
So, Protege gets confused when mixing subproperties and inverse
properties. I guess I am asking Protege to do a (very simple) inference
here. But showing the inverse on non-sub-properties is already an inference.