yes On Mon, Oct 12, 2020 at 11:18 AM Christian-Emil Smith Ore < [email protected]> wrote:
> Yes > > Best, > > Christian-Emil > ------------------------------ > *From:* Crm-sig <[email protected]> on behalf of George > Bruseker <[email protected]> > *Sent:* 06 October 2020 14:04 > *To:* crm-sig > *Subject:* [Crm-sig] E-Vote ( Issue 508 ): First Order Logic > Representation of p170 > > 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
