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.