Difference (from revision 5 to 6)
Changed: 5c5
In this mode the temporal built-ins in this library work with temporal information specified by a valid-time temporal model encoded using the [http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTemporalOntology Valid-Time Temporal Model] ontology. It operates on temporal information encoded using this model and determines if this information satisfies the relevant temporal predicate at a particular granularity. {nid AUR}
|
In this mode the temporal built-ins in this library work with temporal information specified by a valid-time temporal model. It operates on temporal information encoded using this model and determines if this information satisfies the relevant temporal predicate at a particular granularity. Details of this temporal model can be found [http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTemporalOntology here]. {nid BE6}
|
Changed: 11c11
A predicate that is satisfied if the first duration argument is equal to the difference between two timestamps at the granularity specified by the final argument. The timestamps are specified as either a mixture of two {{{<nowiki>ValidInstant</nowiki>}}} or XML Schema dateTime arguments or as a single {{{<nowiki>ValidPeriod</nowiki>}}} argument. If the duration argument is unbound, it is assigned to the time difference between the two timestamps at the granularity specified by the final argument. A granularity argument is required for this built-in. {nid AW7}
|
A predicate that is satisfied if the first duration argument is equal to the difference between two timestamps at the granularity specified by the final argument. The timestamps are specified as either a mixture of two {{{<nowiki>temporal:ValidInstant</nowiki>}}} or XML Schema {{{dateTime}}} arguments or as a single {{{<nowiki>temporal:ValidPeriod</nowiki>}}} argument. If the duration argument is unbound, it is assigned to the time difference between the two timestamps at the granularity specified by the final argument. A granularity argument is required for this built-in. {nid AW7}
|
Changed: 15c15
This predicate is satisfied if the the first duration argument is less than, equal to, or greater than the difference between two timestamps at the granularity specified by the final argument. The timestamps are specified as either a mixture of two {{{<nowiki>ValidInstant</nowiki>}}} or XML Schema datetime arguments or as a single {{{<nowiki>ValidPeriod</nowiki>}}} argument. All arguments must be bound and a granularity argument is required for this built-in. {nid ATV}
|
This predicate is satisfied if the the first duration argument is less than, equal to, or greater than the difference between two timestamps at the granularity specified by the final argument. The timestamps are specified as either a mixture of two {{{<nowiki>temporal:ValidInstant</nowiki>}}} or XML Schema {{{dateTime}}} arguments or as a single {{{<nowiki>temopral:ValidPeriod</nowiki>}}} argument. All arguments must be bound and a granularity argument is required for this built-in. {nid ATV}
|
Changed: 31c31
This built-in returns true if the first timestamp argument is equal to the second timestamps argument plus the third count argument at the granularity specified by the fourth argument. The timestamps are specified as either a {{{<nowiki>ValidInstant</nowiki>}}} or datetime arguments. If the first argument is unbound, it is assigned the result of the addition. A granularity argument is required for this built-in. E.g., {{{temporal:add(?t, "1999-11-01T10:00", 4, temporal:Years)}}}. A negative count argument can be used to perform subtraction. {nid AU2}
|
This built-in returns true if the first timestamp argument is equal to the second timestamps argument plus the third count argument at the granularity specified by the fourth argument. The timestamps are specified as either a {{{<nowiki>temporal:ValidInstant</nowiki>}}} or XML Schema {{{dateTime}}} arguments. If the first argument is unbound, it is assigned the result of the addition. A granularity argument is required for this built-in. E.g., {{{temporal:add(?t, "1999-11-01T10:00", 4, temporal:Years)}}}. A negative count argument can be used to perform subtraction. {nid AU2}
|
Changed: 33c33
In addition to operating on interval-based arguments, XML Schema date and dateTime arguments can also be intermixed in some built-ins. {nid AVE}
|
In addition to operating on interval-based arguments, XML Schema {{{date}}} and {{{dateTime}}} arguments can also be intermixed in some built-ins. {nid AVE}
|
Changed: 37c37
Assume we have two {{{<nowiki>ValidInstant</nowiki>}}} individuals named {{{i1}}}, and {{{i2}}}. The instants have time values {{{2003-12-01T12:00:00.000}}} and {{{2003-12-22T02:00:00.000}}} and both are accurate to a granularity of days. Assume also that we have three {{{<nowiki>ValidPeriod</nowiki>}}} individuals {{{p1}}}, {{{p2}}}, and {{{p3}}}. The periods represent intervals {{{(2001-12-22T000:00:00.000}}}, {{{2003-12-25T00:00:00.000)}}}, {{{(2001-12-26T02:00:00.000}}}, {{{2001-12-26T04:00:00.000)}}}, and {{{(2003-12-01T12:00:23.000}}}, {{{2004-02-00T02:01:00.000)}}}, with a recorded granularity of days, hours, and seconds, respectively. {nid AU4}
|
Assume we have two {{{<nowiki>temporal:ValidInstant</nowiki>}}} individuals named {{{i1}}}, and {{{i2}}}. The instants have time values {{{2003-12-01T12:00:00.000}}} and {{{2003-12-22T02:00:00.000}}} and both are accurate to a granularity of days. Assume also that we have three {{{<nowiki>temopral:ValidPeriod</nowiki>}}} individuals {{{p1}}}, {{{p2}}}, and {{{p3}}}. The periods represent intervals {{{(2001-12-22T000:00:00.000}}}, {{{2003-12-25T00:00:00.000)}}}, {{{(2001-12-26T02:00:00.000}}}, {{{2001-12-26T04:00:00.000)}}}, and {{{(2003-12-01T12:00:23.000}}}, {{{2004-02-00T02:01:00.000)}}}, with a recorded granularity of days, hours, and seconds, respectively. {nid AU4}
|
