The Timeline ontology
type: Ontology
type: Thing
comment: Extends owl-time ontology (http://www.w3.org/2006/time) with support for several timelines, acting as a backbone to adress time interval/instants. Mainly designed with a multimedia use-case in mind. Copyright (c) Yves Raimond, Samer Abdallah, Centre for Digital Music, Queen Mary, University of London
imports: time
imports: time-entry
maker: moustaki

timeline
type: Class
comment: Represents a linear and coherent piece of time -- can be either abstract (such as the one behind a score) or concrete (such as the universal time line). Two timelines can be mapped using timeline maps.
term status: stable

instant
type: Class
comment: An instant (same as in OWL-Time)
equivalent class: Instant
term status: stable

interval
type: Class
comment: An interval (same as in OWL-Time). Allen's relationships are defined in OWL-Time.
equivalent class: ProperInterval
term status: stable

on timeline
type: FunctionalProperty
type: ObjectProperty
comment: Relates an interval or an instant to the timeline on which it is defined. The 29th of August, 2007 would be linked through this property to the universal timeline, whereas "from 2s to 5s on this particular signal" would be defined on the signal' timeline.
domain: Class
  union of: instant
  union of: interval
range: timeline
term status: stable

onTimeLine
type: ObjectProperty
equivalent property: on timeline
term status: deprecated

at
type: FunctionalProperty
type: DatatypeProperty
comment: refers to a point or an interval on the time line, through an explicit datatype
domain: Class
  union of: interval
  union of: instant
term status: stable

duration
type: DatatypeProperty
comment: the duration of a time interval
domain: interval
term status: stable

ends at
type: DatatypeProperty
comment: refers to the end of a time interval, through an explicit datatype. time:hasEnd can be used as well, if you want to associate the end of the interval to an explicit time point resource
domain: interval
term status: stable

endsAt
type: DatatypeProperty
equivalent property: ends at
term status: deprecated

begins at
type: DatatypeProperty
comment: refers to the beginning of a time interval, through an explicit datatype. time:hasBeginning can be used as well, if you want to associate the beginning of the interval to an explicit time point resource
domain: interval
term status: stable

beginsAt
type: DatatypeProperty
equivalent property: begins at
term status: deprecated

abstract interval
type: Class
comment: An interval defined on an abstract time-line.
subclass of: interval
equivalent class: Restriction
  on property: on timeline
  some values from: abstract timeline
term status: stable

abstract timeline
type: Class
comment: Abstract time lines may be used as a backbone for Score, Works, ... This allows for TimeLine maps to relate works to a given performance (this part was played at this time).
subclass of: timeline
term status: stable

instant on the universal timeline
type: Class
comment: This concept expresses that an instant defined on the universal timeline must be associated to a dateTime value
subclass of: Restriction
  cardinality: 1
  on property: at date/time
equivalent class: Class
  intersection of: Restriction
    has value: the universal time line
    on property: on timeline
  intersection of: instant
term status: stable

at date/time
type: DatatypeProperty
comment: This property links an instant defined on the universal time line to an XSD date/time value
range: dateTime
sub property of: at
term status: stable

the universal time line
type: physical timeline
description: The timeline one can addresss "the 1st of July, 2007"
comment: this is the `universal' time line -- can adress time intervals on it using date/dateTime -- UTC
term status: stable

uniform sampling map
type: Class
comment: Describe the relation between a continuous time-line and its sampled equivalent
subclass of: timeline map
subclass of: Restriction
  cardinality: 1
  on property: sample rate
subclass of: Restriction
  on property: range timeline
  some values from: discrete time line
subclass of: Restriction
  on property: domain timeline
  some values from: relative timeline
disjoint with: Uniform sampling and windowing map
disjoint with: uniform windowing map
term status: stable

sample rate
type: FunctionalProperty
type: DatatypeProperty
comment: associates a sample rate value to a uniform sampling map
domain: Class
  union of: uniform sampling map
  union of: Uniform sampling and windowing map
range: int
term status: stable

range timeline
type: FunctionalProperty
type: ObjectProperty
comment: associates a timeline map to its range timeline
domain: timeline map
range: timeline
term status: stable

discrete time line
type: Class
comment: A discrete time line (like the time line backing a digital signal
subclass of: timeline
disjoint with: continuous timeline
term status: stable

domain timeline
type: FunctionalProperty
type: ObjectProperty
comment: associates a timeline map to its domain timeline
domain: timeline map
range: timeline
term status: stable

relative timeline
type: Class
comment: Semi infinite time line...canonical coordinate system --> adressed through xsd:duration since the instant 0.
subclass of: continuous timeline
disjoint with: physical timeline
term status: stable

timeline map
type: Class
comment: Allows to map two time lines together
term status: stable

uniform windowing map
type: Class
comment: Describes the relation between a discrete time line and its windowed equivalent
subclass of: timeline map
subclass of: Restriction
  cardinality: 1
  on property: hop size
subclass of: Restriction
  cardinality: 1
  on property: window length
subclass of: Restriction
  on property: domain timeline
  some values from: discrete time line
subclass of: Restriction
  on property: range timeline
  some values from: discrete time line
disjoint with: uniform sampling map
disjoint with: Uniform sampling and windowing map
term status: stable

Uniform sampling and windowing map
type: Class
comment: Describes the relation between a continuous time-line, and a time-line that corresponds to its sampled and windowed equivalent
subclass of: timeline map
subclass of: Restriction
  cardinality: 1
  on property: hop size
subclass of: Restriction
  cardinality: 1
  on property: window length
subclass of: Restriction
  cardinality: 1
  on property: sample rate
subclass of: Restriction
  on property: domain timeline
  some values from: continuous timeline
subclass of: Restriction
  on property: range timeline
  some values from: discrete time line
disjoint with: uniform sampling map
disjoint with: uniform windowing map
term status: stable

discrete instant
type: Class
comment: An instant defined on a discrete timeline
subclass of: Restriction
  cardinality: 1
  on property: at (integer)
equivalent class: Class
  intersection of: Restriction
    on property: on timeline
    some values from: discrete time line
  intersection of: instant
term status: stable

at (integer)
type: DatatypeProperty
comment: A subproperty of :at, having as a specific range xsd:int
range: int
sub property of: at
term status: stable

continuous timeline
type: Class
comment: A continuous timeline, like the universal one, or the one backing an analog signal
subclass of: timeline
disjoint with: discrete time line
equivalent class: Class
  union of: physical timeline
  union of: relative timeline
term status: stable

physical timeline
type: Class
comment: A "physical" time-line (the universal time line (UTC)) is an instance of this class. Other time zones consists in instances of this class as well, with a "shifting" time line map relating them to the universal time line map.
subclass of: continuous timeline
disjoint with: relative timeline
term status: stable

origin map
type: Class
comment: A timeline map linking a physical timeline to a relative one (originating at some point on the physical timeline)
subclass of: timeline map
subclass of: Restriction
  on property: range timeline
  some values from: relative timeline
subclass of: Restriction
  on property: domain timeline
  some values from: physical timeline
term status: stable

discrete interval
type: Class
comment: An interval defined on a discrete timeline, like the one backing a digital signal
subclass of: Class
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: hasBeginning
    intersection of: Restriction
      cardinality: 1
      on property: hasEnd
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: begins at (integer)
    intersection of: Restriction
      cardinality: 1
      on property: ends at (integer)
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: begins at (integer)
    intersection of: Restriction
      cardinality: 1
      on property: duration (integer)
equivalent class: Class
  intersection of: Restriction
    on property: on timeline
    some values from: discrete time line
  intersection of: interval
term status: stable

begins at (integer)
type: DatatypeProperty
comment: A subproperty of :beginsAt, having xsd:int as a range
range: int
sub property of: begins at
term status: stable

ends at (integer)
type: DatatypeProperty
comment: A subproperty of :endsAt, having xsd:int as a range
range: int
sub property of: ends at
term status: stable

duration (integer)
type: DatatypeProperty
comment: A subproperty of :duration, having xsd:int as a range
range: int
sub property of: duration
term status: stable

relative interval
type: Class
comment: an interval defined on a relative timeline
subclass of: Class
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: hasBeginning
    intersection of: Restriction
      cardinality: 1
      on property: hasEnd
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: begins at (xsd:duration)
    intersection of: Restriction
      cardinality: 1
      on property: duration (xsd:duration)
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: begins at (xsd:duration)
    intersection of: Restriction
      cardinality: 1
      on property: ends at (xsd:duration)
equivalent class: Class
  intersection of: Restriction
    on property: on timeline
    some values from: relative timeline
  intersection of: interval
term status: stable

begins at (xsd:duration)
type: DatatypeProperty
comment: A property enabling to adress a start time point P of an interval [P,E] through the duration of the interval [0,P] on a continuous timeline
range: duration
sub property of: begins at
term status: stable

duration (xsd:duration)
type: DatatypeProperty
comment: A subproperty of :duration, having xsd:duration as a range
range: duration
sub property of: duration
term status: stable

ends at (xsd:duration)
type: DatatypeProperty
comment: A property enabling to adress an end time point P of an interval [S,P] through the duration of the interval [0,P] on a continuous timeline
range: duration
sub property of: ends at
term status: stable

shift map
type: Class
comment: a map just shifting one timeline to another
subclass of: timeline map
term status: stable

universal timeline interval
type: Class
comment: an interval defined on the universal time line
subclass of: Class
  union of: Restriction
    cardinality: 1
    on property: at (year)
  union of: Restriction
    cardinality: 1
    on property: at (year/month)
  union of: Restriction
    cardinality: 1
    on property: at (date)
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: begins at (date/time)
    intersection of: Restriction
      cardinality: 1
      on property: duration (xsd:duration)
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: hasBeginning
    intersection of: Restriction
      cardinality: 1
      on property: hasEnd
  union of: Class
    intersection of: Restriction
      cardinality: 1
      on property: begins at (date/time)
    intersection of: Restriction
      cardinality: 1
      on property: ends at (date/time)
equivalent class: Class
  intersection of: Restriction
    has value: the universal time line
    on property: on timeline
  intersection of: interval
term status: stable

at (year)
type: DatatypeProperty
comment: A subproperty of :at, allowing to address a year (beginning of it for an instant, all of it for an interval)
range: gYear
sub property of: at
term status: stable

at (year/month)
type: DatatypeProperty
comment: A subproperty of :at, allowing to address a year/month (beginning of it for an instant, all of it for an interval)
range: gYearMonth
sub property of: at
term status: stable

at (date)
type: DatatypeProperty
comment: A subproperty of :at, allowing to address a date (beginning of it for an instant, all of it for an interval)
range: date
sub property of: at
term status: stable

begins at (date/time)
type: DatatypeProperty
comment: A subproperty of :beginsAt, allowing to address the beginning of an interval as a date/time
range: dateTime
sub property of: begins at
term status: stable

ends at (date/time)
type: DatatypeProperty
comment: A subproperty of :endsAt, allowing to address the end of an interval as a date/time
range: dateTime
sub property of: ends at
term status: stable

hop size
type: FunctionalProperty
type: DatatypeProperty
comment: hop size, associated to a uniform windowing map
domain: Class
  union of: uniform windowing map
  union of: Uniform sampling and windowing map
range: int
term status: stable

window length
type: FunctionalProperty
type: DatatypeProperty
comment: window length, associated to a uniform windowing map
domain: Class
  union of: uniform windowing map
  union of: Uniform sampling and windowing map
range: int
term status: stable

relative instant
type: Class
comment: An instant defined on a relative timeline
subclass of: Restriction
  cardinality: 1
  on property: at (duration)
equivalent class: Class
  intersection of: Restriction
    on property: on timeline
    some values from: relative timeline
  intersection of: instant
term status: stable

at (duration)
type: DatatypeProperty
comment: A property enabling to adress a time point P through the duration of the interval [0,P] on a continuous timeline
range: duration
sub property of: at
term status: stable

abstract instant
type: Class
comment: An instant defined on an abstract timeline
subclass of: instant
equivalent class: Restriction
  on property: on timeline
  some values from: abstract timeline
term status: stable

at (real)
type: DatatypeProperty
comment: subproperty of :at, having xsd:float as a range
range: float
sub property of: at
term status: stable

delay
type: FunctionalProperty
type: DatatypeProperty
comment: associate a shift map to a particular delay
domain: shift map
term status: stable

origin
type: FunctionalProperty
type: DatatypeProperty
comment: associate an origin map to its origin on the domain physical timeline
domain: origin map
range: dateTime
term status: stable