Re: [xtm-wg] Issue with instanceOf

[Peter Newcomb <peter@techno.com>]

[Peter Jones <peterj@wrox.com> on Wed, 3 Jan 2001 14:34:27 -0000 ]
> why are the contents of instanceOf not scoped too?

In the case of an association element, the instanceOf element serves
to type the association.  If this typing relationship were to be
scoped, it would have to be done in one of two ways:

  1) by representing the typing relationship as another association in
     the topic map graph, or

  2) by allowing (in the conceptual model) scopes to apply to typing
     relationships even though they are not associations.

(1) is considered unacceptable because an association that models a
typing relationship between another association and its type must
itself be typed; if it is to be typed using the same mechanism as the
first association, it creates an infinite regression.

(2) is unnecessary because having a single association with multiple
types (each in a different scope) is equivalent to having multiple
associations (each in a different scope) where each association has a
single type.

-peter

--
Peter Newcomb                           Epremis Corporation
peter.newcomb@epremis.com               http://www.epremis.com/

To Post a message, send it to:   xtm-wg@eGroups.com

To Unsubscribe, send a blank message to: xtm-wg-unsubscribe@eGroups.com