parid0287 | Sat, 22 Feb 2003 14:33:21
The purpose of these property values is to enable arc traversals within assertions
If the graph is an "abstract data structure" (parid0005) I'm not sure where traversals are "enabled." Is it meant that the RM is an "enabling technology" and opposed to an "encompassing" technology? Probably not.
—shunting@etopicality.com
parid0287 | Sat, 22 Feb 2003 14:33:21
intra-assertion
Intuitively, this phrase is clear. Do we need a concept of
"direction" ("arc" versus "edge") to formalize it?
—shunting@etopicality.com