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