OntoME

Domain:

E2 Temporal Entity

Range:

E1 CRM Entity

Subproperty of:

• E2 Temporal Entity → histP1 involves → E1 CRM Entity

Superproperty of:

• histC34 Occupation (Temporal entity) → histP46 is about (is occupation of) → histC33 Occupation
• histC34 Occupation (Temporal entity) → histP45 is occupation of (has occupation) → E21 Person

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:

• histP30(x,y) ⊃ E2(x)
• histP30(x,y) ⊃ E1(y)
• histP30(x,y) ⊃ histP1(x,y)