Issue 16990: Mischaracterized description of 'properly overlaps' in text (dtv-rtf) Source: EDM Council (Mr. Mike Bennett, mbennett(at)edmcouncil.org) Nature: Clarification Severity: Minor Summary: The description for "Properly overlaps" in this section is as follows: "The ‘properly overlaps’ relation distinguishes the case in which there is a part of each time interval that is not a part the other from all the cases in which one time interval is entirely a part of the other. The general ‘overlaps’ relation subsumes all of them. ‘Properly overlaps’ describes the first time interval as starting and ending earlier than the second, whereas ‘is properly overlapped by’ describes the first time interval as starting and ending later." Problem: In the phrase "‘Properly overlaps’ describes the first time interval as starting and ending earlier than the second," the sense which is intended is in fact "‘Properly overlaps’ describes the first time interval as starting earlier than the second starts and ending earlier than the second ends" That is, a word was left implied in this phrase, but no one word would, when inserted here, have carried the correct meaning. For example "starting and ending earlier than the second [starts]" would be incorrect, as would "starting and ending earlier than the second [ends]". So when the reader parses this surface-level syntax and inserts any implied words for a deeper level cognitive representation of the meaning, any such representation would be incorrect compared to the intended sense of this term. Similarly in the phrase which follows: "... whereas ‘is properly overlapped by’ describes the first time interval as starting and ending later." should then (presumably) be: "... whereas ‘is properly overlapped by’ describes the first time interval as starting later than the second starts, and ending later than the second ends." Proposed Solution: Rewrite the offending paragraph as follows: "The ‘properly overlaps’ relation distinguishes the case in which there is a part of each time interval that is not a part the other from all the cases in which one time interval is entirely a part of the other. The general ‘overlaps’ relation subsumes all of them. ‘Properly overlaps’ describes the first time interval as starting earlier than the second starts and ending earlier than the second ends, whereas ‘is properly overlapped by’ describes the first time interval as starting later than the second starts, and ending later than the second ends." Resolution: Revised Text: Actions taken: January 11, 2012: received issue April 1, 2013: transferred from FTF Discussion: End of Annotations:===== To: date-time-ftf@omg.org Subject: RE: issue 16990 -- Date Time FTF issue X-KeepSent: 1A9FAFDE:FC4962EA-852579A3:00744BE8; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.1FP5 SHF29 November 12, 2010 From: Mark H Linehan Date: Mon, 13 Feb 2012 16:15:30 -0500 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3 ZX853HP5|January 12, 2012) at 02/13/2012 16:15:14, Serialize complete at 02/13/2012 16:15:14 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12021321-5806-0000-0000-00001262D31A Mike, the text looks good to me but we don't want to lose the SBVR character stylings. Can you make a version of this that properly stylizes the references to SBVR concepts? Hint: the issue documents are already setup with Word paragraph and character styles for SBVR: verb - for verb concepts name - for individual concepts term - for general concepts, roles Glossary Entry - for glossary entry lines Definition, Note etc - for the corresponding captions Also, the following keyboard shortcuts are defined. You just highlight the characters to be styled and press these shortcuts: alt-v - verb concept character style alt-n - individual concept character style alt-t - general concept character style alt-k - keyword character style alt-c - clear any character style; revert to underlying paragraph format -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research From: Mike Bennett To: Mark H Linehan/Watson/IBM@IBMUS Date: 02/13/2012 11:09 AM Subject: RE: issue 16990 -- Date Time FTF issue -------------------------------------------------------------------------------- Hi Mark, Done . please see attached. Best regards, Mike -- Mike Bennett Head of Semantics and Standards EDM Council Tel: +44 20 7917 9522 Cell: +44 7721 420 730 www.edmcouncil.org Semantics Repository: www.hypercube.co.uk/edmcouncil From: Mark H Linehan [mailto:mlinehan@us.ibm.com] Sent: Friday, January 13, 2012 6:25 PM To: Mike Bennett Subject: Fw: issue 16990 -- Date Time FTF issue Mike, Would you be willing to writeup the issue resolution? If so, I've attached two template files, one with and one without directions. You can use the one with directions as a starting point for creating the formal issue resolution. The "Resolution Text" section has to be written in terms of document update instructions. "In clause 8.1.3, replace the second paragraph above figure 8.4, which reads .... to ...." Then the OMG staff will eventually use these instructions to make the update to the document source. While you're at it, could you insert the word "of" in the first sentence: "... not a part (of) the other ...." Thanks. -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research ----- Forwarded by Mark H Linehan/Watson/IBM on 01/13/2012 01:24 PM ----- From: Juergen Boldt To: issues@omg.org, date-time-ftf@omg.org Date: 01/11/2012 11:19 AM Subject: issue 16990 -- Date Time FTF issue -------------------------------------------------------------------------------- From: webmaster@omg.org Date: 11 Jan 2012 07:11:29 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Mike Bennett Employer: EDM Council mailFrom: mbennett@edmcouncil.org Terms_Agreement: I agree Specification: Date Time vocabulary (DTV) Section: 8.1.3 FormalNumber: dtc/2012-01-02 Version: Beta 1 Doc_Year: 2012 Doc_Month: January Doc_Day: 01 Page: 27 Title: Mischaracterized description of 'properly overlaps' in text Nature: Clarification Severity: Minor CODE: 3TMw8 B1: Report Issue Description: The description for "Properly overlaps" in this section is as follows: "The âproperly overlapsâ relation distinguishes the case in which there is a part of each time interval that is not a part the other from all the cases in which one time interval is entirely a part of the other. The general âoverlapsâ relation subsumes all of them. âProperly overlapsâ describes the first time interval as starting and ending earlier than the second, whereas âis properly overlapped byâ describes the first time interval as starting and ending later." Problem: In the phrase "âProperly overlapsâ describes the first time interval as starting and ending earlier than the second," the sense which is intended is in fact "âProperly overlapsâ describes the first time interval as starting earlier than the second starts and ending earlier than the second ends" That is, a word was left implied in this phrase, but no one word would, when inserted here, have carried the correct meaning. For example "starting and ending earlier than the second [starts]" would be incorrect, as would "starting and ending earlier than the second [ends]". So when the reader parses this surface-level syntax and inserts any implied words for a deeper level cognitive representation of the meaning, any such representation would be incorrect compared to the intended sense of this term. Similarly in the phrase which follows: "... whereas âis properly overlapped byâ describes the first time interval as starting and ending later." should then (presumably) be: "... whereas âis properly overlapped byâ describes the first time interval as starting later than the second starts, and ending later than the second ends." Proposed Solution: Rewrite the offending paragraph as follows: "The âproperly overlapsâ relation distinguishes the case in which there is a part of each time interval that is not a part the other from all the cases in which one time interval is entirely a part of the other. The general âoverlapsâ relation subsumes all of them. âProperly overlapsâ describes the first time interval as starting earlier than the second starts and ending earlier than the second ends, whereas âis properly overlapped byâ describes the first time interval as starting later than the second starts, and ending later than the second ends." Best regards, -Juergen Juergen Boldt Director, Member Services 140 Kendrick Street, Building A Suite 300 Needham, MA 02494 USA Tel: 781 444 0404 x 132 fax: 781 444 0320 www.omg.org [attachment "Date-Time Issue 16990 Resolution.doc" deleted by Mark H Linehan/Watson/IBM] m: webmaster@omg.org Date: 11 Jan 2012 07:11:29 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Mike Bennett Employer: EDM Council mailFrom: mbennett@edmcouncil.org Terms_Agreement: I agree Specification: Date Time vocabulary (DTV) Section: 8.1.3 FormalNumber: dtc/2012-01-02 Version: Beta 1 Doc_Year: 2012 Doc_Month: January Doc_Day: 01 Page: 27 Title: Mischaracterized description of 'properly overlaps' in text Nature: Clarification Severity: Minor CODE: 3TMw8 B1: Report Issue Description: The description for "Properly overlaps" in this section is as follows: "The .properly overlaps. relation distinguishes the case in which there is a part of each time interval that is not a part the other from all the cases in which one time interval is entirely a part of the other. The general .overlaps. relation subsumes all of them. .Properly overlaps. describes the first time interval as starting and ending earlier than the second, whereas .is properly overlapped by. describes the first time interval as starting and ending later." Problem: In the phrase ".Properly overlaps. describes the first time interval as starting and ending earlier than the second," the sense which is intended is in fact ".Properly overlaps. describes the first time interval as starting earlier than the second starts and ending earlier than the second ends" That is, a word was left implied in this phrase, but no one word would, when inserted here, have carried the correct meaning. For example "starting and ending earlier than the second [starts]" would be incorrect, as would "starting and ending earlier than the second [ends]". So when the reader parses this surface-level syntax and inserts any implied words for a deeper level cognitive representation of the meaning, any such representation would be incorrect compared to the intended sense of this term. Similarly in the phrase which follows: "... whereas .is properly overlapped by. describes the first time interval as starting and ending later." should then (presumably) be: "... whereas .is properly overlapped by. describes the first time interval as starting later than the second starts, and ending later than the second ends." Proposed Solution: Rewrite the offending paragraph as follows: From: Mike Bennett To: Mark H Linehan , "date-time-ftf@omg.org" Subject: Updated Resolution for Issue #16990 Thread-Topic: Updated Resolution for Issue #16990 Thread-Index: Ac0Q1ko4Y1TsUItxQ4SwqYuaYrL7Jg== Date: Mon, 2 Apr 2012 13:41:40 +0000 Accept-Language: en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: x-originating-ip: [81.151.226.104] Hi Mark, Here is my revised resolution for Issue #16990 (properly overlaps), with formatting. Mike -- Mike Bennett Head of Semantics and Standards EDM Council Tel: +44 20 7917 9522 Cell: +44 7721 420 730 www.edmcouncil.org Semantics Repository: www.hypercube.co.uk/edmcouncil From: Mark H Linehan [mailto:mlinehan@us.ibm.com] Sent: Monday, April 02, 2012 8:55 AM To: date-time-ftf@omg.org Subject: Minutes from March 26 conference call Sorry this is a week late; will put out today's agenda shortly. -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research Agenda 1. Review agenda. 2. Review future meeting schedule: we will have team calls weekly starting next Monday, at 12:00 - 1:30 p.m. EDT. 3. 16659 - Specification Should Contain List of Date-Time Vocabularies - discuss proposed resolution Some open questions are listed in the proposed resolution. See Mark's note of Feb 13 at 4:23pm ET Need to coordinate this with 16869 4. 16660 - Need Inventory of Referenced SBVR Terms - discuss proposed resolution Discussion topic: should we include the referenced SBVR vocabularies or simply adopt the concepts we need? 5. 16661 - need update, taking into account the points in Mark's email of Feb 13 at 4:09pm ET 6. 16663 - law of monogamy - discuss email exchange between Markus and Ed - latest is March 24, 2012 7. 16869 - discuss next steps on document reorganization 8. 16874 - Clause 5.2 depicts the UML model as informative - latest email is March 24 9. 16921 - ISO 80000 & Date/Time Foundation Vocabulary NIST expert says that .nominal. time units are not addressed by the existing standards Mark will proceed to write a rationale section on this 10. 16935 - between - need update from Mark 11. 16951 - Time point subdivision is out of place twice . see email bettween Ed and Mark, most recent is dated March 25 12. 16990 - need finalized resolution text from Mike, using SBVR styles 13. 16992 - Corollaries to Axiom D.4 in 8.2.3 are misstated - see email of March 25 14. Triage unassigned issues: 17125 - inaccurate formulation of definitions in CLIF 17227 - Description of time point conversion is confused 17232- time-of-day time point definitions are inaccurate Meeting Attendance Mark Mike John Ed Markus Discussion 16559, 16660, 16661 - waiting on Donald 16663 John thinks that DTV should have a .point in time. concept - will raise as a separate issue Much discussion; Markus will send a note with his proposed solution 16869 Agreed to make the UML packages match the new document structure Mark will write a Rationale section describing the structure 16874 In point 5, simplify the note about the cardinality of «verb concept role» associations In point 6 (putting definitions, etc into ownedComments): Drop the entire point until we know whether and how we can do this automatically Regarding the second part of point 6 . synonyms could aalso be put in as ownedComments Consider stereotyping the ownedComments, if we have them, and adding an XML structure for distinguishing nouns, keywords, etc. Add to the Rationale section a comment saying that issue 16714 says that we use the wrong OCL syntax for quoting symbols. We will address that point when we get to that issue. 16921 - Mark will draft a new Rationale section about nominal versus precise time units 16935 - Mark needs to update this one 16951 Mark needs to resend his comments The definition of .finite time scale subdivides time point. should use .time point sequence. instead of .sequence of consecutive time points. But then the entry for .finite time scale subdivides time point. becomes dependent upon the entry for .time point sequence. and might as well be left where it is in 9.3 16990 - waiting on Mike 16992 Agreed that we will not define .finite time interval. We do have an issue with the concept .forever. 17125 - assigned to Ed 17227 - assigned to Mark 17232 - discuss next time Actions Here is a list of follow-ups arranged by person: Donald - 16559, 16660, 16661 Ed - 16874, 16992, 17125 Mark - 16869, 16921, 16935, 17227 Markus - 16663 Mike - 16990 Discuss next time - 16951, 17232 Date-Time Issue 16990 Resolution v2.doc Disposition: Resolved OMG Issue No: 16990 Title: Mischaracterized description of 'properly overlaps' in text Source: EDM Council. Mike Bennett Email: mbennett@edmcouncil.org Summary: In the phrase ".Properly overlaps. describes the first time interval as starting and ending earlier than the second," the sense which is intended is in fact ".Properly overlaps. describes the first time interval as starting earlier than the second starts and ending earlier than the second ends" That is, a word was left implied in this phrase, but no one word would, when inserted here, have carried the correct meaning. For example "starting and ending earlier than the second [starts]" would be incorrect, as would "starting and ending earlier than the second [ends]". So when the reader parses this surface-level syntax and inserts any implied words for a deeper level cognitive representation of the meaning, any such representation would be incorrect compared to the intended sense of this term. An analogous issue exists with the second term so described in this paragraph. Also the word .of. is missing in the first sentence. Resolution: Replace text as described below. Revised Text: In clause 8.1.3, replace the second paragraph above figure 8.4, which (with formatting) reads "The 'properly overlaps' relation distinguishes the case in which there is a part of each time interval that is not a part the other from all the cases in which one time interval is entirely a part of the other. The general 'overlaps' relation subsumes all of them. 'Properly overlaps' describes the first time interval as starting and ending earlier than the second, whereas 'is properly overlapped by' describes the first time interval as starting and ending later." With the following text (formatted as here): .The 'properly overlaps' relation distinguishes the case in which there is a part of each time interval that is not a part of the other from all the cases in which one time interval is entirely a part of the other. The general 'overlaps' relation subsumes all of them. 'Properly overlaps' describes the first time interval as starting earlier than the second starts and ending earlier than the second ends, whereas 'is properly overlapped by' describes the first time interval as starting later than the second starts, and ending later than the second ends.. Disposition: Resolved "The .properly overlaps. relation distinguishes the case in which there is a part of each time interval that is not a part the other from all the cases in which one time interval is entirely a part of the other. The general .overlaps. relation subsumes all of them. .Properly overlaps. describes the first time interval as starting earlier than the second starts and ending earlier than the second ends, whereas .is properly overlapped by. describes the first time interval as starting later than the second starts, and ending later than the second ends."