Desired Functionality

See related writings.

You want to be able to compare names. You can use a global name (eg a UUID) and do a string comparison, or you can use a local name (eg an existential variable) with some descriptive assertions, and then do some comparison logic.

You want to be able to retrieve some information about the identified things, like some human documentation and some assertions by the first user of the term. Web addresses are great for this. You can textually include one or more in the identifier (or maybe make it be the identifier, saying the web addressed denotes both the web page and the intended object). Or you can send along some assertions about where to find the stuff, whenever you use the identifier.

Sandro Hawke
$Date: 2001/03/23 19:17:21 $