time_setting(?Option) is det

Sets/retrieves settings and current values of an index. Supported Options are: size(-N), N is the number of URI-Time pairs in the index. epoch(+Epoch), sets a new Epoch for the index, clears the index. epoch(-Epoch), Epoch is the current Epoch of the index.

 time_assert(+URI, +Time) is det

 time_assert(+URI, +Time, +IndexName) is det

Inserts a new URI-Time pair into the index.

 time_retract(+URI, +Time) is det

 time_retract(+URI, +Time, +IndexName) is det

Removes a URI-Time pair from the index.

 time_clear(+IndexName, +NewOffset) is det

 time_clear(+IndexName) is det

 time_clear is det

Clears an index. Optionally sets a new epoch for the index that will be used for all future asserts into the index.

 time_index_all(+IndexName) is det

 time_index_all is det

Adds all URI-Time pairs found by the uri_time predicate into the index.

 time_bulkload(:CandidatePred, +Index) is det

 time_bulkload(:CandidatePred) is det

Like time_index_all, but indexes URI-Time pairs found by the custom predicate CandidatePred.

 time_intersects(+Time, -URI, +Index) is nondet

 time_intersects(+Time, -URI) is nondet

Finds all URIs that have an indexed time interval that intersects with the interval Time = interval(Begin,End).

NB! The implementation currently does not return intervals that contain the query interval, hence the name time_intersects is currently a misnomer.

 time_contains(+Time, -URI, +Index) is nondet

 time_contains(+Time, -URI) is nondet

Finds all URIs that have an indexed time interval that are contained by the interval Time = interval(Begin,End).

 time_prev_end(+Time, -URI, +Index) is nondet

 time_prev_end(+Time, -URI) is nondet

Finds all URIs that have an indexed time interval that ends before time point or interval Time in order of increasing duration.

 time_next_begin(+Time, -URI, +Index) is nondet

 time_next_begin(+Time, -URI) is nondet

Finds all URIs that have an indexed time interval that begins after time point or interval Time in order of increasing duration.

 uri_time(?URI, ?Time, ?Source, +Offset) is semidet

 uri_time(?URI, ?Time, ?Source) is semidet

 uri_time(?URI, ?Time) is semidet

Finds all URI-Time pairs described in the RDF database. Source matches the graphs in which the pair is described. Optionally, the Begin and End of the time interval are returned with respect to a given Offset.

 parse_timestamp(?TimeStampAtom, ?EpochTimeStamp) is det

Converts in both directions between a literal time representation and a numerical time representation based on the epoch. The format of the generated atom is ISO 8601 in UTC.

 parse_timestamp(+TimeStampAtom, -Epoch, +EpochOffset) is det

Converts between a literal TimeStamp atom and a numerical time representation based on the epoch - EpochOffset. This allows for a more fine grained representation of time for time points far away from the epoch.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 time_index(Arg1)

 time_index(Arg1, Arg2, Arg3, Arg4)

 time_setting(Arg1, Arg2)

 time_assert(Arg1, Arg2, Arg3)

 time_retract(Arg1, Arg2, Arg3)

 time_clear(Arg1)

 time_clear

 time_index_all

 time_bulkload(Arg1)

 time_intersects(Arg1, Arg2)

 time_contains(Arg1, Arg2)

 time_prev_end(Arg1, Arg2)

 time_next_begin(Arg1, Arg2)

 uri_time(Arg1, Arg2, Arg3)

 uri_time(Arg1, Arg2)

 time_before(Arg1, Arg2)

 time_after(Arg1, Arg2)

 time_meets(Arg1, Arg2)

 time_meets_inverse(Arg1, Arg2)

 time_overlaps(Arg1, Arg2)

 time_overlaps_inverse(Arg1, Arg2)

 time_starts(Arg1, Arg2)

 time_starts_inverse(Arg1, Arg2)

 time_during(Arg1, Arg2)

 time_during_inverse(Arg1, Arg2)

 time_finishes(Arg1, Arg2)

 time_finishes_inverse(Arg1, Arg2)

 time_equal(Arg1, Arg2)

 time_expand_before(Arg1, Arg2, Arg3)

 time_expand_after(Arg1, Arg2, Arg3)

 time_expand(Arg1, Arg2, Arg3)

 time_duration(Arg1, Arg2)

 time_duration_before(Arg1, Arg2, Arg3)

 time_duration_after(Arg1, Arg2, Arg3)

 time_duration(Arg1, Arg2, Arg3)

 time_between(Arg1, Arg2, Arg3)

 timestamp_duration(Arg1, Arg2)