This seems to be conflating two things, that people should look for existing types and that URI fragments are disallowed (the URI fragments part should really be moved to a more global spot anyways, it applies everywhere URIs/IRIs are used).