Here's a
UML diagram of the latest class schema for the core
Names on Nodes entities:

The white arrows indicate inheritance, i.e., "is-a" relationships. For example, a
PhyloDefinition is a type of
Definition. The black diamonds indicate composition, i.e., "has" relationships. For example, a
Definition has any number of
Anchor entities, each of which has exactly one
Signifier entity.
Some comments on the major classes of entity:
Signifier.—This is what everything revolves around. A
Signifier signifies a set of organisms, that is, a taxon.
Signifier entities may be scientific names, specimens, character states, or taxonomic units in systematic studies.
Several
Signifier entities may share the same
SignifierIdentity, indicating that they are different ways of referring to the exact same thing. For example,
Felis leo (
ICZN) and
Panthera leo (
ICZN) are objective synonyms. (Subjective synonyms do not share the same identity.)
Authority.—Every
Signifier is unique within an
Authority.
Authority entities may be publications, nomenclatural codes, personal opinions, specimen repositories, or bioinformatics files. Every
Authority is associated with a unique URI (e.g., a web address, a DOI, an ISBN number, etc.).
Like
Signifier entities, different
Authority entities may share an identity (
AuthorityIdentity). These
Identity entities are hidden from other entities, so that
Authority and
Signifier entities can be equated or differentiated without affecting other entities in the database.
Relator.—A
Relator is a set of
Relation entities, each of which represent a statement about two
Signifier entities, either
Inclusion (i.e.,
a is a superset of
b) or
Parentage (i.e.,
a is immediately ancestral to
b).
Definition.—A
Definition defines a
Signifier according to an
Authority, and may have any number of
Anchor entities, each of which tells whether a given
Signifier is objectively a subset of the defined
Signifier.
RankDefinition.—A
RankDefinition consists of a rank and some number of internal
Anchor entities. For example, under the
ICZN (an
Authority),
Hominidae (a
Signifier) is defined as the family (a rank) typified by
Homo (a
Signifier referenced by an internal
Anchor).
PhyloDefinition.—A
PhyloDefinition consists of a formula, expressed prosaically and mathematically. For example, according to Gauthier & de Queiroz 2001 (an
Authority),
Aves ( a
Signifier) is defined as, "the crown clade stemming from the most recent common ancestor of
Ratitae (
Struthio camelus Linnaeus 1758),
Tinamidae (
Tetrao [
Tinamus]
major Gmelin 1789), and
Neognathae (
Vultur gryphus Linnaeus 1758)." This
Definition is specified by three internal
Anchor entities, respectively referencing the species
Struthio camelus,
Tetrao major, and
Vultur gryphus (all of which are
Signifier entities).
Dataset.—The relations in a
Dataset are based on observation or hypothesis. A
Dataset entity's
Authority may be a bioinformatics file, a publication, or a personal opinion. As with
Signifier entities, every
Dataset can be uniquely identified by a qualified name, combining the URI of its
Authority and a local name.
Context.—Applying phylogenetic definitions requires a
Context, which is essentially a set of
Dataset entities. All
Definition and
DefinitionApplication entities are implicitly included under every
Context.
DefinitionApplication.—This is sort of the crux of the whole idea behind this project: that a
PhyloDefinition can be automatically applied under a given
Context.