loading...| Preferred Name | Identifier | |
| Synonyms |
|
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/Identifier |
|
| adapted from | ||
| explanatory note |
1. Identifier can be just one designative ICE or consist of a combination of them. It can also be a combination of other types of information; for example, in a particular domain of discourse, a combination of first name and last name can provide sufficient uniqueness for entities in that domain. 2. The designative property enforces uniqueness as it is a functional property. In other words, on the instance level, each instance of identifier designates exactly one instance of an entity. |
|
| first-order logic axiom |
Identifier(x) → InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ designates(x,e)) |
|
| is defined by | ||
| is primitive |
true |
|
| prefixIRI |
iof-core:Identifier iof:Identifier |
|
| prefLabel |
Identifier |
|
| primitive rationale |
There are insufficient constructs to create necessary and sufficient conditions. Namely patterns to connect context to the identifier are still missing |
|
| semi-formal natural language axiom |
if x is an 'identifier' then x is an 'information content entity' that 'designates' some 'entity' |
|
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/InformationContentEntity |