Issue 16717: Date-Time Issue: now is not synonymous with current (date-time-ftf) Source: Escape Velocity (Mr. Don Baisley, donbaisley(at)live.com) Nature: Uncategorized Issue Severity: Summary: There are some terms that map to the same underlying concepts, but they are not synonymous because one cannot be substituted for the other. Often this is a matter of how they fit into context as being relative or not. In particular: a. “now” is not synonymous with “is current” b. “today” is not synonymous with “current day” c. “tomorrow” is not synonymous with “upcoming day” d. “yesterday” is not synonymous with “previous day” Proposed Resolution: (The submission team adopted these changes after the final submission. They are recorded here so that the FTF team can reconsider them.) Make these changes in clause 9.2: • Insert the article "the" in front of the Definition of "time interval is current" so that the Definition reads: "the time interval includes a time interval1 that is past and includes a time interval2 that is not past" • Add a new glossary entry: time interval is now Definition: the time interval overlaps the time interval of utterance Note: "Time interval of utterance" means the time interval when a proposition is given, as opposed to when the proposition is evaluated. The following actions are pending, from the minutes of the submission team conference call on September 9, 2011: • Distinguish “today” (and similar concepts) from “current day”. • Make sure all fact type definitions use the appropriate style • Find and fix relative times that are styled as individual concepts but aren't. • Clarify note under “day” to make it clear (if it isn't already) that we ignore leap seconds. Resolution: Revised Text: Actions taken: November 18, 2011: received issue Discussion: End of Annotations:===== MG Issue No: 16717 Title: "Now" is not synonymous with "current" Source: Microsoft - Don Baisley - Don.Baisley@microsoft.com Summary: There are some terms that map to the same underlying concepts, but they are not synonymous because one cannot be substituted for the other. Often this is a matter of how they fit into context as being relative or not. In particular: a. .now. is not synonymous with .is current. b. .today. is not synonymous with .current day. c. .tomorrow. is not synonymous with .upcoming day. d. .yesterday. is not synonymous with .previous day. Proposed Resolution: (The submission team adopted these changes after the final submission. They are recorded here so that the FTF team can reconsider them.) Make these changes in clause 9.2: . Insert the article "the" in front of the Definition of "time interval is current" so that the Definition reads: "the time interval includes a time interval1 that is past and includes a time interval2 that is not past" . Add a new glossary entry: time interval is now Definition: the time interval overlaps the time interval of utterance Note: "Time interval of utterance" means the time interval when a proposition is given, as opposed to when the proposition is evaluated. The following actions are pending, from the minutes of the submission team conference call on September 9, 2011: . Distinguish .today. (and similar concepts) from .current day.. . Make sure all fact type definitions use the appropriate style . Find and fix relative times that are styled as individual concepts but aren't. . Clarify note under .day. to make it clear (if it isn't already) that we ignore leap seconds. To: date-time-ftf@omg.org Subject: DTV Issue 16717 - "Now" is not synonymous with "current" X-KeepSent: 2091DA49:FD665601-85257A83:00769A93; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Mon, 24 Sep 2012 17:37:42 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 09/24/2012 17:37:43 x-cbid: 12092421-7182-0000-0000-000002AF3870 Here is a start on a resolution. I would like to discuss the approach before writing it up completely. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16717 - now is not synonymous with current .doc Disposition: ??? OMG Issue No: 16717 Title: "Now" is not synonymous with "current" Source: Microsoft - Don Baisley - Don.Baisley@microsoft.com Summary: There are some terms that map to the same underlying concepts, but they are not synonymous because one cannot be substituted for the other. Often this is a matter of how they fit into context as being relative or not. In particular: a. .now. is not synonymous with .is current. b. .today. is not synonymous with .current day. c. .tomorrow. is not synonymous with .upcoming day. d. .yesterday. is not synonymous with .previous day. Proposed Resolution: (The submission team adopted these changes after the final submission. They are recorded here so that the FTF team can reconsider them.) Make these changes in clause 9.2: . Insert the article "the" in front of the Definition of "time interval is current" so that the Definition reads: "the time interval includes a time interval1 that is past and includes a time interval2 that is not past" . Add a new glossary entry: time interval is now Definition: the time interval overlaps the time interval of utterance Note: "Time interval of utterance" means the time interval when a proposition is given, as opposed to when the proposition is evaluated. The following actions are pending, from the minutes of the submission team conference call on September 9, 2011: . Distinguish .today. (and similar concepts) from .current day.. . Make sure all fact type definitions use the appropriate style . Find and fix relative times that are styled as individual concepts but aren't. . Clarify note under .day. to make it clear (if it isn't already) that we ignore leap seconds. Resolution: Clause 15 "Indexical Concepts" is reworked to clearly distinguish 'current time' (the time when a rule is evaluated) from 'now' (the time when a rule is stated) and to provide a set of indexical concepts that are relative to 'current time' and another set of indexical concepts that are relative to 'now'. Examples of indexical concepts that are relative to 'current time' are: time interval is past / is present / is future previous time prior day future week Examples of indexical concepts that are relative to 'now' are: today last hour next year To support the definition of 'now', add new verb concepts 'time interval is before now', 'time interval is now', 'time interval is after now'. Revised Text: All references in this revised text are to the beta-2 specification. Replace the first paragraph of clause 15.1, which reads: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' (or 'now', or 'now time') as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. . with: There are two kinds of indexical time concepts: those that relate to the time a rule is evaluated (which this specification calls 'current time'), and those that relate to the time a rule is stated ('now'). Each of these kinds locate time intervals relative to the fundamental concepts 'time interval is past' and 'time interval is before now'. An alternative design choice would be to specify fundamental concepts 'current time' and 'now' as kinds of 'time interval', and then define 'time interval is past', 'time interval is future', 'time interval is before now', etc., in terms of 'current time' and 'now'. Either the characteristics or the concepts must be primitive; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' or 'now' implies specifying its duration. The advantage of making 'time interval is past' and 'time interval is before now' fundamental is that we need not give a duration for 'current time' or 'now'. In clause 15.1, replace figure 15.1 with this version, which adds 'time interval is before now', 'time interval is now', and 'time interval is after now'. <> Replace the Note under 'time interval is past', which reads: Note: The reference time interval is sometimes called 'now'. The reference time interval is determined by the context of use of the 'time interval is past' verb concept. For a business rule, the reference time interval is the time interval in which the decision to apply and comply with the rule is made. For facts, the reference time interval is one for which a consistent view of the state of the world of interest is to be used in making decisions. That is, 'now' is the time at which the fact or rule is used. . with: Note: The reference time interval is termed 'current time', the time at which a rule is evaluated. In clause 15.1, delete this Synonymous Form under 'time interval is current': Synonymous Form: time interval is now Disposition: ??? To: date-time-ftf@omg.org Subject: DTV Issue 16717 - "Now" is not synonymous with "current" X-KeepSent: 4DC94375:8F08510A-85257A89:00819133; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Sun, 30 Sep 2012 19:40:36 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 09/30/2012 19:40:37 x-cbid: 12093023-7182-0000-0000-000002B79DC7 Here's another attempt at this issue. It is not complete; I want to review the pattern before doing more of it. At the last conference call, we discussed defining 'reference time' as either 'current time' or 'now' and then define all the other concepts with respect to 'reference time'. But that doesn't seem to work: (a) the definitions in 16.7 depend upon specific meanings of 'time interval is past', etc., and (b) one could have rules that use indexical times based on both 'current time' and 'now'. So I went ahead with the pattern of having a complete separate list of concepts for each reference time. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16717 - now is not synonymous with current 1.doc Disposition: ??? OMG Issue No: 16717 Title: "Now" is not synonymous with "current" Source: Microsoft - Don Baisley - Don.Baisley@microsoft.com Summary: There are some terms that map to the same underlying concepts, but they are not synonymous because one cannot be substituted for the other. Often this is a matter of how they fit into context as being relative or not. In particular: a. .now. is not synonymous with .is current. b. .today. is not synonymous with .current day. c. .tomorrow. is not synonymous with .upcoming day. d. .yesterday. is not synonymous with .previous day. Proposed Resolution: (The submission team adopted these changes after the final submission. They are recorded here so that the FTF team can reconsider them.) Make these changes in clause 9.2: . Insert the article "the" in front of the Definition of "time interval is current" so that the Definition reads: "the time interval includes a time interval1 that is past and includes a time interval2 that is not past" . Add a new glossary entry: time interval is now Definition: the time interval overlaps the time interval of utterance Note: "Time interval of utterance" means the time interval when a proposition is given, as opposed to when the proposition is evaluated. The following actions are pending, from the minutes of the submission team conference call on September 9, 2011: . Distinguish .today. (and similar concepts) from .current day.. . Make sure all fact type definitions use the appropriate style . Find and fix relative times that are styled as individual concepts but aren't. . Clarify note under .day. to make it clear (if it isn't already) that we ignore leap seconds. Resolution: Clause 15 "Indexical Concepts" is reworked to clearly distinguish 'current time' (the time when a rule is evaluated) from 'now' (the time when a rule is stated) and to provide a set of indexical concepts that are relative to 'current time' and another set of indexical concepts that are relative to 'now'. Examples of indexical concepts that are relative to 'current time' are: time interval is past / is present / is future previous time prior day future week Examples of indexical concepts that are relative to 'now' are: today last hour next year To support the definition of 'now', add new verb concepts 'time interval is before now', 'time interval is now', 'time interval is after now'. Define a consistent pattern for naming these indexical terms: . "prior ." is used for unitary concepts that mean immediately before . "following ." is used for unitary concepts that mean immediately after . "previous ." is used for concepts that mean any time before . "future ." is used for concepts that mean any time after Revised Text: All references in this revised text are to the beta-2 specification. Insert the following text just before the heading for clause 15.1: There are two kinds of indexical time concepts: those that relate to the time a rule is evaluated (which this specification calls 'current time'), and those that relate to the time a rule is stated ('now'). This clause defines characteristics and indexical time intervals relative to both of these 'reference times'. To minimize confusion, the indexical time intervals defined in this clause follow a consistent designation pattern. These time intervals are distinguished by whether they are relative to 'current time' or 'now', and whether they define the immediate prior or next time point of a given kind, any previous or future time point of a given kind, or a time period of a specific duration that ends or begins at a reference time. Table 15.1 summarizes the designation patterns for the indexical time intervals. The patterns may be combined with the designations of any time units. In the table, the symbol '.' stands for the designation of a time unit, such as 'day', or 'second'. Table 15.1: Naming Pattern for Indexical Time Intervals time intervals relative to 'current time' time intervals relative to 'now' Description Example current ... this ... Time points that are current or are now. this hour prior ... last ... Time points that meet the reference time. prior day previous . latest . Time intervals of a specified duration that meet the reference time. previous hour past ... earlier ... Time points that are before the reference time. earlier year upcoming ... next ... Time points that are met by the reference time. upcoming week following . . after Time intervals of a specified duration that are met by the reference time. week after future ... later ... Time points that are after the reference time. future month Replace the entire contents of clause 15.1, "Indexical Characteristics", with this: The two kinds of references times locate time intervals relative to the fundamental concepts 'time interval is past' and 'time interval is before now'. An alternative design choice would be to specify fundamental concepts 'current time' and 'now' as kinds of 'time interval', and then define 'time interval is past', 'time interval is future', 'time interval is before now', etc., in terms of 'current time' and 'now'. Either the characteristics or the concepts must be primitive; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' or 'now' implies specifying its duration. The advantage of making 'time interval is past' and 'time interval is before now' fundamental is that we need not give a duration for 'current time' or 'now'. <> Figure 15.1: Indexical Characteristics time interval is past Definition: the time interval is before some reference time interval when a rule is evaluated Note: The reference time interval is termed 'current time', the time at which a rule is evaluated. That is, 'current time' is the time at which a fact is applied. Example: The time interval identified by "January 1, 1900" is past. time interval is current Synonymous Form: time interval is present Definition: the time interval includes a time interval1 that is past and includes a time interval2 that is not past Example: If the contract deadline is current . time interval is future Definition: the time interval includes no time interval that is in the past Necessity: Each time interval that is future, is after each time interval that is past. Example: The supplier may respond to the RFP only if the due date of the RFP is future. time interval is before now Definition: the time interval is before some reference time interval when a rule is defined Note: The reference time interval is termed 'now', the time at which a rule is stated. In a business environment where rules are strictly governed, this is the time when the rule is approved to become operational. Example: Subscriptions that were paid-up at some time interval that is before now get lifetime renewal rights. time interval is now Definition: the time interval includes a time interval1 that is before now and includes a time interval2 that is not before now Example: Each warranty period that is now must be extended by 6 months. time interval is after now Definition: the time interval includes no time interval that is before now Necessity: Each time interval that is after now, is after each time interval that is before now. Example: Each comment period that is after now . The definitions given immediately above are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concepts 'time interval is future' and 'time interval is after now' include the reference time intervals for the verb concept 'time interval is past' and 'time interval is before now'. Rules that compare time against either 'current time' or 'now' may be stated more precisely by referencing the indexicals given in clauses .15.2 and 15.3, below. For example "if the contract due date is after today ..." clearly tests the time interval given by the contract due date against the 'now' time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. Replace the heading and the entire text of clause 15.2 with this: 15.2 Indexical Time Intervals Relative to 'Current Time' This section defines various indexical time intervals in terms of their relationship to 'current time'. <> Figure 15.2: Indexical Time Intervals Relative to 'Current Time' current time Synonym: present time Definition: time interval that is current Concept Type: unitary concept Note: 'Current time' is understood with respect to when a rule is applied, whereas 'now' is understood with respect to when a rule is stated. Note: Every time interval that overlaps the "reference time interval" for 'time interval is past' is a current time (one of many). Example: If the "reference time interval" is the current hour, then the calendar day, calendar week, calendar month, calendar year (etc.) that overlap the current hour are all current times. prior time Definition: time interval that corresponds to a time point and that is past and that meets current time General Concept: past time Example: When current time is 2012, prior year is the time interval that corresponds to 2011. previous time Definition: time interval that is past and that meets current time Example: When current time is 9:53, previous hour is the time interval from 8:51 through 9:52. past time Definition: time interval that corresponds to a time point and that is past Example: When current time is 9:53, a past hour is the time interval that corresponds to hour of day 7. upcoming time Definition: time interval that corresponds to a time point and that is future and that is met by current time Example: When current time is July, upcoming month is August. following time Definition: time interval that is future and that is met by current time Example: When the current time is 15:30, following hour is 15:31 through 16:30. future time Definition: time interval that corresponds to a time point and that is future and that is met by current time Example: When current time is July, one upcoming month is August, and another is December. 15.1.1 Indexical Time Intervals Relative to 'Current Hour' current hour Definition: time interval that instantiates some hour of day and is current Concept Type: unitary concept Example: If a rule is evaluated at 10:32, then current hour is the time interval denoted as hour of day 10. prior hour Definition: time interval that instantiates an hour of day and that meets the current hour Concept Type: unitary concept General Concept: past hour Example: If current time is 10:32, then prior hour is the time interval denoted as hour of day 9. previous hour Definition: time interval that has duration 'hour' and that meets a minute of hour that is current Concept Type: unitary concept Example: If current time is 10:32, then previous hour is the time interval from 9:32 through 10:31. past hour Definition: hour of day that precedes the current hour Definition: hour of day that is past Example: If current time is 10:32, then one prior hour is the time interval denoted as hour of day 9. Another prior hour is the time interval denoted as hour of day 8. upcoming hour Definition: time interval that instantiates an hour of day and that is met by the current hour Concept Type: unitary concept General Concept: future hour Example: If current time is 10:32, then upcoming hour is the time interval denoted as hour of day 11. following hour Definition: time interval that has duration 'hour' and that is met by some minute of hour that is current Concept Type: unitary concept Example: If current time is 10:32, then following hour is the time interval from 10:33 through 11:32. future hour Definition: time interval that instantiates an hour period and that follows the current hour Example: If current time is 10:32, then one future hour is the time interval denoted by hour of day 11, and another future hour is the time interval denoted by hour of day 12. Note: once we agree on the pattern, this clause gets extended to address the time units day, week, month, and year. year-to-date Definition: the time period that starts on calendar day 1 of the current year and that ends on the current day Insert a new clause 15.3: 15.3 Indexical Time Intervals Relative to 'Now' This section defines various indexical time intervals in terms of their relationship to 'now'. <> Figure 15.3: Indexical Time Intervals Relative to 'now' now Definition: time interval that is now Note: 'Now' is understood with respect to when a rule is stated, whereas 'current time' is understood with respect to when a rule is applied. Note: Every time interval that overlaps the "reference time interval" for 'time interval is before now' is a now (one of many). Example: If the 'now' is the current hour, then the calendar day, calendar week, calendar month, calendar year (etc.) that overlap the current hour are all now. last time Definition: time interval that corresponds to a time point and that is before now and that meets now General Concept: earlier time Example: When now is 2012, last year is the time interval that corresponds to 2011. latest time Definition: time interval that is before now and that meets now Example: When now is 9:53, latest hour is the time interval from 8:51 through 9:52. earlier time Definition: time interval that corresponds to a time point and that is before now Example: When now is 9:53, an earlier hour is the time interval that corresponds to hour of day 7. next time Definition: time interval that corresponds to a time point and that is after now and that is met by now Example: When now is July, upcoming month is August. time after Definition: time interval that is after now and that is met by current time Example: When now is 15:30, the hour after is 15:31 through 16:30. later time Definition: time interval that corresponds to a time point and that is after now and that is met by current time Example: When now is July, one upcoming month is August, and another is December. 15.1.1 Indexical Time Intervals Relative to 'This Hour' this hour Definition: time interval that instantiates some hour of day and is now Concept Type: unitary concept Example: If a rule is put into effect at 10:32, then this hour is the time interval denoted as hour of day 10. last hour Definition: time interval that instantiates an hour of day and that meets this hour Concept Type: unitary concept General Concept: earlier hour Example: If now is 10:32, then last hour is the time interval denoted as hour of day 9. latest hour Definition: time interval that has duration 'hour' and that meets a minute of hour that is now Concept Type: unitary concept Example: If now is 10:32, then latest hour is the time interval from 9:32 through 10:31. earlier hour Definition: hour of day that precedes this hour Definition: hour of day that is before now Example: If this time is 10:32, then one earlier hour is the time interval denoted as hour of day 9. Another earlier hour is the time interval denoted as hour of day 8. next hour Definition: time interval that instantiates an hour of day and that is met by this hour Concept Type: unitary concept General Concept: later hour Example: If now is 10:32, then next hour is the time interval denoted as hour of day 11. hour after Definition: time interval that has duration 'hour' and that is met by some minute of hour that is now Concept Type: unitary concept Example: If now is 10:32, then hour after is the time interval from 10:33 through 11:32. later hour Definition: time interval that instantiates an hour period and that follows this hour Example: If now is 10:32, then one later hour is the time interval denoted by hour of day 11, and another later hour is the time interval denoted by hour of day 12. Note: once we agree on the pattern, this clause gets extended to address the time units day, week, month, and year. Disposition: ??? To: date-time-ftf@omg.org Subject: DTV issue 16717 - the reference time interval is not synonymous with "current" X-KeepSent: 9056329F:3EC1EB7D-85257A90:000D9F46; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Sat, 6 Oct 2012 22:29:57 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 10/06/2012 22:29:59 x-cbid: 12100702-5806-0000-0000-00001A5B175B Here's another try at this issue: ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16717 - now is not synonymous with current 2.doc Disposition: ??? OMG Issue No: 16717 Title: the reference time interval is not synonymous with "current" Source: Microsoft - Don Baisley - Don.Baisley@microsoft.com Summary: There are some terms that map to the same underlying concepts, but they are not synonymous because one cannot be substituted for the other. Often this is a matter of how they fit into context as being relative or not. In particular: a. the reference time interval is not synonymous with .is current. b. .today. is not synonymous with .current day. c. .tomorrow. is not synonymous with .upcoming day. d. .yesterday. is not synonymous with .previous day. Proposed Resolution: (The submission team adopted these changes after the final submission. They are recorded here so that the FTF team can reconsider them.) Make these changes in clause 9.2: . Insert the article "the" in front of the Definition of "time interval is current" so that the Definition reads: "the time interval includes a time interval1 that is past and includes a time interval2 that is not past" . Add a new glossary entry: time interval is now Definition: the time interval overlaps the time interval of utterance Note: "Time interval of utterance" means the time interval when a proposition is given, as opposed to when the proposition is evaluated. The following actions are pending, from the minutes of the submission team conference call on September 9, 2011: . Distinguish .today. (and similar concepts) from .current day.. . Make sure all fact type definitions use the appropriate style . Find and fix relative times that are styled as individual concepts but aren't. . Clarify note under .day. to make it clear (if it isn't already) that we ignore leap seconds. Resolution: The DTV FTF-2 team chose to focus clause 15 "Indexical Concepts" on 'current time' and delete all support for 'now'. Reasons for this include: . As best practice and to avoid ambiguity, rules that need to refer to the time when a rule is stated (put into effect) should reference that time by a time coordinate or as an occurrence. . To avoid an 'explosion' in the number of indexical concepts in this clause. To implement this decision, clause 15 "Indexical Concepts" is reworked to clearly distinguish 'current time' (the time when a rule is evaluated) from 'now' (the time when a rule is stated) and to provide only indexical concepts that are relative to 'current time'. For ease of use, the FTF-2 team decided to adopt a consistent naming pattern for the indexical time concepts. The naming pattern is described in the new clause 15.2 Revised Text: All references in this revised text are to the beta-2 specification. Replace the first paragraph of clause 15.1, "Indexical Characteristics", which reads: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' (or 'now', or 'now time') as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. . with: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. In clause 15.1, replace the glossary entry for 'time interval is past', which reads: time interval is past Definition: time interval that is before some reference time interval that is defined by context Note: The reference time interval is sometimes called 'now'. The reference time interval is determined by the context of use of the 'time interval is past' verb concept. For a business rule, the reference time interval is the time interval in which the decision to apply and comply with the rule is made. For facts, the reference time interval is one for which a consistent view of the state of the world of interest is to be used in making decisions. That is, 'now' is the time at which the fact or rule is used. Example: The time interval identified by "January 1, 1900" is past. . with: time interval is past Definition: time interval that is before some reference time interval that is defined by context Note: The reference time interval is the time interval in which a rule is evaluated or applied. That is, any time interval that is past is always before the time interval at which the rule is used. Example: The time interval identified by "January 1, 1900" is past with respect to a reference time interval in 2012. Replace the paragraph just above the heading for clause 15.2, which reads: These definitions of 'time interval is past', 'time interval is current', and 'time interval is future' are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concept 'time interval is future' includes the the reference time interval reference time interval for the verb concept 'time interval is past". Rules that compare time against the reference time interval may be stated more precisely by referencing the indexicals given in clause .10.2, below. For example "if the contract due date is after today ..." clearly tests the time interval given by the contract due date against a time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. . with: These definitions of 'time interval is past', 'time interval is current', and 'time interval is future' are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concept 'time interval is future' includes the 'current time' reference time interval of the verb concept 'time interval is past". Rules that compare time against 'current time' may be stated more precisely by referencing the indexicals given in clause .15.2, below. For example "if the contract due date is a future day ..." clearly tests the time interval given by the contract due date against a time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. Replace the entire text of clause 15.2, with this: Indexical time concepts are noun concepts that are indexical references to time. To minimize confusion, the indexical time intervals defined in this clause follow a consistent designation pattern. These time intervals are distinguished by whether they define the immediate last or next time point of a given kind, any previous or future time point of a given kind, or a time period of a specific duration that ends or begins at a reference time. Table 15.1 summarizes the designation patterns for the indexical time intervals. The patterns may be combined with the designations of any time units. In the table, the symbol '.' stands for the designation of a time unit, such as 'day', or 'second'. Table 15.1: Naming Pattern for Indexical Time Intervals time intervals relative to 'current time' Description Examples current ... this . Time intervals of a specific time point kind that are current. current time this hour prior ... Time intervals of a specific time point kind that meet the reference time. prior day next ... Time intervals of a specific time point kind that are met by the reference time. next week past . earlier . Time intervals of a specific time point kind that are before the reference time. past hour earlier month future ... later . Time intervals of a specific time point kind that are after the reference time. future month last ... Time intervals of a specified duration that meet the reference time. last year following . upcoming . Time intervals of a specified duration that are met by the reference time. following day <> Figure 15.2: Indexical Time Intervals Relative to 'Current Time' current time Synonym: this time Synonym: present time Definition: time interval that is current Note: Every time interval that overlaps the "reference time interval" for 'time interval is past' is a current time (one of many). Example: If the reference time interval is the current hour, then the calendar day, calendar week, calendar month, calendar year (etc.) that overlap the current hour are all current times. past time Definition: time interval that is past Example: If the reference time interval is denoted by "2012", then past time is any time interval that is before 2012. future time Synonym: later time Definition: time interval that is future Example: If the reference time interval is the calendar day of the title closing of a real estate transaction, then future time is any subsequent time interval. current hour Synonym: this hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and is current Example: If the reference time interval is 10:32, then the current hour is the time interval denoted as hour of day 10. prior hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and that meets current hour Example: If the reference time interval is 10:32, then the prior hour is the time interval denoted as hour of day 9. next hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and that is met by the current hour Example: If the reference time interval is 10:32, then the next hour is the time interval denoted as hour of day 11. past hour Synonym: earlier hour Definition: time interval that instantiates an hour of day that is before the current hour Definition: time interval that instantiates an hour of day that is past Example: If the reference time interval is 10:32, then one past hour is the time interval denoted as hour of day 9. Another past hour is the time interval denoted as hour of day 8. future hour Synonym: later hour Definition: time interval that instantiates an hour of day that is after the current hour Definition: time interval that instantiates an hour of day that is future Example: If the reference time interval is 10:32, then one future hour is the time interval denoted as hour of day 11. Another future hour is the time interval denoted as hour of day 12. last hour Concept Type: unitary concept Definition: time interval that instantiates an hour period and that meets some minute of hour that is current Example: If the reference time interval is 10:32, then the last hour is the time interval from 9:32 through 10:31. following hour Synonym: upcoming hour Concept Type: unitary concept Definition: time interval that instantiates an hour period and that is met by some minute of hour that is current Example: If the reference time interal is 10:32, then the following hour is the time interval from 10:33 through 11:32. current day Synonym: this day Concept Type: unitary concept Definition: the time interval that instantiates some calendar day that is current Example: If the reference time interval is July 7 10:32, then the current day is the time interval denoted as July 7. prior day Concept Type: unitary concept Definition: the time interval that instantiates a calendar day and that meets current day Example: If the reference time interval is July 7 10:32, then the prior day is the time interval denoted as July 6. next day Concept Type: unitary concept Definition: the time interval that instantiates a calendar day and that is met by current day Example: If the reference time interval is July 7, then the next day is July 8. past day Synonym: earlier day Definition: time interval that instantiates a calendar day that is before current day Definition: time interval that instantiates a calendar day that is past Example: If the reference time interval is July 7, then one past day is the time interval denoted by July 6 and another is the time interval denoted by July 5. future day Synonym: later day Definition: time interval that instantiates a calendar day that is after current day Definition: time interval that instantiates a calendar day that is future Example: If the reference time interval is July 7, then one future day is the time interval that is denoted by July 8, and another future day is the time interval that is denoted by July 9. last day Concept Type: unitary concept Definition: time interval that instantiates a day period and that meets some minute of hour that is current Example: If the reference time interval is July 7 10:32, then the last day is the time interval from July 6 10:32 through July 7 10:31. following day Definition: upcoming day Concept Type: unitary concept Synonym: time interval that instantiates a day period and that is met by some minute of hour that is current Example: If the reference time interval is July 7 10:32, then the following day is the time interval from July 7 10:33 through July 8 10:32. current week Synonym: this week Concept Type: unitary concept Definition: the time interval that instantiates some calendar week that is current Example: If the reference time interval is week 15 day 3, then the current week is the time interval that instantiates week 15. prior week Synonym: unitary concept Definition: the time interval that instantiates a calendar week and that meets current week Example: If the reference time interval is week 15 day 3, then the prior week is the time interval that instantiates week 14. next week Concept Type: unitary concept Definition: the time interval that instantiates a calendar week and that is met by current week Example: If the reference time interval is week 15 day 3, then the next week is the time interval that instantiates week 16. past week Synonym: earlier week Definition: time interval that instantiates a calendar week that precedes current week Definition: time interval that instantiates a calendar week that is past Example: If the reference time interval is week 15 day 3, then one past week is the time interval that instantiates week 14, and another past week is the time interval that instantiates week 13. future week Synonym: later week Definition: time interval that instantiates a calendar week that is after the current week Definition: time interval that instantiates a calendar week that is future Example: If the reference time interval is week 15 day 3, then one future week is the time interval that instantiates week 16 and another future week is the time interval that instantiates week 17. last week Concept Type: unitary concept Definition: time interval that instantiates a week period and that is met by current day Example: If the reference time interval is week 15 day 3, then the last week is the time interval that is from week 14 day 3 through week 15 day 2. following week Concept Type: unitary concept Definition: time interval that instantiates a week period and that is met by current day Example: If the reference time interval is week 15 day 3, then the following week is the time interval that is from week 15 day 4 through week 16 day 3. current month Synonym: this month Concept Type: unitary concept Definition: the time interval that instantiates some calendar month that is current Example: If the reference time interval is July 7, then the current month is the time interval that instantiates July. prior month Concept Type: unitary concept Definition: the time interval that instantiates a calendar month and that meets the current month Example: If the reference time interval is July 7, then the prior month is the time interval that instantiates June. next month Concept Type: unitary concept Definition: the time interval that instantiates a calendar month and that is met by the current month Example: If the reference time interval is July 7, then the next month is the time interval that instantiates August. past month Synonym: earlier month Definition: time interval that instantiates a calendar month that precedes the current month Definition: time interval that instantiates a calendar month that is past Example: If the reference time interval is July 7, then one past month is the time interval that instantiates June, and another past month is the time interval that instantiates May. future month Synonym: later month Definition: time interval that instantiates a calendar month that is after the current month Definition: time interval that instantiates a calendar month that is future Example: If the reference time interval is July 7, then one future month is the time interval that instantiates August, and another future month is the time interval that instantiates September. last month Concept Type: unitary concept Definition: time interval that instantiates a month period and that meets some day of year that is current Necessity: The duration of past month is the duration of prior month. Note: The previous Necessity addresses the varying duration of calendar months. Example: If the reference time interval is July 7, then last month is the time interval from June 7 through July 6. Example: If the reference time interval is June 7, then last month is the time interval from May 7 through June 6. following month Concept Type: unitary concept Definition: time interval that instantiates a month period and that is met by some day of year that is current Necessity: The duration of next month is the duration of current month. Note: The previous Necessity addresses the varying duration of calendar months. Example: If the reference time interval is July 7, then following month is the time interval from July 8 through August 7. Example: If the reference time interval is June 7, then following month is the time interval from June 8 through July 7. current year Concept Type: unitary concept Definition: this year Definition: the time interval that instantiates some calendar year that is current Example: If the reference time interval is July 11, 2011, then the current year is the time interval that instantiates 2011. prior year Synonym: unitary concept Definition: the time interval that instantiates a calendar year and that meets the current year Example: If the reference time interval is July 11, 2011, then the prior year is the time interval that instantiates 2010. next year Concept Type: unitary concept Definition: the time interval that instantiates a calendar year and that is met by the current year Example: If the reference time interval is July 11 2011, then the next year is the time interval that instantiates 2010. past year Synonym: earlier year Definition: time interval that instantiates a calendar year that precedes the current year Definition: time interval that instantiates a calendar year that is past Example: If the reference time interval is July 11 2011, then one past year is the time interval that instantiates 2010 and another past year is the time interval that instantiates 2009. future year Synonym: later year Definition: time interval that instantiates a calendar year that is after the current year Definition: time interval that instantiates a calendar year that is future Example: If the reference time interval is July 7 2011, then one future year is the time interval denoted by 2012 and another future year is the time interval denoted by 2013. last year Concept Type: unitary concept Definition: time interval that instantiates a year period and that meets some day of year that is current Necessity: The duration of past year is the duration of last year. Note: The previous Necessity addresses the varying duration of calendar years. Example: If the reference time interval is July 11 2011, then the last year is the time interval from July 11 2010 through July 10 2011. following year Synonym: upcoming year Concept Type: unitary concept Definition: time interval that instantiates a year period and that is met by some day of year that is current Necessity: The duration of next year is the duration of current year. Note: The previous Necessity addresses the varying duration of calendar years. Example: If the reference time interval is July 7 2011, then the following year is the time interval from July 8 2011 through August 7 2012. year to date Definition: the time period that starts on calendar day 1 of the current year and that ends on the current day Example: If the reference time interval is July 7, 2011, then year to date is July 1, 2011 through July 7, 2011. Disposition: Resolved To: date-time-ftf@omg.org Subject: DTV Issue 16717: the reference time interval is not synonymous with "current" X-KeepSent: FDB1BCE3:93836CD9-85257A91:00711CE8; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Mon, 8 Oct 2012 16:36:51 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 10/08/2012 16:36:52 x-cbid: 12100820-7182-0000-0000-000002C43BF1 This update changes the naming pattern for the indexical time intervals, as discussed during today's phone call. It also fixes various typos. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16717 - now is not synonymous with current 3.doc Disposition: Resolved OMG Issue No: 16717 Title: the reference time interval is not synonymous with "current" Source: Microsoft - Don Baisley - Don.Baisley@microsoft.com Summary: There are some terms that map to the same underlying concepts, but they are not synonymous because one cannot be substituted for the other. Often this is a matter of how they fit into context as being relative or not. In particular: a. the reference time interval is not synonymous with .is current. b. .today. is not synonymous with .current day. c. .tomorrow. is not synonymous with .upcoming day. d. .yesterday. is not synonymous with .previous day. Proposed Resolution: (The submission team adopted these changes after the final submission. They are recorded here so that the FTF team can reconsider them.) Make these changes in clause 9.2: . Insert the article "the" in front of the Definition of "time interval is current" so that the Definition reads: "the time interval includes a time interval1 that is past and includes a time interval2 that is not past" . Add a new glossary entry: time interval is now Definition: the time interval overlaps the time interval of utterance Note: "Time interval of utterance" means the time interval when a proposition is given, as opposed to when the proposition is evaluated. The following actions are pending, from the minutes of the submission team conference call on September 9, 2011: . Distinguish .today. (and similar concepts) from .current day.. . Make sure all fact type definitions use the appropriate style . Find and fix relative times that are styled as individual concepts but aren't. . Clarify note under .day. to make it clear (if it isn't already) that we ignore leap seconds. Resolution: The DTV FTF-2 team chose to focus clause 15 "Indexical Concepts" on 'current time' and delete all support for 'now'. Reasons for this include: . As best practice and to avoid ambiguity, rules that need to refer to the time when a rule is stated (put into effect) should reference that time by a time coordinate or as an occurrence. . To avoid an 'explosion' in the number of indexical concepts in this clause. To implement this decision, clause 15 "Indexical Concepts" is reworked to clearly distinguish 'current time' (the time when a rule is evaluated) from 'now' (the time when a rule is stated) and to provide only indexical concepts that are relative to 'current time'. For ease of use, the FTF-2 team decided to adopt a consistent naming pattern for the indexical time concepts. The naming pattern is described in the new clause 15.2 Revised Text: All references in this revised text are to the beta-2 specification. Replace the first paragraph of clause 15.1, "Indexical Characteristics", which reads: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' (or 'now', or 'now time') as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. . with: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. In clause 15.1, replace the glossary entry for 'time interval is past', which reads: time interval is past Definition: time interval that is before some reference time interval that is defined by context Note: The reference time interval is sometimes called 'now'. The reference time interval is determined by the context of use of the 'time interval is past' verb concept. For a business rule, the reference time interval is the time interval in which the decision to apply and comply with the rule is made. For facts, the reference time interval is one for which a consistent view of the state of the world of interest is to be used in making decisions. That is, 'now' is the time at which the fact or rule is used. Example: The time interval identified by "January 1, 1900" is past. . with: time interval is past Definition: time interval that is before some reference time interval that is defined by context Note: The reference time interval is the time interval in which a rule is evaluated or applied. That is, any time interval that is past is always before the time interval at which the rule is used. Example: The time interval identified by "January 1, 1900" is past with respect to a reference time interval in 2012. Replace the paragraph just above the heading for clause 15.2, which reads: These definitions of 'time interval is past', 'time interval is current', and 'time interval is future' are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concept 'time interval is future' includes the the reference time interval reference time interval for the verb concept 'time interval is past". Rules that compare time against the reference time interval may be stated more precisely by referencing the indexicals given in sub clause 10.2. For example "if the contract due date is after today ..." clearly tests the time interval given by the contract due date against a time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. . with: These definitions of 'time interval is past', 'time interval is current', and 'time interval is future' are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concept 'time interval is future' includes the 'current time' reference time interval of the verb concept 'time interval is past". Rules that compare time against 'current time' may be stated more precisely by referencing the indexicals given in clause 15.2, below. For example "if the contract due date is a future day ..." clearly tests the time interval given by the contract due date against a time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. Replace the entire text of clause 15.2, with this: Indexical time concepts are noun concepts that are indexical references to time. To minimize confusion, the indexical time intervals defined in this clause follow a consistent designation pattern. These time intervals are distinguished by whether they define the immediate preceding or subsequent time point of a given kind, any past or future time point of a given kind, or a time period of a specific duration that ends or begins at a reference time. Table 15.1 summarizes the designation patterns for the indexical time intervals. The patterns may be combined with the designations of any time units. In the table, the symbol '.' stands for the designation of a time unit, such as 'day', or 'second'. Table 15.1: Naming Pattern for Indexical Time Intervals time intervals relative to 'current time' Description Examples current ... this . Time intervals of a specific time point kind that are current. current time this hour preceding ... Time intervals of a specific time point kind that meet the reference time. preceding day next ... subsequent . Time intervals of a specific time point kind that are met by the reference time. next week past . prior . earlier . Time intervals of a specific time point kind that are before the reference time. past hour earlier month future ... later . Time intervals of a specific time point kind that are after the reference time. future month last ... Time intervals of a specified duration that meet the reference time. last year following . upcoming . Time intervals of a specified duration that are met by the reference time. following day <> Figure 15.2: Indexical Time Intervals Relative to 'Current Time' current time Synonym: this time Synonym: present time Definition: time interval that is current Note: Every time interval that overlaps the "reference time interval" for 'time interval is past' is a current time (one of many). Example: If the reference time interval is the current hour, then the calendar day, calendar week, calendar month, calendar year (etc.) that overlap the current hour are all current times. past time Synonym: prior time Synonym: earlier time Definition: time interval that is past Definition: time interval that is prior Definition: time interval that is earlier Example: If the reference time interval is denoted by "2012", then past time is any time interval that is before 2012. future time Synonym: later time Definition: time interval that is future Example: If the reference time interval is the calendar day of the title closing of a real estate transaction, then future time is that calendar day and any later time interval. current hour Synonym: this hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and is current Example: If the reference time interval is 10:32, then the current hour is the time interval denoted as hour of day 10. preceding hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and that meets current hour Example: If the reference time interval is 10:32, then the preceding hour is the time interval denoted as hour of day 9. next hour Synonym: subsequent hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and that is met by the current hour Example: If the reference time interval is 10:32, then the next hour is the time interval denoted as hour of day 11. past hour Synonym: prior hour Synonym: earlier hour Definition: time interval that instantiates an hour of day that is before the current hour Definition: time interval that instantiates an hour of day that is past Example: If the reference time interval is 10:32, then one past hour is the time interval denoted as hour of day 9. Another past hour is the time interval denoted as hour of day 8. future hour Synonym: later hour Definition: time interval that instantiates an hour of day that is after the current hour Definition: time interval that instantiates an hour of day that is future Example: If the reference time interval is 10:32, then one future hour is the time interval denoted as hour of day 11. Another future hour is the time interval denoted as hour of day 12. last hour Concept Type: unitary concept Definition: the time interval that instantiates an hour period and that meets some minute of hour that is current Example: If the reference time interval is 10:32, then the last hour is the time interval from 9:32 through 10:31. following hour Synonym: upcoming hour Concept Type: unitary concept Definition: the time interval that instantiates an hour period and that is met by some minute of hour that is current Example: If the reference time interal is 10:32, then the following hour is the time interval from 10:33 through 11:32. current day Synonym: this day Concept Type: unitary concept Definition: the time interval that instantiates some calendar day that is current Example: If the reference time interval is July 7 10:32, then the current day is the time interval denoted as July 7. preceding day Concept Type: unitary concept Definition: the time interval that instantiates a calendar day and that meets the current day Example: If the reference time interval is July 7 10:32, then the preceding day is the time interval denoted as July 6. next day Synonym: subsequent day Concept Type: unitary concept Definition: the time interval that instantiates a calendar day and that is met by the current day Example: If the reference time interval is July 7, then the next day is July 8. past day Synonym: prior day Synonym: earlier day Definition: time interval that instantiates a calendar day that is before the current day Definition: time interval that instantiates a calendar day that is past Example: If the reference time interval is July 7, then one past day is the time interval denoted by July 6 and another is the time interval denoted by July 5. future day Synonym: later day Definition: time interval that instantiates a calendar day that is after the current day Definition: time interval that instantiates a calendar day that is future Example: If the reference time interval is July 7, then one future day is the time interval that is denoted by July 8, and another future day is the time interval that is denoted by July 9. last day Concept Type: unitary concept Definition: the time interval that instantiates a day period and that meets some minute of hour that is current Example: If the reference time interval is July 7 10:32, then the last day is the time interval from July 6 10:32 through July 7 10:31. following day Synonym: upcoming day Concept Type: unitary concept Synonym: the time interval that instantiates a day period and that is met by some minute of hour that is current Example: If the reference time interval is July 7 10:32, then the following day is the time interval from July 7 10:33 through July 8 10:32. current week Synonym: this week Concept Type: unitary concept Definition: the time interval that instantiates some calendar week that is current Example: If the reference time interval is week 15 day 3, then the current week is the time interval that instantiates week 15. preceding week Concept Type: unitary concept Definition: the time interval that instantiates a calendar week and that meets the current week Example: If the reference time interval is week 15 day 3, then the preceding week is the time interval that instantiates week 14. next week Synonym: subsequent week Concept Type: unitary concept Definition: the time interval that instantiates a calendar week and that is met by the current week Example: If the reference time interval is week 15 day 3, then the next week is the time interval that instantiates week 16. past week Synonym: prior week Synonym: earlier week Definition: time interval that instantiates a calendar week that precedes the current week Definition: time interval that instantiates a calendar week that is past Example: If the reference time interval is week 15 day 3, then one past week is the time interval that instantiates week 14, and another past week is the time interval that instantiates week 13. future week Synonym: later week Definition: time interval that instantiates a calendar week that is after the current week Definition: time interval that instantiates a calendar week that is future Example: If the reference time interval is week 15 day 3, then one future week is the time interval that instantiates week 16 and another future week is the time interval that instantiates week 17. last week Concept Type: unitary concept Definition: the time interval that instantiates a week period and that is met by the current day Example: If the reference time interval is week 15 day 3, then the last week is the time interval that is from week 14 day 3 through week 15 day 2. following week Concept Type: unitary concept Definition: the time interval that instantiates a week period and that is met by the current day Example: If the reference time interval is week 15 day 3, then the following week is the time interval that is from week 15 day 4 through week 16 day 3. current month Synonym: this month Concept Type: unitary concept Definition: the time interval that instantiates some calendar month that is current Example: If the reference time interval is July 7, then the current month is the time interval that instantiates July. preceding month Concept Type: unitary concept Definition: the time interval that instantiates a calendar month and that meets the current month Example: If the reference time interval is July 7, then the preceding month is the time interval that instantiates June. next month Synonym: subsequent month Concept Type: unitary concept Definition: the time interval that instantiates a calendar month and that is met by the current month Example: If the reference time interval is July 7, then the next month is the time interval that instantiates August. past month Synonym: prior month Synonym: earlier month Definition: time interval that instantiates a calendar month that precedes the current month Definition: time interval that instantiates a calendar month that is past Example: If the reference time interval is July 7, then one past month is the time interval that instantiates June, and another past month is the time interval that instantiates May. future month Synonym: later month Definition: time interval that instantiates a calendar month that is after the current month Definition: time interval that instantiates a calendar month that is future Example: If the reference time interval is July 7, then one future month is the time interval that instantiates August, and another future month is the time interval that instantiates September. last month Concept Type: unitary concept Definition: the time interval that instantiates a month period and that meets some day of year that is current Necessity: The duration of the last month is the duration of the preceding month. Note: The previous Necessity addresses the varying duration of calendar months. Example: If the reference time interval is July 7, then last month is the time interval from June 7 through July 6. Example: If the reference time interval is June 7, then last month is the time interval from May 7 through June 6. following month Concept Type: unitary concept Definition: the time interval that instantiates a month period and that is met by some day of year that is current Necessity: The duration of the following month is the duration of the current month. Note: The previous Necessity addresses the varying duration of calendar months. Example: If the reference time interval is July 7, then following month is the time interval from July 8 through August 7. Example: If the reference time interval is June 7, then following month is the time interval from June 8 through July 7. current year Concept Type: unitary concept Definition: this year Definition: the time interval that instantiates some calendar year that is current Example: If the reference time interval is July 11, 2011, then the current year is the time interval that instantiates 2011. preceding year Synonym: unitary concept Definition: the time interval that instantiates a calendar year and that meets the current year Example: If the reference time interval is July 11, 2011, then the preceding year is the time interval that instantiates 2010. next year Synonym: subsequent year Concept Type: unitary concept Definition: the time interval that instantiates a calendar year and that is met by the current year Example: If the reference time interval is July 11 2011, then the next year is the time interval that instantiates 2010. past year Synonym: prior year Synonym: earlier year Definition: time interval that instantiates a calendar year that precedes the current year Definition: time interval that instantiates a calendar year that is past Example: If the reference time interval is July 11 2011, then one past year is the time interval that instantiates 2010 and another past year is the time interval that instantiates 2009. future year Synonym: later year Definition: time interval that instantiates a calendar year that is after the current year Definition: time interval that instantiates a calendar year that is future Example: If the reference time interval is July 7 2011, then one future year is the time interval denoted by 2012 and another future year is the time interval denoted by 2013. last year Concept Type: unitary concept Definition: the time interval that instantiates a year period and that meets some day of year that is current Necessity: The duration of the last year is the duration of the preceding year. Note: The previous Necessity addresses the varying duration of calendar years. Example: If the reference time interval is July 11 2011, then the last year is the time interval from July 11 2010 through July 10 2011. following year Synonym: upcoming year Concept Type: unitary concept Definition: the time interval that instantiates a year period and that is met by some day of year that is current Necessity: The duration of the following year is the duration of the current year. Note: The previous Necessity addresses the varying duration of calendar years. Example: If the reference time interval is July 7 2011, then the following year is the time interval from July 8 2011 through August 7 2012. year to date Definition: the time period that starts on calendar day 1 of the current year and that ends on the current day Example: If the reference time interval is July 7, 2011, then year to date is July 1, 2011 through July 7, 2011. Disposition: Resolved To: date-time-ftf@omg.org Subject: Date-Time Issue 16717 - the reference time interval is not synonymous with "current" X-KeepSent: 28D1F33C:18CF3AFE-85257A97:000079EC; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Sat, 13 Oct 2012 20:06:13 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 10/13/2012 20:06:15 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12101400-1976-0000-0000-00001258FAB7 Updated resolution per our last discussion. Ed - this is ready for a new figure. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16717 - now is not synonymous with current .doc Disposition: Resolved OMG Issue No: 16717 Title: the reference time interval is not synonymous with "current" Source: Microsoft - Don Baisley - Don.Baisley@microsoft.com Summary: There are some terms that map to the same underlying concepts, but they are not synonymous because one cannot be substituted for the other. Often this is a matter of how they fit into context as being relative or not. In particular: a. the reference time interval is not synonymous with .is current. b. .today. is not synonymous with .current day. c. .tomorrow. is not synonymous with .upcoming day. d. .yesterday. is not synonymous with .previous day. Proposed Resolution: (The submission team adopted these changes after the final submission. They are recorded here so that the FTF team can reconsider them.) Make these changes in clause 9.2: . Insert the article "the" in front of the Definition of "time interval is current" so that the Definition reads: "the time interval includes a time interval1 that is past and includes a time interval2 that is not past" . Add a new glossary entry: time interval is now Definition: the time interval overlaps the time interval of utterance Note: "Time interval of utterance" means the time interval when a proposition is given, as opposed to when the proposition is evaluated. The following actions are pending, from the minutes of the submission team conference call on September 9, 2011: . Distinguish .today. (and similar concepts) from .current day.. . Make sure all fact type definitions use the appropriate style . Find and fix relative times that are styled as individual concepts but aren't. . Clarify note under .day. to make it clear (if it isn't already) that we ignore leap seconds. Resolution: The DTV FTF-2 team chose to focus clause 15 "Indexical Concepts" on 'current time' and delete all support for 'now'. Reasons for this include: . As best practice and to avoid ambiguity, rules that need to refer to the time when a rule is stated (put into effect) should reference that time by a time coordinate or as an occurrence. . To avoid an 'explosion' in the number of indexical concepts in this clause. To implement this decision, clause 15 "Indexical Concepts" is reworked to clearly distinguish 'current time' (the time when a rule is evaluated) from 'now' (the time when a rule is stated) and to provide only indexical concepts that are relative to 'current time'. For ease of use, the FTF-2 team decided to adopt a consistent naming pattern for the indexical time concepts. The naming pattern is described in the new clause 15.2 Revised Text: All references in this revised text are to the beta-2 specification. Replace the first paragraph of clause 15.1, "Indexical Characteristics", which reads: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' (or 'now', or 'now time') as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. . with: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. In clause 15.1, replace the glossary entry for 'time interval is past', which reads: time interval is past Definition: time interval that is before some reference time interval that is defined by context Note: The reference time interval is sometimes called 'now'. The reference time interval is determined by the context of use of the 'time interval is past' verb concept. For a business rule, the reference time interval is the time interval in which the decision to apply and comply with the rule is made. For facts, the reference time interval is one for which a consistent view of the state of the world of interest is to be used in making decisions. That is, 'now' is the time at which the fact or rule is used. Example: The time interval identified by "January 1, 1900" is past. . with: time interval is past Definition: time interval that is before some reference time interval that is defined by context Note: The reference time interval is the time interval in which a rule is evaluated or applied. That is, any time interval that is past is always before the time interval at which the rule is used. Example: The time interval identified by "January 1, 1900" is past with respect to a reference time interval in 2012. Replace the paragraph just above the heading for clause 15.2, which reads: These definitions of 'time interval is past', 'time interval is current', and 'time interval is future' are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concept 'time interval is future' includes the the reference time interval reference time interval for the verb concept 'time interval is past". Rules that compare time against the reference time interval may be stated more precisely by referencing the indexicals given in sub clause 10.2. For example "if the contract due date is after today ..." clearly tests the time interval given by the contract due date against a time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. . with: These definitions of 'time interval is past', 'time interval is current', and 'time interval is future' are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concept 'time interval is future' includes the 'current time' reference time interval of the verb concept 'time interval is past". Rules that compare time against 'current time' may be stated more precisely by referencing the indexicals given in clause 15.2, below. For example "if the contract due date is a future day ..." clearly tests the time interval given by the contract due date against a time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. Replace the entire text of clause 15.2, with this: Indexical time concepts are noun concepts that are indexical references to time. To minimize confusion, the indexical time intervals defined in this clause follow a consistent designation pattern. These time intervals are distinguished by whether they define the immediate preceding or subsequent time point of a given kind, any past or future time point of a given kind, or a time period of a specific duration that ends or begins at a reference time. Table 15.1 summarizes the designation patterns for the indexical time intervals. The patterns may be combined with the designations of any time units. In the table, the symbol '.' stands for the designation of a time unit, such as 'day', or 'second'. Table 15.1: Naming Pattern for Indexical Time Intervals time intervals relative to 'current time' Description Examples current ... Time intervals of a specific time point kind that are current. current time last ... previous . Time intervals of a specific time point kind that meet the reference time. last day next ... subsequent . Time intervals of a specific time point kind that are met by the reference time. next week past . prior . earlier . Time intervals of a specific time point kind that are before the reference time. past hour earlier month future ... later . Time intervals of a specific time point kind that are after the reference time. future month preceding ... Time intervals of a specified duration that meet the reference time. preceding year following . upcoming . Time intervals of a specified duration that are met by the reference time. following day <> Figure 15.2: Indexical Time Intervals Relative to 'Current Time' current time Synonym: present time Definition: time interval that is current Note: Every time interval that overlaps the "reference time interval" for 'time interval is past' is a current time (one of many). Example: If the reference time interval is the current hour, then the calendar day, calendar week, calendar month, calendar year (etc.) that overlap the current hour are all current times. past time Synonym: prior time Synonym: earlier time Definition: time interval that is past Example: If the reference time interval is denoted by "2012", then past time is any time interval that is before 2012. future time Synonym: later time Definition: time interval that is future Example: If the reference time interval is the calendar day of the title closing of a real estate transaction, then future time is that calendar day and any later time interval. current hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and is current Example: If the reference time interval is 10:32, then the current hour is the time interval denoted as hour of day 10. last hour Synonym: previous hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and that meets current hour Example: If the reference time interval is 10:32, then the last hour is the time interval denoted as hour of day 9. next hour Synonym: subsequent hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and that is met by the current hour Example: If the reference time interval is 10:32, then the next hour is the time interval denoted as hour of day 11. past hour Synonym: prior hour Synonym: earlier hour Definition: time interval that instantiates an hour of day that is before the current hour Definition: time interval that instantiates an hour of day that is past Example: If the reference time interval is 10:32, then one past hour is the time interval denoted as hour of day 9. Another past hour is the time interval denoted as hour of day 8. future hour Synonym: later hour Definition: time interval that instantiates an hour of day that is after the current hour Definition: time interval that instantiates an hour of day that is future Example: If the reference time interval is 10:32, then one future hour is the time interval denoted as hour of day 11. Another future hour is the time interval denoted as hour of day 12. preceding hour Concept Type: unitary concept Definition: the time interval that instantiates an hour period and that meets some minute of hour that is current Example: If the reference time interval is 10:32, then the preceding hour is the time interval from 9:32 through 10:31. following hour Synonym: upcoming hour Concept Type: unitary concept Definition: the time interval that instantiates an hour period and that is met by some minute of hour that is current Example: If the reference time interal is 10:32, then the following hour is the time interval from 10:33 through 11:32. current day Concept Type: unitary concept Definition: the time interval that instantiates some calendar day that is current Example: If the reference time interval is July 7 10:32, then the current day is the time interval denoted as July 7. last day Synonym: previous day Concept Type: unitary concept Definition: the time interval that instantiates a calendar day and that meets the current day Example: If the reference time interval is July 7 10:32, then the last day is the time interval denoted as July 6. next day Synonym: subsequent day Concept Type: unitary concept Definition: the time interval that instantiates a calendar day and that is met by the current day Example: If the reference time interval is July 7, then the next day is July 8. past day Synonym: prior day Synonym: earlier day Definition: time interval that instantiates a calendar day that is before the current day Definition: time interval that instantiates a calendar day that is past Example: If the reference time interval is July 7, then one past day is the time interval denoted by July 6 and another is the time interval denoted by July 5. future day Synonym: later day Definition: time interval that instantiates a calendar day that is after the current day Definition: time interval that instantiates a calendar day that is future Example: If the reference time interval is July 7, then one future day is the time interval that is denoted by July 8, and another future day is the time interval that is denoted by July 9. preceding day Concept Type: unitary concept Definition: the time interval that instantiates a day period and that meets some minute of hour that is current Example: If the reference time interval is July 7 10:32, then the preceding day is the time interval from July 6 10:32 through July 7 10:31. following day Synonym: upcoming day Concept Type: unitary concept Synonym: the time interval that instantiates a day period and that is met by some minute of hour that is current Example: If the reference time interval is July 7 10:32, then the following day is the time interval from July 7 10:33 through July 8 10:32. current week Concept Type: unitary concept Definition: the time interval that instantiates some calendar week that is current Example: If the reference time interval is week 15 day 3, then the current week is the time interval that instantiates week 15. last week Synonym: previous week Concept Type: unitary concept Definition: the time interval that instantiates a calendar week and that meets the current week Example: If the reference time interval is week 15 day 3, then the last week is the time interval that instantiates week 14. next week Synonym: subsequent week Concept Type: unitary concept Definition: the time interval that instantiates a calendar week and that is met by the current week Example: If the reference time interval is week 15 day 3, then the next week is the time interval that instantiates week 16. past week Synonym: prior week Synonym: earlier week Definition: time interval that instantiates a calendar week that precedes the current week Definition: time interval that instantiates a calendar week that is past Example: If the reference time interval is week 15 day 3, then one past week is the time interval that instantiates week 14, and another past week is the time interval that instantiates week 13. future week Synonym: later week Definition: time interval that instantiates a calendar week that is after the current week Definition: time interval that instantiates a calendar week that is future Example: If the reference time interval is week 15 day 3, then one future week is the time interval that instantiates week 16 and another future week is the time interval that instantiates week 17. preceding week Concept Type: unitary concept Definition: the time interval that instantiates a week period and that is met by the current day Example: If the reference time interval is week 15 day 3, then the preceding week is the time interval that is from week 14 day 3 through week 15 day 2. following week Concept Type: unitary concept Definition: the time interval that instantiates a week period and that is met by the current day Example: If the reference time interval is week 15 day 3, then the following week is the time interval that is from week 15 day 4 through week 16 day 3. current month Concept Type: unitary concept Definition: the time interval that instantiates some calendar month that is current Example: If the reference time interval is July 7, then the current month is the time interval that instantiates July. last month Synonym: previous month Concept Type: unitary concept Definition: the time interval that instantiates a calendar month and that meets the current month Example: If the reference time interval is July 7, then the last month is the time interval that instantiates June. next month Synonym: subsequent month Concept Type: unitary concept Definition: the time interval that instantiates a calendar month and that is met by the current month Example: If the reference time interval is July 7, then the next month is the time interval that instantiates August. past month Synonym: prior month Synonym: earlier month Definition: time interval that instantiates a calendar month that precedes the current month Definition: time interval that instantiates a calendar month that is past Example: If the reference time interval is July 7, then one past month is the time interval that instantiates June, and another past month is the time interval that instantiates May. future month Synonym: later month Definition: time interval that instantiates a calendar month that is after the current month Definition: time interval that instantiates a calendar month that is future Example: If the reference time interval is July 7, then one future month is the time interval that instantiates August, and another future month is the time interval that instantiates September. preceding month Concept Type: unitary concept Definition: the time interval that instantiates a month period and that meets some day of year that is current Necessity: The duration of the preceding month is the duration of the last month. Note: The previous Necessity addresses the varying duration of calendar months. Example: If the reference time interval is July 7, then preceding month is the time interval from June 7 through July 6. Example: If the reference time interval is June 7, then preceding month is the time interval from May 7 through June 6. following month Concept Type: unitary concept Definition: the time interval that instantiates a month period and that is met by some day of year that is current Necessity: The duration of the following month is the duration of the current month. Note: The previous Necessity addresses the varying duration of calendar months. Example: If the reference time interval is July 7, then following month is the time interval from July 8 through August 7. Example: If the reference time interval is June 7, then following month is the time interval from June 8 through July 7. current year Concept Type: unitary concept Definition: the time interval that instantiates some calendar year that is current Example: If the reference time interval is July 11, 2011, then the current year is the time interval that instantiates 2011. last year Synonym: previous year Synonym: unitary concept Definition: the time interval that instantiates a calendar year and that meets the current year Example: If the reference time interval is July 11, 2011, then the last year is the time interval that instantiates 2010. next year Synonym: subsequent year Concept Type: unitary concept Definition: the time interval that instantiates a calendar year and that is met by the current year Example: If the reference time interval is July 11 2011, then the next year is the time interval that instantiates 2010. past year Synonym: prior year Synonym: earlier year Definition: time interval that instantiates a calendar year that precedes the current year Definition: time interval that instantiates a calendar year that is past Example: If the reference time interval is July 11 2011, then one past year is the time interval that instantiates 2010 and another past year is the time interval that instantiates 2009. future year Synonym: later year Definition: time interval that instantiates a calendar year that is after the current year Definition: time interval that instantiates a calendar year that is future Example: If the reference time interval is July 7 2011, then one future year is the time interval denoted by 2012 and another future year is the time interval denoted by 2013. preceding year Concept Type: unitary concept Definition: the time interval that instantiates a year period and that meets some day of year that is current Necessity: The duration of the preceding year is the duration of the last year. Note: The previous Necessity addresses the varying duration of calendar years. Example: If the reference time interval is July 11 2011, then the preceding year is the time interval from July 11 2010 through July 10 2011. following year Synonym: upcoming year Concept Type: unitary concept Definition: the time interval that instantiates a year period and that is met by some day of year that is current Necessity: The duration of the following year is the duration of the current year. Note: The previous Necessity addresses the varying duration of calendar years. Example: If the reference time interval is July 7 2011, then the following year is the time interval from July 8 2011 through August 7 2012. year to date Definition: the time period that starts on calendar day 1 of the current year and that ends on the current day Example: If the reference time interval is July 7, 2011, then year to date is July 1, 2011 through July 7, 2011. Disposition: Resolved To: date-time-ftf@omg.org Subject: Date-Time Issue 16717 - the reference time interval is not synonymous with "current" X-KeepSent: 1E076486:4019D68D-85257A99:006156D8; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Tue, 16 Oct 2012 13:48:16 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 10/16/2012 13:48:30 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12101618-7182-0000-0000-000002D92DAD We realized that the clause 16.7 'state of affairs occurs now' and 'occurrence occurs now' also need to be updated to reflect the terminology that we have chosen. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16717 - now is not synonymous with current 1.doc Disposition: Resolved OMG Issue No: 16717 Title: the reference time interval is not synonymous with "current" Source: Microsoft - Don Baisley - Don.Baisley@microsoft.com Summary: There are some terms that map to the same underlying concepts, but they are not synonymous because one cannot be substituted for the other. Often this is a matter of how they fit into context as being relative or not. In particular: a. the reference time interval is not synonymous with .is current. b. .today. is not synonymous with .current day. c. .tomorrow. is not synonymous with .upcoming day. d. .yesterday. is not synonymous with .previous day. Proposed Resolution: (The submission team adopted these changes after the final submission. They are recorded here so that the FTF team can reconsider them.) Make these changes in clause 9.2: . Insert the article "the" in front of the Definition of "time interval is current" so that the Definition reads: "the time interval includes a time interval1 that is past and includes a time interval2 that is not past" . Add a new glossary entry: time interval is now Definition: the time interval overlaps the time interval of utterance Note: "Time interval of utterance" means the time interval when a proposition is given, as opposed to when the proposition is evaluated. The following actions are pending, from the minutes of the submission team conference call on September 9, 2011: . Distinguish .today. (and similar concepts) from .current day.. . Make sure all fact type definitions use the appropriate style . Find and fix relative times that are styled as individual concepts but aren't. . Clarify note under .day. to make it clear (if it isn't already) that we ignore leap seconds. Resolution: The DTV FTF-2 team chose to focus clause 15 "Indexical Concepts" on 'current time' and delete all support for 'now'. Reasons for this include: . As best practice and to avoid ambiguity, rules that need to refer to the time when a rule is stated (put into effect) should reference that time by a time coordinate or as an occurrence. . To avoid an 'explosion' in the number of indexical concepts in this clause. To implement this decision, clause 15 "Indexical Concepts" is reworked to clearly distinguish 'current time' (the time when a rule is evaluated) from 'now' (the time when a rule is stated) and to provide only indexical concepts that are relative to 'current time'. Similar changes are made to the characteristic 'state of affairs is now', and related characteristics, in clause 16.7. For ease of use, the FTF-2 team decided to adopt a consistent naming pattern for the indexical time concepts. The naming pattern is described in the new clause 15.2 Revised Text: All references in this revised text are to the beta-2 specification. Replace the first paragraph of clause 15.1, "Indexical Characteristics", which reads: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' (or 'now', or 'now time') as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. . with: These unary fact types locate time intervals relative to the fundamental concept 'time interval is past'. An alternative design choice would be to specify a fundamental concept 'current time' as a kind of 'time interval', and then define 'time interval is past', 'time interval is future', etc., in terms of 'current time'. One of them must be defined; otherwise the definitions are circular. But every time interval has a duration, and defining 'current time' implies specifying its duration. The advantage of making 'time interval is past' fundamental is that we need not give a duration for current time. In clause 15.1, replace the glossary entry for 'time interval is past', which reads: time interval is past Definition: time interval that is before some reference time interval that is defined by context Note: The reference time interval is sometimes called 'now'. The reference time interval is determined by the context of use of the 'time interval is past' verb concept. For a business rule, the reference time interval is the time interval in which the decision to apply and comply with the rule is made. For facts, the reference time interval is one for which a consistent view of the state of the world of interest is to be used in making decisions. That is, 'now' is the time at which the fact or rule is used. Example: The time interval identified by "January 1, 1900" is past. . with: time interval is past Definition: time interval that is before some reference time interval that is defined by context Note: The reference time interval is the time interval in which a rule is evaluated or applied. That is, any time interval that is past is always before the time interval at which the rule is used. Example: The time interval identified by "January 1, 1900" is past with respect to a reference time interval in 2012. Replace the paragraph just above the heading for clause 15.2, which reads: These definitions of 'time interval is past', 'time interval is current', and 'time interval is future' are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concept 'time interval is future' includes the the reference time interval reference time interval for the verb concept 'time interval is past". Rules that compare time against the reference time interval may be stated more precisely by referencing the indexicals given in sub clause 10.2. For example "if the contract due date is after today ..." clearly tests the time interval given by the contract due date against a time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. . with: These definitions of 'time interval is past', 'time interval is current', and 'time interval is future' are under-specified in the sense that many time intervals (of different durations) fit them. In particular, the verb concept 'time interval is future' includes the 'current time' reference time interval of the verb concept 'time interval is past". Rules that compare time against 'current time' may be stated more precisely by referencing the indexicals given in clause 15.2, below. For example "if the contract due date is a future day ..." clearly tests the time interval given by the contract due date against a time interval that has a duration of 1 day and an alignment against the Gregorian calendar, whereas "if the contract due date is future" may be interpreted with any "comparison granularity", such as 'second' or 'hour'. Replace the entire text of clause 15.2, with this: Indexical time concepts are noun concepts that are indexical references to time. To minimize confusion, the indexical time intervals defined in this clause follow a consistent designation pattern. These time intervals are distinguished by whether they define the immediate preceding or subsequent time point of a given kind, any past or future time point of a given kind, or a time period of a specific duration that ends or begins at a reference time. Table 15.1 summarizes the designation patterns for the indexical time intervals. The patterns may be combined with the designations of any time units. In the table, the symbol '.' stands for the designation of a time unit, such as 'day', or 'second'. Table 15.1: Naming Pattern for Indexical Time Intervals time intervals relative to 'current time' Description Examples current ... Time intervals of a specific time point kind that are current. current time last ... previous . Time intervals of a specific time point kind that meet the reference time. last day next ... subsequent . Time intervals of a specific time point kind that are met by the reference time. next week past . prior . earlier . Time intervals of a specific time point kind that are before the reference time. past hour earlier month future ... later . Time intervals of a specific time point kind that are after the reference time. future month preceding ... Time intervals of a specified duration that meet the reference time. preceding year following . upcoming . Time intervals of a specified duration that are met by the reference time. following day <> Figure 15.2: Indexical Time Intervals Relative to 'Current Time' current time Synonym: present time Definition: time interval that is current Note: Every time interval that overlaps the "reference time interval" for 'time interval is past' is a current time (one of many). Example: If the reference time interval is the current hour, then the calendar day, calendar week, calendar month, calendar year (etc.) that overlap the current hour are all current times. past time Synonym: prior time Synonym: earlier time Definition: time interval that is past Example: If the reference time interval is denoted by "2012", then past time is any time interval that is before 2012. future time Synonym: later time Definition: time interval that is future Example: If the reference time interval is the calendar day of the title closing of a real estate transaction, then future time is that calendar day and any later time interval. current hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and is current Example: If the reference time interval is 10:32, then the current hour is the time interval denoted as hour of day 10. last hour Synonym: previous hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and that meets current hour Example: If the reference time interval is 10:32, then the last hour is the time interval denoted as hour of day 9. next hour Synonym: subsequent hour Concept Type: unitary concept Definition: the time interval that instantiates an hour of day and that is met by the current hour Example: If the reference time interval is 10:32, then the next hour is the time interval denoted as hour of day 11. past hour Synonym: prior hour Synonym: earlier hour Definition: time interval that instantiates an hour of day that is before the current hour Definition: time interval that instantiates an hour of day that is past Example: If the reference time interval is 10:32, then one past hour is the time interval denoted as hour of day 9. Another past hour is the time interval denoted as hour of day 8. future hour Synonym: later hour Definition: time interval that instantiates an hour of day that is after the current hour Definition: time interval that instantiates an hour of day that is future Example: If the reference time interval is 10:32, then one future hour is the time interval denoted as hour of day 11. Another future hour is the time interval denoted as hour of day 12. preceding hour Concept Type: unitary concept Definition: the time interval that instantiates an hour period and that meets some minute of hour that is current Example: If the reference time interval is 10:32, then the preceding hour is the time interval from 9:32 through 10:31. following hour Synonym: upcoming hour Concept Type: unitary concept Definition: the time interval that instantiates an hour period and that is met by some minute of hour that is current Example: If the reference time interal is 10:32, then the following hour is the time interval from 10:33 through 11:32. current day Concept Type: unitary concept Definition: the time interval that instantiates some calendar day that is current Example: If the reference time interval is July 7 10:32, then the current day is the time interval denoted as July 7. last day Synonym: previous day Concept Type: unitary concept Definition: the time interval that instantiates a calendar day and that meets the current day Example: If the reference time interval is July 7 10:32, then the last day is the time interval denoted as July 6. next day Synonym: subsequent day Concept Type: unitary concept Definition: the time interval that instantiates a calendar day and that is met by the current day Example: If the reference time interval is July 7, then the next day is July 8. past day Synonym: prior day Synonym: earlier day Definition: time interval that instantiates a calendar day that is before the current day Definition: time interval that instantiates a calendar day that is past Example: If the reference time interval is July 7, then one past day is the time interval denoted by July 6 and another is the time interval denoted by July 5. future day Synonym: later day Definition: time interval that instantiates a calendar day that is after the current day Definition: time interval that instantiates a calendar day that is future Example: If the reference time interval is July 7, then one future day is the time interval that is denoted by July 8, and another future day is the time interval that is denoted by July 9. preceding day Concept Type: unitary concept Definition: the time interval that instantiates a day period and that meets some minute of hour that is current Example: If the reference time interval is July 7 10:32, then the preceding day is the time interval from July 6 10:32 through July 7 10:31. following day Synonym: upcoming day Concept Type: unitary concept Synonym: the time interval that instantiates a day period and that is met by some minute of hour that is current Example: If the reference time interval is July 7 10:32, then the following day is the time interval from July 7 10:33 through July 8 10:32. current week Concept Type: unitary concept Definition: the time interval that instantiates some calendar week that is current Example: If the reference time interval is week 15 day 3, then the current week is the time interval that instantiates week 15. last week Synonym: previous week Concept Type: unitary concept Definition: the time interval that instantiates a calendar week and that meets the current week Example: If the reference time interval is week 15 day 3, then the last week is the time interval that instantiates week 14. next week Synonym: subsequent week Concept Type: unitary concept Definition: the time interval that instantiates a calendar week and that is met by the current week Example: If the reference time interval is week 15 day 3, then the next week is the time interval that instantiates week 16. past week Synonym: prior week Synonym: earlier week Definition: time interval that instantiates a calendar week that precedes the current week Definition: time interval that instantiates a calendar week that is past Example: If the reference time interval is week 15 day 3, then one past week is the time interval that instantiates week 14, and another past week is the time interval that instantiates week 13. future week Synonym: later week Definition: time interval that instantiates a calendar week that is after the current week Definition: time interval that instantiates a calendar week that is future Example: If the reference time interval is week 15 day 3, then one future week is the time interval that instantiates week 16 and another future week is the time interval that instantiates week 17. preceding week Concept Type: unitary concept Definition: the time interval that instantiates a week period and that is met by the current day Example: If the reference time interval is week 15 day 3, then the preceding week is the time interval that is from week 14 day 3 through week 15 day 2. following week Concept Type: unitary concept Definition: the time interval that instantiates a week period and that is met by the current day Example: If the reference time interval is week 15 day 3, then the following week is the time interval that is from week 15 day 4 through week 16 day 3. current month Concept Type: unitary concept Definition: the time interval that instantiates some calendar month that is current Example: If the reference time interval is July 7, then the current month is the time interval that instantiates July. last month Synonym: previous month Concept Type: unitary concept Definition: the time interval that instantiates a calendar month and that meets the current month Example: If the reference time interval is July 7, then the last month is the time interval that instantiates June. next month Synonym: subsequent month Concept Type: unitary concept Definition: the time interval that instantiates a calendar month and that is met by the current month Example: If the reference time interval is July 7, then the next month is the time interval that instantiates August. past month Synonym: prior month Synonym: earlier month Definition: time interval that instantiates a calendar month that precedes the current month Definition: time interval that instantiates a calendar month that is past Example: If the reference time interval is July 7, then one past month is the time interval that instantiates June, and another past month is the time interval that instantiates May. future month Synonym: later month Definition: time interval that instantiates a calendar month that is after the current month Definition: time interval that instantiates a calendar month that is future Example: If the reference time interval is July 7, then one future month is the time interval that instantiates August, and another future month is the time interval that instantiates September. preceding month Concept Type: unitary concept Definition: the time interval that instantiates a month period and that meets some day of year that is current Necessity: The duration of the preceding month is the duration of the last month. Note: The previous Necessity addresses the varying duration of calendar months. Example: If the reference time interval is July 7, then preceding month is the time interval from June 7 through July 6. Example: If the reference time interval is June 7, then preceding month is the time interval from May 7 through June 6. following month Concept Type: unitary concept Definition: the time interval that instantiates a month period and that is met by some day of year that is current Necessity: The duration of the following month is the duration of the current month. Note: The previous Necessity addresses the varying duration of calendar months. Example: If the reference time interval is July 7, then following month is the time interval from July 8 through August 7. Example: If the reference time interval is June 7, then following month is the time interval from June 8 through July 7. current year Concept Type: unitary concept Definition: the time interval that instantiates some calendar year that is current Example: If the reference time interval is July 11, 2011, then the current year is the time interval that instantiates 2011. last year Synonym: previous year Synonym: unitary concept Definition: the time interval that instantiates a calendar year and that meets the current year Example: If the reference time interval is July 11, 2011, then the last year is the time interval that instantiates 2010. next year Synonym: subsequent year Concept Type: unitary concept Definition: the time interval that instantiates a calendar year and that is met by the current year Example: If the reference time interval is July 11 2011, then the next year is the time interval that instantiates 2010. past year Synonym: prior year Synonym: earlier year Definition: time interval that instantiates a calendar year that precedes the current year Definition: time interval that instantiates a calendar year that is past Example: If the reference time interval is July 11 2011, then one past year is the time interval that instantiates 2010 and another past year is the time interval that instantiates 2009. future year Synonym: later year Definition: time interval that instantiates a calendar year that is after the current year Definition: time interval that instantiates a calendar year that is future Example: If the reference time interval is July 7 2011, then one future year is the time interval denoted by 2012 and another future year is the time interval denoted by 2013. preceding year Concept Type: unitary concept Definition: the time interval that instantiates a year period and that meets some day of year that is current Necessity: The duration of the preceding year is the duration of the last year. Note: The previous Necessity addresses the varying duration of calendar years. Example: If the reference time interval is July 11 2011, then the preceding year is the time interval from July 11 2010 through July 10 2011. following year Synonym: upcoming year Concept Type: unitary concept Definition: the time interval that instantiates a year period and that is met by some day of year that is current Necessity: The duration of the following year is the duration of the current year. Note: The previous Necessity addresses the varying duration of calendar years. Example: If the reference time interval is July 7 2011, then the following year is the time interval from July 8 2011 through August 7 2012. year to date Definition: the time period that starts on calendar day 1 of the current year and that ends on the current day Example: If the reference time interval is July 7, 2011, then year to date is July 1, 2011 through July 7, 2011. In clause 16.7, replace the glossary entry for 'situation model occurs now', which reads: situation model occurs now Definition: the situation model occurs for some time interval that is current Example: "If the bill is due now" (which might be formulated as "if the bill is due occurs now"). . with: situation model occurs currently Definition: the situation model occurs for some time interval that is current Example: "If the bill is currently due" (which might be formulated as "if the bill is due occurs currently"). In clause 16.7, replace the glossary entry for 'occurrence occurs now', which reads: occurrence occurs now Definition: the occurrence occurs for some time interval that is current Example: That EU-Rent is in business occurs now (which means the same as "EU-Rent is in business now"). . with: occurrence occurs currently Definition: the occurrence occurs for some time interval that is current Example: That EU-Rent is in business occurs currently (which means the same as "EU-Rent is currently in business"). Disposition: Resolved