RE: SKOS comment - How to better explain why skos:broader is not transitive from Vladimir Alexiev on 2014-04-04 (public-esw-thes@w3.org from April 2014)

From: Vladimir Alexiev <vladimir.alexiev@ontotext.com>
Date: Sat, 5 Apr 2014 01:36:38 +0200
To: <public-esw-thes@w3.org>
Message-ID: <02fd01cf505e$b9ef0130$2dcd0390$@alexiev@ontotext.com>

> why skos:broader is not  transitive 

Ok, good explanation.


But who can explain why skos:broaderTransitive is not always appropriately transitive?

E.g. iso-thes:broaderPartitive and iso-thes:broaderInstantial should not compose.
E.g. Sofia is part of Bulgaria; Bulgaria is an instance of Country, but Sofia has no relation to Country whatsoever.

But iso-thes:broaderPartitive and iso-thes:broaderInstantial are declared subprops of skos:broader,
and skos:broader feeds unconditionally into skos:broaderTransitive.
So it infers Sofia skos:broaderTransitive Country, which is meaningless.

Cheers! Vladimir

Received on Friday, 4 April 2014 23:37:09 UTC