[protege-owl] Inverse property bug?

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[protege-owl] Inverse property bug?

Daniel Elenius
Or maybe more of a feature requuest...

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.

Is this feature out of the question?

protege-owl mailing list
[hidden email]

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03