Allen's interval algebra

GPTKB entity

Statements (28)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkb:mathematics
gptkbp:basicRelation equals
contains
finishes
after
before
during
finished-by
meets
met-by
overlapped-by
overlaps
started-by
starts
gptkbp:describes relations between time intervals
gptkbp:developedBy gptkb:James_F._Allen
https://www.w3.org/2000/01/rdf-schema#label Allen's interval algebra
gptkbp:introducedIn 1983
gptkbp:numberOfBasicRelations 13
gptkbp:publishedIn gptkb:Communications_of_the_ACM
gptkbp:relatedTo gptkb:logic
Boolean satisfiability problem
qualitative reasoning
gptkbp:usedFor temporal reasoning
gptkbp:usedIn gptkb:artificial_intelligence
gptkbp:bfsParent gptkb:Interval_temporal_logic
gptkbp:bfsLayer 5