“External identifier”是一个文本数据类型的变体，它要求属性声明外部格式化程序URI。