Cidoc conceptual Reference Model


P160 has temporal projection



Download 2.67 Mb.
Page65/74
Date09.01.2017
Size2.67 Mb.
#8471
1   ...   61   62   63   64   65   66   67   68   ...   74

P160 has temporal projection


In 33rd CRM-SIG meeting the group the crm-sig discussed about the issues 234, 235,263 and changed the name and the scope note

P160 has temporal projection

From:

Scope note: This property describes the temporal projection of an instance of an E92 Spacetime Volume. The property P4 has time-span is a shortcut of the more fully developed path from E4 Period through P158 occupied, E92 Spacetime Volume P160 has temporal projection to E52 Time Span.




To:

P160 has temporal projection(is temporal projection of)
Scope note: This property describes the temporal projection of an instance of an E92 Spacetime Volume. The property P4 has time-span is the same as P160 has temporal projection if it is used to document an instance of E4 Period or any subclass of it.


P161 has spatial projection


In 33rd CRM-SIG meeting the group the crm-sig discussed about the issues 234, 235,263 and changed the name , the subproperty and the scope note

From:
P161 has spatial projection
Superpoperty of:
Scope note: This property associates an instance of a E92 Spacetime Volume with an instance of E53 Place that is the result of the spatial projection of the instance of a E92 Spacetime Volume on a reference space. In general there can be more than one useful reference space to describe the spatial projection of a spacetime volume, such as that of a battle ship versus that of the seafloor. Therefore the projection is not unique.

The property P7 took place at is a shortcut of the more fully developed path from E4 Period through P158 occupied, E92 Spacetime Volume P161 has spatial projection to E53 Place.


In First Order Logic: P161(x,y) ⊃ E92(x)

P161(x,y) ⊃ E53(y)


To:

P161 has spatial projection(is spatial projection of)

Superproperty of: E18 Physical Thing. P156 occupies (is occupied by): E53 Place


Scope note: This property associates an instance of a E92 Spacetime Volume with an instance of E53 Place that is the result of the spatial projection of the instance of a E92 Spacetime Volume on a reference space. In general there can be more than one useful reference space to describe the spatial projection of a spacetime volume, such as that of a battle ship versus that of the seafloor. Therefore the projection is not unique.

This is part of the fully developed path that is shortcut by P7took place at (witnessed).The more fully developed path from E4 Period through P161 has spatial projection, E53 Place, P89 falls within (contains) to E53 Place.

P164 is restricted by


In 33rd CRM-SIG meeting the group the crm-sig discussed about the issues 234, 235,263 and changed the name, the scope note and the properties.
From:
P164 is restricted by
Domain: E93 Spacetime Snapshot

Range: E52 Time-Span

Quantification: two to many, necessary (2,n:0,n)

Scope note: This property relates an E93 Spacetime Snapshot with an arbitrary E52 Time-Span that restricts the extent of the former to a volume within these time limits.


In First Order Logic: P164 (x,y) ⊃ E93(x)

P164 (x,y) ⊃ E52(y)



To:
P164 during (was time-span of)

Domain: E93 Presence

Range: E52 Time-Span

Quantification:

Scope note: This property relates an E93 Presence with an arbitrary E52 Time-Span that defines the section of the spacetime volume that this instance of E93 Presence is related to by P166 was a presence of (had presence). that is concerned by this instance of E93 Presence.

Examples:


In First Order Logic: P164 (x,y) ⊃ E93(x)

P164 (x,y) ⊃ E52(y)



P166 was a presence of (had presence)


In 33rd CRM-SIG meeting the group the crm-sig discussed about the issues 234, 235,263 and added this new property
Domain: E93 Presence

Range: E92 Space Time Volume

Quantification:

Scope note: This property relates an E93 Presence with the STV it is part of…



P167 was at (was place of)


In 33rd CRM-SIG meeting the group the crm-sig discussed about the issues 234, 235,263 and added this new property

Domain: E93 Presence

Range: E53 Place

Quantification:

Scope note: This property points to a wider area in which my thing /event was…

P168 place is defined by (defines place)


In 33rd CRM-SIG meeting the group the crm-sig, resolving the issue 275, added a new property about space primitive to the class E53 Place
Domain: E53 Place

Range: E94 Space Primitive

Quantification: (0,n:1,1)
Scope note: This property associates an instance of E53 Place with an instance of E94 Space Primitive that defines it. Syntactic variants or use of different scripts may result in multiple instances of E94 Space Primitive defining exactly the same place. Transformations between different reference systems in general result in new definitions of places approximating each other and not in alternative definitions. Note that it is possible for a place to be defined by phenomena causal to it or other forms of identification rather than by an instance of E94 Space Primitive. In this case, this property must not be used for approximating the respective instance of E53 Place with an instance of E94 Space Primitive.

Proofreading:


The In First Order Logic statements are corrected in E1, E59, P101,P103,P104, P123,P124

The expression “In First Order Logic” is substituted by “ In First Order Logic”

The notation of quantification of P43 has been corrected from (0,n:1.1) to (0,n:1,1)

The notation of quantification of P156 occupies(is occupied by) has been corrected

From: Quantification: one to one (0,1:1,1)

To: Quantification: one to one (1,1:1,1)

In the scope note of P130 the word “shortcut” is substituted by “short-cut”

The CIDOC CRM Class Hierarchy on page xxi is updated

CIDOC CRM Property Hierarchy on page xxv is updated



Download 2.67 Mb.

Share with your friends:
1   ...   61   62   63   64   65   66   67   68   ...   74




The database is protected by copyright ©ininet.org 2024
send message

    Main page