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