Fixed.
However, I've noticed an error. The original issue was raised, not about
subProperties of subPropertyOf, but of subProperties of subClassOf.
I think we need to bring this one back and specifically deal with the actual
issue raised.
Sorry folks. My fault.
Brian
Jan Grant wrote:
>
> Just noticed...
>
> The bit quoted from the counterexample does not act as a counterexample
> to the actual issue (that of subproperties of rdfs:subPropertyOf); the
> text "ancestorOf..." should probably be deleted; let people follow the
> link if interested.
>
> --
> jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
> Tel +44(0)117 9287088 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk
> Talk is cheap: free, as in beer. As in Real Ale, not that Budweiser rubbish.