1. A computer-implementable method for incremental specification of identities in a computer network, the method comprising: creating first, second, and third set identifiers of sets representing one or more distinct entities, the sets comprising one or more distinct elements, wherein the first and second set identifiers represent subsets of the set represented by the third identifier; annotating the first set identifier with first properties using statement tuples having logical delimited groupings and that collectively comprise the first properties and individually reference the first set identifier, wherein the first properties characterize entities in the set identified by the first set identifier; annotating the second set identifier with second properties using statement tuples having logical delimited groupings and that collectively comprise the second properties and individually reference the second set identifier, wherein the second properties characterize entities of the set identified by the second set identifier, such that the first properties and the second properties have third properties in common; detecting redundant data for factoring the first and second set identifiers by introducing a fourth set identifier annotated with the third properties using statement tuples having logical delimited groupings and that collectively comprise the third properties and individually reference the fourth set identifier, wherein the third properties characterize elements of the set identified by the fourth set identifier; storing data representing the statement tuples, wherein the data is distributed across distinct physical storage devices; querying the statement tuples in at least one ephemeral context comprising additional tuples as query assumptions and access control; applying knowledge rules within the ephemeral context to derive derived tuples, the knowledge rules comprising additional tuples; and applying representation rules within the ephemeral context to derive logical tuples from data in other representations, the representation rules mapping between logical and physical representations of datasources.