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>

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
        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

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.4.0 : Friday, 17 January 2020 17:31:54 UTC