Fork me on GitHub

The SEAS Time Ontology.

This ontology defines:

  • a set of subclasses of seas:Evaluation to better interpret evaluations of quantifiable properties.
  • a set of sub properties of seas:hasProperty to qualify time-related properties.

Classes

Fixed Duration Sum

IRI: https://w3id.org/seas/FixedDurationSum

Utility class to qualify the relation between a property and its sum over a time interval whose duration is fixed.

For example:

[] a seas:FixedDurationSum ;
   seas:summedProperty <fridge/1/consumptionPower> ;
   seas:sumProperty <fridge/1/consumption> ;
   seas:sumDuration "PT24H"^^xsd:duration .

means that at any time, the value of <fridge/1/consumption> is the sum of <fridge/1/consumptionPower> over the past day.

Fixed Start Sum

IRI: https://w3id.org/seas/FixedStartSum

Utility class to qualify the relation between a property and its sum over a time interval whose start is fixed.

For example:

[] a seas:FixedStartSum ; seas:summedProperty <fridge/1/consumptionPower> ; seas:sumProperty <fridge/1/consumption> ; seas:sumStart "2014-02-24T00:00:00Z"^^xsd:dateTime .

means that at any time, the value of <fridge/1/consumption> is the sum of <fridge/1/consumptionPower> since February 24th 2014.

Instantaneous Evaluation

IRI: https://w3id.org/seas/InstantaneousEvaluation

The class of evaluations that are relative to an instant

Time Average Evaluation

IRI: https://w3id.org/seas/TimeAverageEvaluation

The given value is the average of the quantity over the temporal context.

Time Constant Evaluation

IRI: https://w3id.org/seas/TimeConstantEvaluation

The given value is the value of the quantity at any instant of the temporal context.

Time Interval Evaluation

IRI: https://w3id.org/seas/TimeIntervalEvaluation

The class of evaluations that are relative to a time interval

Time Maximum Evaluation

IRI: https://w3id.org/seas/TimeMaximumEvaluation

The given value is the maximum of the quantity over the temporal context.

Time Minimum Evaluation

IRI: https://w3id.org/seas/TimeMinimumEvaluation

The given value is the minimum of the quantity over the temporal context.

Time Sum

IRI: https://w3id.org/seas/TimeSum

Utility class to qualify the relation between a property and its sum over a time interval. Two sub classes of seas:TimeSum enable to further describe the time interval over which the sum is computed: seas:FixedStartSum, and seas:FixedDurationSum.

Object Properties

event frequency

IRI: https://w3id.org/seas/eventFrequency

Links a feature of interest to a frequency of the events during a temporal context. Functional sub properties of seas:eventFrequency define the semantics of the event.

event number

IRI: https://w3id.org/seas/eventNumber

Links a feature of interest to a number of events during a temporal context. Functional sub properties of seas:eventNumber define the semantics of the event.

For example, if a window was closed 5 times during last night:

seas:closingNumber a owl:ObjectProperty , owl:FunctionalProperty ;
  rdfs:subPropertyOf seas:stateChangeNumber .

<window> seas:closingNumber <window/closingNumber> .
<window/closingNumber> seas:evaluation <window/closingNumber/evaluation/1> .
<window/closingNumber/evaluation/1> seas:evaluatedValue 5 ; 
  seas:hasTemporalContext [ 
    time:hasBeginning [ time:asXSDDateTime "2016-09-25T23:00:00Z" ] ;
    time:hasEnd [ time:asXSDDateTime "2016-09-26T07:00:00Z" ] ; ]

state change frequency

IRI: https://w3id.org/seas/stateChangeFrequency

Links a feature of interest to the frequency of experienced property value changes during the considered temporal context. Functional sub properties of seas:stateChangeFrequency define the semantics of the property.

state change number

IRI: https://w3id.org/seas/stateChangeNumber

Links a feature of interest to the number of changes the value of a property experienced during the considered temporal context. Functional sub properties of seas:stateDuration define the semantics of the property.

For example, if a window was opened and closed 5 times during last night:

seas:openCloseChangeNumber a owl:ObjectProperty , owl:FunctionalProperty ;
  rdfs:subPropertyOf seas:stateChangeNumber .

<window> seas:openCloseChangeNumber <window/openCloseChangeNumber> .
<window/openCloseChangeNumber> seas:evaluation <window/openCloseChangeNumber/evaluation/1> .
<window/openCloseChangeNumber/evaluation/1> seas:evaluatedValue 5 ; 
  seas:hasTemporalContext [ 
    time:hasBeginning [ time:asXSDDateTime "2016-09-25T23:00:00Z" ] ;
    time:hasEnd [ time:asXSDDateTime "2016-09-26T07:00:00Z" ] ; ]

state duration

IRI: https://w3id.org/seas/stateDuration

Links a feature of interest to the duration during which a property has a given state during the considered temporal context. Functional sub properties of seas:stateDuration define the semantics of the property and the state.

For example, if a window was open during 2 hours last night:

seas:openDuration a owl:ObjectProperty , owl:FunctionalProperty ;
  rdfs:subPropertyOf seas:stateDuration .

<window> seas:openDuration <window/openDuration> .
<window/openDuration> seas:evaluation <window/openDuration/evaluation/1> .
<window/openDuration/evaluation/1> seas:evaluatedValue "PT2H"^^xsd:duration ; 
  seas:hasTemporalContext [ 
    time:hasBeginning [ time:asXSDDateTime "2016-09-25T23:00:00Z" ] ;
    time:hasEnd [ time:asXSDDateTime "2016-09-26T07:00:00Z" ] ; ]

sum property

IRI: https://w3id.org/seas/sumProperty

Links a time sum to the property that is result of a sum over a time interval.

summed property

IRI: https://w3id.org/seas/summedProperty

Links a time sum to the property that is summed over a time interval.

time derivative

IRI: https://w3id.org/seas/timeDerivative

Links a time relative property to its time derivative property. For example,

<car/1/speed> seas:timeDerivative <car/1/acceleration> .

Means that <car/1/acceleration> is the time derivative of <car/1/speed>.

Data Properties

sum duration

IRI: https://w3id.org/seas/sumDuration

Links a fixed duration sum to the duration of the floating time interval over which the sum is computed.

sum start

IRI: https://w3id.org/seas/sumStart

Links a fixed start sum to the start of the time interval over which the sum is computed.