seas
2016-07-05
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.
v1.0
The SEAS Time Ontology.
2016-09-26
stable
The class of evaluations that are relative to a time interval
Time Interval Evaluation
stable
The given value is the maximum of the quantity over the temporal context.
Time Maximum Evaluation
stable
The given value is the average of the quantity over the temporal context.
Time Average Evaluation
stable
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.
Fixed Start Sum
stable
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`.
Time Sum
stable
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 Duration Sum
stable
The given value is the minimum of the quantity over the temporal context.
Time Minimum Evaluation
stable
The class of evaluations that are relative to an instant
Instantaneous Evaluation
stable
The given value is the value of the quantity at any instant of the temporal context.
Time Constant Evaluation
stable
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 frequency
stable
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" ] ; ]
```
state duration
stable
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 frequency
stable
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 change number
stable
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" ] ; ]
```
event number
stable
Links a fixed start sum to the start of the time interval over which the sum is computed.
sum start
stable
Links a fixed duration sum to the duration of the floating time interval over which the sum is computed.
sum duration
stable
Links a time sum to the property that is result of a sum over a time interval.
sum property
stable
Links a time sum to the property that is summed over a time interval.
summed property
stable
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>`.
time derivative