We have used the tacit assumption that the Full model is equivalent to a union of the ABox and the TBox. In actuality, however:
The Full model is the union of all named graphs in the triple-store
The ABox is the union of http://vitro.mannlib.cornell.edu/default/vitro-kb-2 and http://vitro.mannlib.cornell.edu/default/vitro-kb-inf.
The TBox is the union of http://vitro.mannlib.cornell.edu/default/asserted-tbox and http://vitro.mannlib.cornell.edu/default/inferred-tbox.
This means that if an installation creates their own named graph, then that graph is in the Full model, but is in neither the ABox or the TBox.
This has already led to a problem,
VIVO-934, and may well lead to others.