[topicmapmail] Getty Art and Architecture Thesaurus On Line
Lars Marius Garshol
larsga@garshol.priv.no
01 Sep 2003 10:51:38 +0200
* Kal Ahmed
|
| Is instanceOf really a transitive relation ? I don't believe it is.
The latest data model draft is quite clear that it is not:
"The type-instance relationship is not transitive. That is, if A is
a type of which B is an instance, and B is a type of which C is an
instance, it does not follow that C is an instance of A."
<URL: http://www.isotopicmaps.org/sam/sam-model/#sect-types >
--
Lars Marius Garshol, Ontopian <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50 <URL: http://www.garshol.priv.no >