Issue 508: FOL for P170

ID: 
508
Starting Date: 
2020-07-23
Working Group: 
3
Status: 
Open
Background: 

This issue is related to issue 453

 

6/10/2020

Chryssoula

Current Proposal: 

Posted by Martin on 23/7/2020

Dear All,

For:

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)
I propose:

                           P170(x,y) ⇒ P81(y,x) ˄ P82(y,x)

Meaning: the respective time-span is exactly ongoing and within the given time primitive.

Posted by George on 6/10/2020

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. 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. 

Posted by Robert Sanderson on 6/10/2020

YES

Posted by Martin on 6/10/2020

YES

Posted by Øyvind Eide on 9/10/2020

YES

Posted by Christian-Emil on 12/10/2020

YES

Posted by George on 12/10/2020

YES

Posted by Pat on 12/10/2020

Yes.

Posted by Daria Hookk on 12/10/2020

YES

Reference to Issues: