interval.pl -- Allen calculus implementation using Event Endpoint Graphs (ESGs).

author

- Daniel Beßler

license

- BSD

 interval_equals(I0, I1) is semidet

 interval_before(I0, I1) is semidet

Interval I0 takes place before I1

Arguments:

I0	- Time point, interval or temporally extended entity
I1	- Time point, interval or temporally extended entity

 interval_after(I0, I1) is semidet

Interval I0 takes place after I1

Arguments:

I0	- Time point, interval or temporally extended entity
I1	- Time point, interval or temporally extended entity

 interval_meets(I0, I1) is semidet

Intervals I0 and I1 meet, i.e. the end time of I0 is equal to the start time of I1

Arguments:

I0	- Time point, interval or temporally extended entity
I1	- Time point, interval or temporally extended entity

 interval_met_by(I1, I2) is semidet

Intervals I1 and I2 meet, i.e. the end time of I2 is equal to the start time of I1

Arguments:

I1	- Instance of a knowrob:TimeInterval
I2	- Instance of a knowrob:TimeInterval

 interval_starts(I0, I1) is semidet

Interval I0 starts interval I1, i.e. both have the same start time, but I0 finishes earlier

Arguments:

I0	- Time point, interval or temporally extended entity
I1	- Time point, interval or temporally extended entity

 interval_started_by(I1, I2) is semidet

Interval I2 starts interval I1, i.e. both have the same start time, but I2 finishes earlier

Arguments:

I1	- Instance of a knowrob:TimeInterval
I2	- Instance of a knowrob:TimeInterval

 interval_finishes(I0, I1) is semidet

Interval I0 finishes interval I1, i.e. both have the same end time, but I0 starts later

Arguments:

I0	- Time point, interval or temporally extended entity
I1	- Time point, interval or temporally extended entity

 interval_finished_by(I1, I2) is semidet

Interval I2 finishes interval I1, i.e. both have the same end time, but I2 starts later

Arguments:

I1	- Instance of a knowrob:TimeInterval
I2	- Instance of a knowrob:TimeInterval

 interval_overlaps(I0, I1) is semidet

Interval I0 overlaps temporally with I1

Arguments:

I0	- Time point, interval or temporally extended entity
I1	- Time point, interval or temporally extended entity

 interval_overlapped_by(I1, I2) is semidet

Interval I2 overlaps temporally with I1

Arguments:

I1	- Instance of a knowrob:TimeInterval
I2	- Instance of a knowrob:TimeInterval

 interval_during(I0, I1) is semidet

Interval I0 is inside interval I1, i.e. it starts later and finishes earlier than I1.

Arguments:

I0	- Time point, interval or temporally extended entity
I1	- Time point, interval or temporally extended entity

Undocumented predicates

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

 interval_query(Arg1)

 interval_constraint(Arg1, Arg2, Arg3)

 interval_constraint(Arg1, Arg2)