Issue 16935: Between (dtv-rtf) Source: International Business Machines (Mr. Mark H. Linehan, mlinehan(at)us.ibm.com) Nature: Uncategorized Issue Severity: Summary: The Date Time Vocabulary provides verb concepts that relate the time order of any two time intervals (e.g. 'time interval1 is before time interval2'), any two situation models ('situation model1 precedes situation model2'), and any two occurrences ('occurrence1 precedes occurrence2'). Another common ordering relationship is among three time intervals, situation models, or occurrences, as in 'time interval1 is between time interval2 and time interval3', 'situation model1 is between situation model2 and situation model3', and 'occurrence1 is between occurrence2 and occurrence3'. These ternary verb concepts should be added to the Date Time Vocabulary. Resolution: Revised Text: Actions taken: December 29, 2011: received issue April 1, 2013: transferred from FTF Discussion: End of Annotations:===== sposition: ??? OMG Issue No: 16935 Title: Between Source: Mark H. Linehan, mlinehan@ibm.com, IBM Research Summary: The Date Time Vocabulary provides verb concepts that relate the time order of any two time intervals (e.g. 'time interval1 is before time interval2'), any two situation models ('situation model1 precedes situation model2'), and any two occurrences ('occurrence1 precedes occurrence2'). Another common ordering relationship is among three time intervals, situation models, or occurrences, as in 'time interval1 is between time interval2 and time interval3', 'situation model1 is between situation model2 and situation model3', and 'occurrence1 is between occurrence2 and occurrence3'. These ternary verb concepts should be added to the Date Time Vocabulary. Resolution: Revised Text: Disposition: ??? ubject: DTV Issue 16935 - Between - proposed resolution X-KeepSent: 8DE5EC8E:EAD184B8-852579A0:007A296C; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.1FP5 SHF29 November 12, 2010 From: Mark H Linehan Date: Fri, 10 Feb 2012 17:15:22 -0500 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.2FP1 ZX852FP1HF6|May 2, 2011) at 02/10/2012 17:15:22 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12021022-5930-0000-0000-000004FDA0B6 -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research Date-Time Issue 16935 - between.doc Disposition: Resolved OMG Issue No: 16935 Title: Between Source: Mark H. Linehan, mlinehan@ibm.com, IBM Research Summary: The Date Time Vocabulary provides verb concepts that relate the time order of any two time intervals (e.g. 'time interval1 is before time interval2'), any two situation models ('situation model1 precedes situation model2'), and any two occurrences ('occurrence1 precedes occurrence2'). Another common ordering relationship is among three time intervals, situation models, or occurrences, as in 'time interval1 is between time interval2 and time interval3', 'situation model1 is between situation model2 and situation model3', and 'occurrence1 is between occurrence2 and occurrence3'. These ternary verb concepts should be added to the Date Time Vocabulary. Resolution: Add the suggested verb concepts to the vocabulary. Use "and" in the primary form of the verb concepts (even though it is also a keyword for conjunction), and provide an alternate synonymous form that does not use 'and'. Revised Text: Add to the end of clause 8.1.4 on page 33: time interval1 is between time interval2 and time interval3 Synonymous Form: time interval1 is between time interval2 to time interval3 Definition: time interval1 follows time interval2 and time interval1 precedes time interval3 Example: July 2012 is between June 2012 to August 2012. Add to the end of clause 8.3.3 on page 64: occurrence1 is between occurrence2 and occurrence3 Synonymous Form: occurrence1 between occurrence2 and occurrence3 Synonymous Form: occurrence1 is between occurrence2 to occurrence3 Synonymous Form: occurrence1 between occurrence2 to occurrence3 Definition: occurrence1 follows occurrence2 and occurrence1 precedes occurrence3 Example: The ship 'Mauretania" crossed the equator between the ship leaving Hawaii and the ship arriving in Sydney. Add to the end of clause 8.3.5 on page 68: situation model1 is between situation model2 and situation model3 Synonymous Form: situation model1 between situation model2 and situation model3 Synonymous Form: situation model1 is between situation model2 to situation model3 Synonymous Form: situation model1 between situation model2 to situation model3 Definition: situation model1 follows situation model2 and situation model1 precedes situation model3 Note: This verb concept permits comparing the time order of three situation models. This is most Note: useful in ordering individual situation models, but it has broader use. Example: When heading south, one crosses the equator between leaving Hawaii and arriving in Sydney. Disposition: Resolved To: date-time-ftf@omg.org Subject: Issue 16935 - "Between" X-KeepSent: 78398DFF:44810405-852579B1:007D379F; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.1FP5 SHF29 November 12, 2010 From: Mark H Linehan Date: Mon, 27 Feb 2012 17:53:17 -0500 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3 ZX853HP5|January 12, 2012) at 02/27/2012 17:53:18, Serialize complete at 02/27/2012 17:53:18 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12022722-7282-0000-0000-000006E45415 During today's discussion, we concluded that "situation model1 is between situation model2 and situation model3" makes no sense for recurring situation models. The proposed example "Crossing the equator is between leaving Hawaii to arriving in Sydney" is invalid since there are many other routes (situation models) that can lead to crossing the equator. The same problem applies to "situation model1 precedes situation model2". Our conclusion is that we should withdraw the "situation model1 is between situation model2 and situation model3" verb concept and delete the "situation model1 precedes situation model2" verb concept. On further examination: I see that we also have "situation model1 starts before situation model2 " and "situation model1 ends before situation model2" in clause 8.3.5. The objection to the "precedes" verb concept also applies to these. The problem does not arise for "individuall" situation models. I wonder if we should recast all these verb concepts so they apply to "individual situation models". -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research Date: Thu, 01 Mar 2012 12:13:15 +0000 From: John Hall User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:6.0.2) Gecko/20110902 Thunderbird/6.0.2 To: Mark H Linehan CC: date-time-ftf@omg.org Subject: Re: Issue 16935 - "Between" X-Mailcore-Auth: 4600872 X-Mailcore-Domain: 13170 Mark, Since an 'individual situation model' has only one occurrence, couldn't we handle 'precedes' uniformly at occurrence level? Regards, John On 27/02/2012 22:53, Mark H Linehan wrote: During today's discussion, we concluded that "situation model1 is between situation model2 and situation model3" makes no sense for recurring situation models. The proposed example "Crossing the equator is between leaving Hawaii to arriving in Sydney" is invalid since there are many other routes (situation models) that can lead to crossing the equator. The same problem applies to "situation model1 precedes situation model2". Our conclusion is that we should withdraw the "situation model1 is between situation model2 and situation model3" verb concept and delete the "situation model1 precedes situation model2" verb concept. On further examination: I see that we also have "situation model1 starts before situation model2 " and "situation model1 ends before situation model2" in clause 8.3.5. The objection to the "precedes" verb concept also applies to these. The problem does not arise for "individuall" situation models. I wonder if we should recast all these verb concepts so they apply to "individual situation models". -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research To: date-time-ftf@omg.org Subject: Re: Issue 16935 - "Between" X-KeepSent: 331E2220:D0F81826-852579B6:004881F7; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.1FP5 SHF29 November 12, 2010 From: Mark H Linehan Date: Sat, 3 Mar 2012 08:23:18 -0500 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3 ZX853HP5|January 12, 2012) at 03/03/2012 08:23:06, Serialize complete at 03/03/2012 08:23:06 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12030313-2398-0000-0000-000004C0D325 John, In DTV, an "occurrence" is not a kind of "situation model" or vice versa. We have "occurrence exemplifies situation model"/"individual situation model has occurrence". So the "precedes" (and other relations listed above) need to apply to both individual situation models and occurrences. Consider this example (as might be found in a will): "if Joe dies before Sally dies ...." A logical formulation of this might look like " precedes " assuming that 'before' is a synonymous form of 'precedes'. Presumably, when the will was written, neither person had died so the 'precedes" verb clearly does not have "occurrences" as roles. Otherwise, the will writer would have known of the death(s) and drafted the will accordingly. -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research From: John Hall To: Mark H Linehan/Watson/IBM@IBMUS Cc: date-time-ftf@omg.org Date: 03/01/2012 07:14 AM Subject: Re: Issue 16935 - "Between" -------------------------------------------------------------------------------- Mark, Since an 'individual situation model' has only one occurrence, couldn't we handle 'precedes' uniformly at occurrence level? Regards, John On 27/02/2012 22:53, Mark H Linehan wrote: During today's discussion, we concluded that "situation model1 is between situation model2 and situation model3" makes no sense for recurring situation models. The proposed example "Crossing the equator is between leaving Hawaii to arriving in Sydney" is invalid since there are many other routes (situation models) that can lead to crossing the equator. The same problem applies to "situation model1 precedes situation model2". Our conclusion is that we should withdraw the "situation model1 is between situation model2 and situation model3" verb concept and delete the "situation model1 precedes situation model2" verb concept. On further examination: I see that we also have "situation model1 starts before situation model2 " and "situation model1 ends before situation model2" in clause 8.3.5. The objection to the "precedes" verb concept also applies to these. The problem does not arise for "individuall" situation models. I wonder if we should recast all these verb concepts so they apply to "individual situation models". -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research To: date-time-ftf@omg.org Subject: DTV Issue 16935 - Between - proposed resolution X-KeepSent: 13E7A1A8:4C18C832-852579D4:0055A79B; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.1FP5 SHF29 November 12, 2010 From: Mark H Linehan Date: Mon, 2 Apr 2012 11:32:33 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3 ZX853HP5|January 12, 2012) at 04/02/2012 11:32:34 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12040215-6078-0000-0000-000009A68611 -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research Date-Time Issue 16935 - between.doc Disposition: Resolved OMG Issue No: 16935 Title: Between Source: Mark H. Linehan, mlinehan@ibm.com, IBM Research Summary: The Date Time Vocabulary provides verb concepts that relate the time order of any two time intervals (e.g. 'time interval1 is before time interval2'), any two situation models ('situation model1 precedes situation model2'), and any two occurrences ('occurrence1 precedes occurrence2'). Another common ordering relationship is among three time intervals, situation models, or occurrences, as in 'time interval1 is between time interval2 and time interval3', 'situation model1 is between situation model2 and situation model3', and 'occurrence1 is between occurrence2 and occurrence3'. These ternary verb concepts should be added to the Date Time Vocabulary. Resolution: Add the suggested verb concepts to the vocabulary. Use "and" in the primary form of the verb concepts (even though it is also a keyword for conjunction), and provide an alternate synonymous form that does not use 'and'. Revised Text: Add to the end of clause 8.1.4 on page 33: time interval1 is between time interval2 and time interval3 Synonymous Form: time interval1 is between time interval2 to time interval3 Definition: time interval1 follows time interval2 and time interval1 precedes time interval3 Example: July 2012 is between June 2012 to August 2012. Add to the end of clause 8.3.3 on page 64: occurrence1 is between occurrence2 and occurrence3 Synonymous Form: occurrence1 between occurrence2 and occurrence3 Synonymous Form: occurrence1 is between occurrence2 to occurrence3 Synonymous Form: occurrence1 between occurrence2 to occurrence3 Definition: occurrence1 follows occurrence2 and occurrence1 precedes occurrence3 Example: The ship 'Mauretania" crossed the equator between the ship leaving Hawaii and the ship arriving in Sydney. Add to the end of clause 8.3.5 on page 68: situation model1 is between situation model2 and situation model3 Synonymous Form: situation model1 between situation model2 and situation model3 Synonymous Form: situation model1 is between situation model2 to situation model3 Synonymous Form: situation model1 between situation model2 to situation model3 Definition: situation model1 follows situation model2 and situation model1 precedes situation model3 Note: This verb concept permits comparing the time order of three situation models. This is most Note: useful in ordering individual situation models, but it has broader use. Example: When heading south, one crosses the equator between leaving Hawaii and arriving in Sydney. Disposition: Resolved