SKOS Comment: skos:broader as subproperty of broaderTransitive seems backwards

In
http://www.w3.org/TR/2008/WD-skos-reference-20080829/#L2413
it says that "skos:broader is not a transitive property", but "skos:broader is a sub-property of skos:broaderTransitive, which is a transitive property".  Isn't this backwards?

By the entailment rules for rdfs:subPropertyOf
http://www.w3.org/TR/rdf-mt/#rulerdfs7
if:
        skos:broader rdfs:subPropertyOf skos:broaderTransitive .
        uuu skos:broader yyy .

then necessarily:

        uuu skos:broaderTransitive yyy .



David Booth, Ph.D.
HP Software
+1 617 629 8881 office  |  dbooth@hp.com
http://www.hp.com/go/software

Statements made herein represent the views of the author and do not necessarily represent the official views of HP unless explicitly so stated.