An Ontology of temporal relations, adpated from Allen's interval calculus. OWL engineering by Aldo Gangemi.
Temporal connection between perdurants: p1 ending part is connected to p2 beginning part.
Analytical indirect location holding between endurants and temporal regions.
A last part of a perdurant (any part that includes the 'final' boundary, but not the 'initial' one.
Presence is axiomatized as being temporally located in a part of one's life.
Temporal overlap: having a (partly) common temporal location.
A beginning part of a perdurant (any part that includes the 'initial' boundary, but not the 'final' one.
Any mediated relation that composes temporal locations of perdurants with mereotopological relations between those locations.Mereotopological relations are those specified in the J. Allen's theory of time intervals.
AKA 'co-occurs'. Temporal coincidence between perdurants.
Having a common atomic temporal location.
Temporal precedence between two perdurants. No further dependence is implied (e.g. mereological, causal).
All temporal locations of perdurant x are also temporal locations of perdurant y.