In the following, the functional property should imply that Peg owl:sameAs
MargaretAnn, and indeed it does. However, it fails to imply that MargaretAnn
owl:sameAs Peg. That seems very odd to me.
This is using Pellet via SWOOP v2.3 beta 3; it could well be that this has been
fixed in later versions. AFAICT, that is the latest release. |