W3C home > Mailing lists > Public > public-swd-wg@w3.org > December 2008

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

From: Booth, David (HP Software - Boston) <dbooth@hp.com>
Date: Mon, 1 Dec 2008 07:50:42 +0000
To: "public-swd-wg@w3.org" <public-swd-wg@w3.org>
Message-ID: <CD2B872281385A439B98164F5351E6DD39C4779254@GVW1144EXB.americas.hpqcorp.net>

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.
Received on Monday, 1 December 2008 07:52:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:07:55 UTC