1. A computer-implementable method for incremental specification of identities in a computer network, the method comprising: creating identifiers, annotating identifiers using tuples in at least one world, storing data representing the tuples, querying the tuples in at least one world, generating a reference for an identifier, resolving the reference to determine a corresponding identifier, and deriving related identifiers for an identifier based on the tuples.