has identity defining component – P30

P30 has identity defining component

Range:

Quantification:

0,n:1,1

Scope note:

As a high level property and subproperty of involves – histP1 the present property expresses the fact that the range class is an identity defining component of the domain Temporal entity. This means that the identity of the domain Temporal entity depends on the range class instance and no alternative instances are allowed (against the general rule of CIDOC CRM) for this property.

E.g. in the case of a Birth – E67 there can be no discussion about the person which is P98 brought into life by a specific instance of a birth. A specific instance of a birth is always related to just one person. A discussion (and therefore production of alternative property instances) can take place concerning the P97 from father  property or the birth place, but never about the P98 brought into life property. This is necessary to allow data consistency in an information system and avoid considering e.g. the same birth instance as the birth of five different people which makes discussion impossible about the father or birth place of one specific person.

This property has no direct instances but is used to specify the role of the instanciated subproperties as identifying properties for the domain temporal entity.

Examples:

No example yet.

In First Order Logic:

  • P30(x,y) ⊃ E2(x)
  • P30(x,y) ⊃ E1(y)
  • P30(x,y) ⊃ P1(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
As a high level property and subproperty of involves – histP1 the present property expresses the fact that the range class is an identity defining component of the domain Temporal entity. This means that the identity of the domain Temporal entity depends on the range class instance and no alternative instances are allowed (against the general rule of CIDOC CRM) for this property. E.g. in the case of a Birth – E67 there can be no discussion about the person which is P98 brought into life by a specific instance of a birth. A specific instance of a birth is always related to just one person. A discussion (and therefore production of alternative property instances) can take place concerning the P97 from father  property or the birth place, but never about the P98 brought into life property. This is necessary to allow data consistency in an information system and avoid considering e.g. the same birth instance as the birth of five different people which makes discussion impossible about the father or birth place of one specific person. This property has no direct instances but is used to specify the role of the instanciated subproperties as identifying properties for the domain temporal entity. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P30

Domain and range

E2 Temporal Entity → P30 has identity defining component → E1 CRM Entity  (Quantifiers 0,n:1,1)

Labels

Label Language Last updated View details Comments
has identity defining component * en 2019-08-15 0

: Standard label for this language

Namespace

Namespace Last updated
HistDMI generic classes and properties – ongoing 2020-04-18

Parent properties

Domain Property Range Justification Relation namespace View details Comments
Temporal Entity – E2 (0,n) P1 involves (0,n) CRM Entity – E1 HistDMI generic classes and properties – ongoing 0

Ancestor properties

Domain Property Range Depth Property namespace

Childs and descendant properties

Domain Property Range Depth Property namespace
Birth – E67 (1,1) P98 brought into life (1,1) Person – E21 1 CIDOC CRM version 6.2
Occupation (Temporal entity) – C34 (0,n) P45 is occupation of (has occupation) (1,1) Person – E21 1 HistDMI generic classes and properties – ongoing
Occupation (Temporal entity) – C34 (0,n) P46 is about (is occupation of) (0,1) Occupation – C33 1 HistDMI generic classes and properties – ongoing

Related properties

Relation Property Justification Relation namespace View details Comments

Profiles using this class

Label Start date End date Last updated

Comments