Re: Subproperties of inverse object property expressions in inferred hierarchy view
Verified, and I concur.
On Fri, Feb 22, 2013 at 9:47 AM, Christian Bölling <[hidden email]> wrote:
I'd like to follow-up on this. I now have a case where properties are
inferred to be sub-properties of inverses, making them invisible in said
For example, if the following is asserted:
p1 InverseOf p2
p1 SubPropertyOf p3
reasoner rightfully infers
p2 SubPropertyOf inv(p3)
as a consequence, p2 is not displayed any more in the inferred object
property hierarchy view and cannot, consequently, be accessed anymore from
that view. I'd rather have this behavior changed: all properties must stay
visible at least as subproperties of owl:topObjectProperty.
> -----Ursprüngliche Nachricht-----
> Von: Christian Bölling [mailto:[hidden email]]
> Gesendet: Mittwoch, 13. Februar 2013 20:05
> An: 'Protege 4.x support and discussion'
> Betreff: [p4-feedback] Subproperties of inverse object property
> in inferred hierarchy view
> If the following is asserted in P4 for two object properties p1 and p2:
> p2 SubPropertyOf inv(p1)
> then p2 is not accessible anymore from the inferred object property
> hierarchy view.
> This makes sense from the hierarchy perspective - still, p2 could be
> as subclass to owl:topObjectProperty.
> - Christian