[Crm-sig] Home Work, P164

Martin Doerr martin at ics.forth.gr
Thu Jun 25 17:32:58 EEST 2020


Dear All,

The property P164 during (was time-span of) was renamed following the 
decision by CRM-SIG to become: P164 is temporally specified by 
(temporally specifies). It was decided to add a paragraph about the 
nature of the time-span used as range.

*OLD*
P164 during (was time-span of)
Domain: E93 <#_heading=h.3z7bk57> Presence
Range: E52 <#_heading=h.2250f4o> Time-Span

Subproperty of: E92 <#_heading=h.1f7o1he> Spacetime Volume.P160 
<#_heading=h.16ges7u> has temporal projection: E52 <#_heading=h.2250f4o> 
Time-Span
Quantification:     (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*

P164 during (was time-span of)
Domain: E93 <#_heading=h.3z7bk57> Presence
Range: E52 <#_heading=h.2250f4o> Time-Span

Subproperty of: E92 <#_heading=h.1f7o1he> Spacetime Volume.P160 
<#_heading=h.16ges7u> has temporal projection: E52 <#_heading=h.2250f4o> 
Time-Span
Quantification:     (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).

*The chosen instance of E52 Time-Span may be declared as a particular 
date range of interest for a documentalist, using the property P170 
defines time (time is defined by). Alternatively, a time-span of 
different empirical origin **may be referred to**, such as the time-span 
of some instance of E2 Temporal Entity . The latter construct can be 
used to specify the whereabouts of some item having the nature of a 
spacetime volume within the temporal limits of the respective 
phenomenon. For instance, for describing the whereabouts of some person 
during a particular war period.*

Best,

Martin

-- 
------------------------------------
  Dr. Martin Doerr
               
  Honorary Head of the
  Center for Cultural Informatics
  
  Information Systems Laboratory
  Institute of Computer Science
  Foundation for Research and Technology - Hellas (FORTH)
                   
  N.Plastira 100, Vassilika Vouton,
  GR70013 Heraklion,Crete,Greece
  
  Vox:+30(2810)391625
  Email: martin at ics.forth.gr
  Web-site: http://www.ics.forth.gr/isl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20200625/e8824993/attachment-0001.html>


More information about the Crm-sig mailing list