Ontology
comment: An Ontology of temporal relations, adpated from Allen's interval calculus. OWL engineering by Aldo Gangemi.
version info: 397
imports: DOLCE-Lite.owl
comment: Imports: DOLCE-Lite

temporally-includes
type: TransitiveProperty
comment: All temporal locations of perdurant x are also temporal locations of perdurant y.
range: perdurant
type: ObjectProperty
inverse of: temporally-included-in
domain: perdurant
sub property of: temporal-relation

concludes
type: ObjectProperty
inverse of: concluded-by
sub property of: temporally-included-in
range: perdurant
comment: A last part of a perdurant (any part that includes the 'final' boundary, but not the 'initial' one.
domain: perdurant

meets
type: ObjectProperty
comment: Temporal connection between perdurants: p1 ending part is connected to p2 beginning part.
range: perdurant
inverse of: met-by
sub property of: temporally-connected
domain: perdurant

temporally-connected
type: ObjectProperty
range: perdurant
domain: perdurant
sub property of: temporal-relation
comment: Having a common atomic temporal location.

e-temporal-location
type: ObjectProperty
sub property of: exact-location
range: temporal-region
domain: endurant
comment: Analytical indirect location holding between endurants and temporal regions.
inverse of: e-temporal-location-of

present-at
type: ObjectProperty
inverse of: time-of-presence-of
comment: Presence is axiomatized as being temporally located in a part of one's life.
range: time-interval
domain: endurant
sub property of: e-temporal-location

temporal-relation
type: ObjectProperty
domain: perdurant
inverse of: temporal-relation-i
range: perdurant
comment: 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.
sub property of: mediated-relation

starts
type: ObjectProperty
sub property of: temporally-included-in
comment: A beginning part of a perdurant (any part that includes the 'initial' boundary, but not the 'final' one.
inverse of: started-by
domain: perdurant
range: perdurant

temporally-overlaps
type: ObjectProperty
comment: Temporal overlap: having a (partly) common temporal location.
range: perdurant
domain: perdurant
sub property of: temporal-relation

temporally-coincides
type: ObjectProperty
sub property of: temporal-relation
comment: AKA 'co-occurs'. Temporal coincidence between perdurants.
domain: perdurant
range: perdurant

precedes
type: TransitiveProperty
comment: Temporal precedence between two perdurants. No further dependence is implied (e.g. mereological, causal).
inverse of: follows
range: perdurant
type: ObjectProperty
domain: perdurant
sub property of: temporal-relation