[sc34wg3] Draft Reference Model

Lars Marius Garshol sc34wg3@isotopicmaps.org
18 Nov 2002 21:45:34 +0100


* Jan Algermissen
| 
| Example:
| 
| "'Hot' and 'cold' are opposites"
| 
| This would be modeled in the graph like this:
| 
|                                 
|                                x2
|                               /
|                              C-----R2
|                             /
|        T1                  A-----T2
|        |                  /
|        |       R1        C-----R3
|        |       |        /
|        A-------C-------x1
|                         \
|                          C-----R3
|                           \
|                            A-----T2
|                             \
|                              C-----R2
|                               \
|                                x3
| 
| 
| The nodes above represent the following subjects:
| 
| T1: the assertion type 'at-opposites'
| R1: the role 'role-opposite'
| x1: the players of the role-opposite  ("The Opposites")
| R2: the role 'role-setMember'
| R3: the role 'role-set'
| T2: the assertion type 'at-set-setMember' 
| x2: 'hot'
| x3: 'cold'

This was rather difficult to follow. Could you show what this would
look like in XTM syntax?

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
ISO SC34/WG3, OASIS GeoLang TC        <URL: http://www.garshol.priv.no >