[sc34wg3] SAM-issue term-scope-def
Sun, 09 Jun 2002 22:11:10 +0200
I think that it would really help to introduce a notion of
'user scope' or 'observer scope', being a set of topics.
You would then be able to apply set theory more formaly. For example
you then can say that
'and association is valid in the user context U if the association's
scoping topic set S is a subset of U'
or whatever the final interpretation will be.
Consultant & Programmer
Tel: ++49 (0)40 89 700 511
Fax: ++49 (0)40 89 700 841