*YES
*Martin*
*
On 10/6/2020 3:04 PM, George Bruseker wrote:
Dear all,
In the last SIG, the issue of the accuracy of the FOL
representation of P170 defines time (time is defined by) was raised in
issue 508 <http://www.cidoc-crm.org/Issue/ID-508-fol-for-p170>. A
better FOL representation was sought for. MD was assigned the HW.
The previous state was:
P170 defines time (time is defined by)
Domain: E61Time Primitive
Range: E52 Time Span
Quantification: many to one (0,1:0,n )
Scope note: This property associates an instance of E61 Time
Primitive with the instance of E52 Time-Span that constitutes the
interpretation of the terms of the time primitive as an extent in
absolute, real time.
Examples:
▪ (1800/1/1 0:00:00 – 1899/31/12 23:59:59)(E61) defines time
The 19th century (E52)
▪ (1968/1/1 – 2018/1/1)(E61) defines time “1968/1/1 – 2018/1/1”
(E52) [an arbitrary time-span during which the Saint Titus reliquary
was present in the Saint Titus Church in Heraklion, Crete]
In First Order Logic:
P170(x,y) ⇒ E61(x)
P170(x,y) ⇒ E52(y)
It is proposed to introduce:
P170(x,y) ⇒ P81(y,x) ˄ P82(y,x)
Meaning: the respective time-span is exactly ongoing and within the
given time primitive.
Please vote on this change. Options: Yes, Yes with Caveat, No with
Explanation, to this list.
The vote should be received by Oct 16, 2020.
Thank you for your effort.
Sincerely,
George Bruseker
Vice Chair CIDOC CRM SIG
_______________________________________________
Crm-sig mailing list
[email protected]
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
--
------------------------------------
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: [email protected]
Web-site: http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
[email protected]
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
