YES Øyvind
> Am 06.10.2020 um 14:04 schrieb George Bruseker <george.bruse...@gmail.com>: > > 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 > Crm-sig@ics.forth.gr > http://lists.ics.forth.gr/mailman/listinfo/crm-sig
_______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig
