The public identifier for the concept. In the VDM application local URI's are used to identify the concepts because the dereferenceability can be achieved.
| type | Interoperability Level |
| type | rdfs:Class |
| label | A Public Identifier |
| definition | The public identifier for the concept. In the VDM application local URI's are used to identify the concepts because the dereferenceability can be achieved. |