reformulate the scope note for P164

Posted by Martin on 4/10/2020

Dear All,

Old Scope Note:

P164 during (was time-span of)
Domain:     E93 Presence
Range:         E52 Time-Span
Subproperty of:    E92 Spacetime Volume. P160 has temporal projection: E52 Time-Span

Quantification: many to one, necessary(1,1 :0,n)

Scope note:    This property relates an instance of E93 Presence with the chosen instance of E52 Time-Span that defines the time-slice of the spacetime volume that this instance of E93 Presence is related to by the property P166 was a presence of (had presence).
Examples:
▪    2016-02-09 (E52) was time-span of the last day of the 2016 Carnival in Cologne (E93).
▪    Johann JoachimWinckelmann’s whereabouts in December 1755 (E93) during December 1755 (E52)
▪    Johann Joachim Winkelmann’s whereabouts from November 19 1755 until April 9 1768 (E93) during November 19 1755 until April 9 1768 (E52)

In First Order Logic:
        P164 (x,y) ⇒ E93(x)
        P164 (x,y) ⇒ E52(y)
        P164 (x,y) ⇒ P160(x,y)

New Scope Note:

Scope note:    This property relates an instance of E93 Presence with the chosen instance of E52 Time-Span that defines the time-slice of the spacetime volume that this instance of E93 Presence is related to by the property P166 was a presence of (had presence). Note that the chosen instance of E52 Time-Span may be defined as the temporal extent of an instance of E2 Temporal Entity via the property P4 has time-span, in order to describe its simultaneity with the related instance of E93 Presence, even without knowing the absolute time-span. In other typical cases, the chosen instance of E52 Time-Span may be a date range declared in or derived from historical sources or provided by dating methods.

???
 

Posted by Steve on 17/10/2020

I have removed the “chosen” as it suggests that this is a different level of choice than the general level of choice exercised in documentation.

I have unpacked the two typical cases to make them a little easier to consume and explicitly stated that one is phenomenal and the other declarative. I have added the full property names and italicised them.

HTH

SdS

New Scope Note: From Martin

Scope note:    This property relates an instance of E93 Presence with the chosen instance of E52 Time-Span that defines the time-slice of the spacetime volume that this instance of E93 Presence is related to by the property P166 was a presence of (had presence). Note that the chosen instance of E52 Time-Span may be defined as the temporal extent of an instance of E2 Temporal Entity via the property P4 has time-span, in order to describe its simultaneity with the related instance of E93 Presence, even without knowing the absolute time-span. In other typical cases, the chosen instance of E52 Time-Span may be a date range declared in or derived from historical sources or provided by dating methods.

New Scope Note: Suggested Revision

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

There are two typical cases for the determination of the related instance of E52 Time-Span. In the first, it is the temporal extent of an instance of E2 Temporal Entity (documented with P4 has time-span (is time-span of)): this then documents the simultaneity of the instance of E93 Presence and the instance of E2 Temporal Entity, even if the absolute time-span is not known, and can be regarded as a phenomenal timespan. In the second, the instance of E52 Time-Span is a date range declared in or derived from historical sources or provided by dating methods: this is a declarative timespan.