# Copyright 2016 ITEA 12004 SEAS Project. # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at # # http://www.apache.org/licenses/LICENSE-2.0 # # Unless required by applicable law or agreed to in writing, # distributed under the License is distributed on an "AS IS" BASIS, # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # See the License for the specific language governing permissions and # limitations under the License. @prefix rdf: . @prefix owl: . @prefix rdfs: . @prefix xsd: . @prefix dcterms: . @prefix vann: . @prefix voaf: . @prefix vs: . @prefix foaf: . @prefix ssn: . @prefix dul: . @prefix liner: . @prefix skos: . @prefix qb: . @prefix cdt: . @prefix time: . @prefix seas: . @base . voaf:Vocabulary a owl:Class . dcterms:title a owl:AnnotationProperty . dcterms:description a owl:AnnotationProperty . dcterms:issued a owl:AnnotationProperty . dcterms:modified a owl:AnnotationProperty . dcterms:creator a owl:AnnotationProperty . dcterms:contributor a owl:AnnotationProperty . dcterms:license a owl:AnnotationProperty . vann:preferredNamespacePrefix a owl:AnnotationProperty . vann:preferredNamespaceUri a owl:AnnotationProperty . vs:term_status a owl:AnnotationProperty . foaf:Person a owl:Class . foaf:name a owl:DatatypeProperty . seas:TimeOntology a owl:Ontology , voaf:Vocabulary ; dcterms:title "The SEAS Time Ontology."@en ; dcterms:description """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. """@en ; dcterms:issued "2016-07-05"^^xsd:date ; dcterms:modified "2016-09-26"^^xsd:date ; dcterms:creator ; dcterms:license ; vann:preferredNamespacePrefix "seas" ; vann:preferredNamespaceUri ; owl:imports seas:EvaluationOntology , time: ; owl:versionIRI ; owl:versionInfo "v1.0" . seas:InstantaneousEvaluation a owl:Class ; rdfs:label "Instantaneous Evaluation"@en ; rdfs:comment "The class of evaluations that are relative to an instant"@en ; rdfs:subClassOf seas:Evaluation ; rdfs:subClassOf [ owl:onProperty seas:hasTemporalContext ; owl:someValuesFrom time:Instant ] ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:TimeIntervalEvaluation a owl:Class ; rdfs:label "Time Interval Evaluation"@en ; rdfs:comment "The class of evaluations that are relative to a time interval"@en ; rdfs:subClassOf seas:Evaluation ; rdfs:subClassOf [ owl:onProperty seas:hasTemporalContext ; owl:someValuesFrom time:ProperInterval ] ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:TimeAverageEvaluation a owl:Class ; rdfs:label "Time Average Evaluation"@en ; rdfs:comment """The given value is the average of the quantity over the temporal context."""@en ; rdfs:subClassOf seas:TimeIntervalEvaluation ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:TimeMinimumEvaluation a owl:Class ; rdfs:label "Time Minimum Evaluation"@en ; rdfs:comment """The given value is the minimum of the quantity over the temporal context."""@en ; rdfs:subClassOf seas:TimeIntervalEvaluation ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:TimeMaximumEvaluation a owl:Class ; rdfs:label "Time Maximum Evaluation"@en ; rdfs:comment """The given value is the maximum of the quantity over the temporal context."""@en ; rdfs:subClassOf seas:TimeIntervalEvaluation ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:TimeConstantEvaluation a owl:Class ; rdfs:label "Time Constant Evaluation"@en ; rdfs:comment """The given value is the value of the quantity at any instant of the temporal context."""@en ; rdfs:subClassOf seas:TimeIntervalEvaluation ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . ## links a quantifiable property to its growth rate, or its sum over a temporal interval seas:timeDerivative a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:label "time derivative"@en ; rdfs:comment """Links a time relative property to its time derivative property. For example, ``` seas:timeDerivative . ``` Means that `` is the time derivative of ``. """@en ; rdfs:subPropertyOf seas:derivesFrom ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:derivesFrom owl:propertyChainAxiom ( [ owl:inverseOf seas:summedProperty ] seas:sumProperty ) . seas:TimeSum a owl:Class ; rdfs:label "Time Sum"@en ; rdfs:comment """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`."""@en ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:summedProperty a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:label "summed property"@en ; rdfs:comment "Links a time sum to the property that is summed over a time interval."@en ; rdfs:domain seas:TimeSum ; rdfs:range seas:Property ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:sumProperty a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:label "sum property"@en ; rdfs:comment "Links a time sum to the property that is result of a sum over a time interval."@en ; rdfs:domain seas:TimeSum ; rdfs:range seas:Property ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:FixedDurationSum a owl:Class ; rdfs:label "Fixed Duration Sum"@en ; rdfs:comment """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 ; seas:sumProperty ; seas:sumDuration "PT24H"^^xsd:duration . ``` means that at any time, the value of `` is the sum of `` over the past day. """@en ; rdfs:subClassOf seas:TimeSum ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:sumDuration a owl:DatatypeProperty ; rdfs:label "sum duration"@en ; rdfs:comment """Links a fixed duration sum to the duration of the floating time interval over which the sum is computed."""@en ; rdfs:domain seas:FixedDurationSum ; rdfs:range xsd:duration ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:FixedStartSum a owl:Class ; rdfs:label "Fixed Start Sum"@en ; rdfs:comment """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 ; seas:sumProperty ; seas:sumStart "2014-02-24T00:00:00Z"^^xsd:dateTime . ``` means that at any time, the value of `` is the sum of `` since February 24th 2014. """@en ; rdfs:subClassOf seas:TimeSum ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:sumStart a owl:DatatypeProperty ; rdfs:label "sum start"@en ; rdfs:comment """Links a fixed start sum to the start of the time interval over which the sum is computed."""@en ; rdfs:domain seas:FixedStartSum ; rdfs:range xsd:dateTime ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . ## events, state change, and their frequency. seas:eventNumber a owl:ObjectProperty ; rdfs:label "event number"@en ; rdfs:comment """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 . seas:closingNumber . seas:evaluation . seas:evaluatedValue 5 ; seas:hasTemporalContext [ time:hasBeginning [ time:asXSDDateTime "2016-09-25T23:00:00Z" ] ; time:hasEnd [ time:asXSDDateTime "2016-09-26T07:00:00Z" ] ; ] ``` """@en ; rdfs:subPropertyOf seas:hasProperty ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:eventFrequency a owl:ObjectProperty ; rdfs:label "event frequency"@en ; rdfs:comment """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."""@en ; rdfs:subPropertyOf seas:hasProperty ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:stateChangeNumber a owl:ObjectProperty ; rdfs:label "state change number"@en ; rdfs:comment """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 . seas:openCloseChangeNumber . seas:evaluation . seas:evaluatedValue 5 ; seas:hasTemporalContext [ time:hasBeginning [ time:asXSDDateTime "2016-09-25T23:00:00Z" ] ; time:hasEnd [ time:asXSDDateTime "2016-09-26T07:00:00Z" ] ; ] ``` """@en ; rdfs:subPropertyOf seas:hasProperty ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:stateChangeFrequency a owl:ObjectProperty ; rdfs:label "state change frequency"@en ; rdfs:comment """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. """@en ; rdfs:subPropertyOf seas:hasProperty ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology . seas:stateDuration a owl:ObjectProperty ; rdfs:label "state duration"@en ; rdfs:comment """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 . seas:openDuration . seas:evaluation . 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" ] ; ] ``` """@en ; rdfs:subPropertyOf seas:hasProperty ; vs:term_status "stable" ; rdfs:isDefinedBy seas:TimeOntology .