The SEAS Time Ontology.

Classes

Fixed Duration Sum
Fixed Start Sum
Instantaneous Evaluation
Time Average Evaluation
Time Constant Evaluation
Time Interval Evaluation
Time Maximum Evaluation
Time Minimum Evaluation
Time Sum

Fixed Duration Sum^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/FixedDurationSum

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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.

has super-classes: Time Sum^c
is in domain of: sum duration^dp

Fixed Start Sum^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/FixedStartSum

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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.

has super-classes: Time Sum^c
is in domain of: sum start^dp

Instantaneous Evaluation^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/InstantaneousEvaluation

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

The class of evaluations that are relative to an instant

has super-classes: evaluation; has temporal context some instant

Time Average Evaluation^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/TimeAverageEvaluation

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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

has super-classes: Time Interval Evaluation^c

Time Constant Evaluation^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/TimeConstantEvaluation

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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

has super-classes: Time Interval Evaluation^c

Time Interval Evaluation^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/TimeIntervalEvaluation

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

The class of evaluations that are relative to a time interval

has super-classes: evaluation; has temporal context some proper interval
has sub-classes: Time Average Evaluation^c, Time Constant Evaluation^c, Time Maximum Evaluation^c, Time Minimum Evaluation^c

Time Maximum Evaluation^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/TimeMaximumEvaluation

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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

has super-classes: Time Interval Evaluation^c

Time Minimum Evaluation^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/TimeMinimumEvaluation

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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

has super-classes: Time Interval Evaluation^c

Time Sum^c back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/TimeSum

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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`.

has sub-classes: Fixed Duration Sum^c, Fixed Start Sum^c
is in domain of: sum property^op, summed property^op

event frequency^op back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/eventFrequency

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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.

has super-properties: has property

event number^op back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/eventNumber

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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" ] ; ] ```

has super-properties: has property

state change frequency^op back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/stateChangeFrequency

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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.

has super-properties: has property

state change number^op back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/stateChangeNumber

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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" ] ; ] ```

has super-properties: has property

state duration^op back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/stateDuration

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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" ] ; ] ```

has super-properties: has property

sum property^op back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/sumProperty

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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

has characteristics : functional

has domain: Time Sum^c
has range: property

summed property^op back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/summedProperty

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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

has characteristics : functional

has domain: Time Sum^c
has range: property

time derivative^op back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/timeDerivative

is defined by: https://ci.mines-stetienne.fr/seas/TimeOntology

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>`.

has characteristics : functional

has super-properties: derives from

Annotation Properties

contributor
creator
description
issued
license
modified
preferred namespace prefix
preferred namespace uri
term status
title

contributor^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/contributor

creator^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/creator

description^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/description

issued^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/issued

license^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/license

modified^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/modified

preferred namespace prefix^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/vocab/vann/preferredNamespacePrefix

preferred namespace uri^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/vocab/vann/preferredNamespaceUri

term status^ap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2003/06/sw-vocab-status/ns#term_status

title^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/title

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni .

The SEAS Time Ontology.

Table of Content

Classes

Fixed Duration Sum^c back to ToC or Class ToC

Fixed Start Sum^c back to ToC or Class ToC

Instantaneous Evaluation^c back to ToC or Class ToC

Time Average Evaluation^c back to ToC or Class ToC

Time Constant Evaluation^c back to ToC or Class ToC

Time Interval Evaluation^c back to ToC or Class ToC

Time Maximum Evaluation^c back to ToC or Class ToC

Time Minimum Evaluation^c back to ToC or Class ToC

Time Sum^c back to ToC or Class ToC

Object Properties

event frequency^op back to ToC or Object Property ToC

event number^op back to ToC or Object Property ToC

state change frequency^op back to ToC or Object Property ToC

state change number^op back to ToC or Object Property ToC

state duration^op back to ToC or Object Property ToC

sum property^op back to ToC or Object Property ToC

summed property^op back to ToC or Object Property ToC

time derivative^op back to ToC or Object Property ToC

Data Properties

sum duration^dp back to ToC or Data Property ToC

sum start^dp back to ToC or Data Property ToC

Named Individuals

time ontologyⁿⁱ back to ToC or Named Individual ToC

Annotation Properties

contributor^ap back to ToC or Annotation Property ToC

creator^ap back to ToC or Annotation Property ToC

description^ap back to ToC or Annotation Property ToC

issued^ap back to ToC or Annotation Property ToC

license^ap back to ToC or Annotation Property ToC

modified^ap back to ToC or Annotation Property ToC

preferred namespace prefix^ap back to ToC or Annotation Property ToC

preferred namespace uri^ap back to ToC or Annotation Property ToC

term status^ap back to ToC or Annotation Property ToC

title^ap back to ToC or Annotation Property ToC

Namespace Declarations back to ToC

The SEAS Time Ontology.

Table of Content

Classes

Fixed Duration Sumc back to ToC or Class ToC

Fixed Start Sumc back to ToC or Class ToC

Instantaneous Evaluationc back to ToC or Class ToC

Time Average Evaluationc back to ToC or Class ToC

Time Constant Evaluationc back to ToC or Class ToC

Time Interval Evaluationc back to ToC or Class ToC

Time Maximum Evaluationc back to ToC or Class ToC

Time Minimum Evaluationc back to ToC or Class ToC

Time Sumc back to ToC or Class ToC

Object Properties

event frequencyop back to ToC or Object Property ToC

event numberop back to ToC or Object Property ToC

state change frequencyop back to ToC or Object Property ToC

state change numberop back to ToC or Object Property ToC

state durationop back to ToC or Object Property ToC

sum propertyop back to ToC or Object Property ToC

summed propertyop back to ToC or Object Property ToC

time derivativeop back to ToC or Object Property ToC

Data Properties

sum durationdp back to ToC or Data Property ToC

sum startdp back to ToC or Data Property ToC

Named Individuals

time ontologyni back to ToC or Named Individual ToC

Annotation Properties

contributorap back to ToC or Annotation Property ToC

creatorap back to ToC or Annotation Property ToC

descriptionap back to ToC or Annotation Property ToC

issuedap back to ToC or Annotation Property ToC

licenseap back to ToC or Annotation Property ToC

modifiedap back to ToC or Annotation Property ToC

preferred namespace prefixap back to ToC or Annotation Property ToC

preferred namespace uriap back to ToC or Annotation Property ToC

term statusap back to ToC or Annotation Property ToC

titleap back to ToC or Annotation Property ToC

Namespace Declarations back to ToC

Fixed Duration Sum^c back to ToC or Class ToC

Fixed Start Sum^c back to ToC or Class ToC

Instantaneous Evaluation^c back to ToC or Class ToC

Time Average Evaluation^c back to ToC or Class ToC

Time Constant Evaluation^c back to ToC or Class ToC

Time Interval Evaluation^c back to ToC or Class ToC

Time Maximum Evaluation^c back to ToC or Class ToC

Time Minimum Evaluation^c back to ToC or Class ToC

Time Sum^c back to ToC or Class ToC

event frequency^op back to ToC or Object Property ToC

event number^op back to ToC or Object Property ToC

state change frequency^op back to ToC or Object Property ToC

state change number^op back to ToC or Object Property ToC

state duration^op back to ToC or Object Property ToC

sum property^op back to ToC or Object Property ToC

summed property^op back to ToC or Object Property ToC

time derivative^op back to ToC or Object Property ToC

sum duration^dp back to ToC or Data Property ToC

sum start^dp back to ToC or Data Property ToC

time ontologyⁿⁱ back to ToC or Named Individual ToC

contributor^ap back to ToC or Annotation Property ToC

creator^ap back to ToC or Annotation Property ToC

description^ap back to ToC or Annotation Property ToC

issued^ap back to ToC or Annotation Property ToC

license^ap back to ToC or Annotation Property ToC

modified^ap back to ToC or Annotation Property ToC

preferred namespace prefix^ap back to ToC or Annotation Property ToC

preferred namespace uri^ap back to ToC or Annotation Property ToC

term status^ap back to ToC or Annotation Property ToC

title^ap back to ToC or Annotation Property ToC