Skip to content

Commit

Permalink
Merge pull request #264 from w3c/253-foi-on-deployment
Browse files Browse the repository at this point in the history
253 foi on deployment
  • Loading branch information
dr-shorthair authored Nov 27, 2024
2 parents dbb675d + 9ae75b8 commit 74fa8d4
Show file tree
Hide file tree
Showing 17 changed files with 257 additions and 138 deletions.
24 changes: 8 additions & 16 deletions ssn/chapters/Actuation.html
Original file line number Diff line number Diff line change
Expand Up @@ -157,20 +157,6 @@ <h5><a href="#SOSAActuation">sosa:Actuation</a></h5>
href="#SOSAhasResult">sosa:hasResult</a></span>
<span about="[_:SOSAActuation11]" property="owl:minCardinality" content="1"
datatype="xsd:nonNegativeInteger"><em><b>EXACTLY 1</b></em></span>
<br>
<span about="sosa:Actuation" rel="rdfs:subClassOf" resource="[_:SOSAActuation13]"></span>
<span about="[_:SOSAActuation13]" typeof="owl:Restriction"></span>
<span about="[_:SOSAActuation13]" rel="owl:onProperty" resource="sosa:resultTime"><a
href="#SOSAresultTime">sosa:resultTime</a></span>
<span about="[_:SOSAActuation13]" property="owl:cardinality" content="1"
datatype="xsd:nonNegativeInteger"><em><b>EXACTLY 1</b></em></span>
<br>
<span about="sosa:Actuation" rel="rdfs:subClassOf" resource="[_:SOSAActuation15]"></span>
<span about="[_:SOSAActuation15]" typeof="owl:Restriction"></span>
<span about="[_:SOSAActuation15]" rel="owl:onProperty" resource="sosa:startTime"><a
href="#SOSAstartTime">sosa:startTime</a></span>
<span about="[_:SOSAActuation15]" property="owl:cardinality" content="1"
datatype="xsd:nonNegativeInteger"><em><b>EXACTLY 1</b></em></span>
</td>
</tr>
<tr>
Expand Down Expand Up @@ -216,7 +202,7 @@ <h5><a href="#SOSAActuationCollection">sosa:ActuationCollection</a></h5>
, <a href="#SOSAusedProcedure">usedProcedure</a>
, <a href="#SOSAmadeByActuator">madeByActuator</a>
, <a href="#SOSAactsOnProperty">actsOnProperty</a>
, <a href="#SOSAresultTime">resultTime</a>
, <a href="#SOSAendTime">endTime</a>
, <a href="#SOSAhasResult">hasResult</a>
, <a href="#SOSAhasSimpleResult">hasSimpleResult</a>
.
Expand Down Expand Up @@ -437,7 +423,7 @@ <h5><a href="#SOSAActuator">sosa:Actuator</a></h5>
</div>
</section>

<section class="informative specterm" id="SOSAactsOn" about="sosa:actsOn" typeof="owl:ObjectProperty">
<section class="informative specterm sosa" id="SOSAactsOn" about="sosa:actsOn" typeof="owl:ObjectProperty">
<h5><a href="#SOSAactsOn">sosa:actsOn</a></h5>
<p class="crossreference"><strong>IRI:</strong> http://www.w3.org/ns/sosa/actsOn</p>
<p><strong>an OWL Object Property</strong></p>
Expand Down Expand Up @@ -471,6 +457,12 @@ <h5><a href="#SOSAactsOn">sosa:actsOn</a></h5>
href="#SOSAisActedOnBy">sosa:isActedOnBy</a></span>
</td>
</tr>
<tr class="ssn">
<th>Sub property of</th>
<td>
<span rel="rdfs:subPropertyOf"><a href="#SOSAforProperty">sosa:forProperty</a></span>
</td>
</tr>
<tr>
<th>is Defined By</th>
<td>
Expand Down
268 changes: 182 additions & 86 deletions ssn/chapters/Common.html

Large diffs are not rendered by default.

10 changes: 10 additions & 0 deletions ssn/chapters/Inverse-properties.html
Original file line number Diff line number Diff line change
Expand Up @@ -57,6 +57,16 @@ <h3>Tabulation of properties and their inverses</h3>
<td><a href="#SOSAisDetectedBy">sosa:isDetectedBy</a>*</td>
<!-- <td><a href="#SOSAStimulus">sosa:Stimulus</a></td> -->
</tr>
<tr>
<!-- <td>
<a href="#SOSAExecution">sosa:Execution</a>*
,<br><a href="#SOSAActuation">sosa:Actuation</a>
,<br><a href="#SOSAActuationCollection">sosa:ActuationCollection</a>*
</td> -->
<td><a href="#SOSAendTime">sosa:endTime</a>*</td>
<td>Datatype Property<br> - no inverse</td>
<!-- <td>xsd:dateTime xsd:date xsd:gYearMonth xsd:gYear</td> -->
</tr>
<tr>
<!-- <td>
<a href="#SOSAProcedure">sosa:Procedure</a>
Expand Down
16 changes: 0 additions & 16 deletions ssn/chapters/Observation.html
Original file line number Diff line number Diff line change
Expand Up @@ -230,22 +230,6 @@ <h5><a href="#SOSAObservation">sosa:Observation</a></h5>
href="#SOSAhasResult">sosa:hasResult</a></span>
<span about="[_:SOSAObservation11]" property="owl:minCardinality" content="1"
datatype="xsd:nonNegativeInteger"><em><b>EXACTLY 1</b></em></span>
<br>
<span about="sosa:Observation" rel="rdfs:subClassOf"
resource="[_:SOSAObservation17]"></span>
<span about="[_:SOSAObservation17]" typeof="owl:Restriction"></span>
<span about="[_:SOSAObservation17]" rel="owl:onProperty" resource="sosa:startTime"><a
href="#SOSAstartTime">sosa:startTime</a></span>
<span about="[_:SOSAObservation17]" property="owl:cardinality" content="1"
datatype="xsd:nonNegativeInteger"><em><b>EXACTLY 1</b></em></span>
<br>
<span about="sosa:Observation" rel="rdfs:subClassOf"
resource="[_:SOSAObservation13]"></span>
<span about="[_:SOSAObservation13]" typeof="owl:Restriction"></span>
<span about="[_:SOSAObservation13]" rel="owl:onProperty" resource="sosa:resultTime"><a
href="#SOSAresultTime">sosa:resultTime</a></span>
<span about="[_:SOSAObservation13]" property="owl:cardinality" content="1"
datatype="xsd:nonNegativeInteger"><em><b>EXACTLY 1</b></em></span>
</td>
</tr>
<tr>
Expand Down
3 changes: 2 additions & 1 deletion ssn/chapters/Specification.html
Original file line number Diff line number Diff line change
Expand Up @@ -262,7 +262,8 @@ <h3>Overview of Classes and Properties</h3>
</div>
<div class="azlist">
<p><b>Datatype Properties:</b>
<a href="#SOSAhasSimpleResult">sosa:hasSimpleResult</a>
<a href="#SOSAendTime">sosa:endTime</a>*
, <a href="#SOSAhasSimpleResult">sosa:hasSimpleResult</a>
, <a href="#SOSAresultTime">sosa:resultTime</a>
, <a href="#SOSAstartTime">sosa:startTime</a>*
</p>
Expand Down
Binary file modified ssn/images/Actuation-overview.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified ssn/images/Actuation.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified ssn/images/Execution-overview.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified ssn/images/Execution.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified ssn/images/System.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
1 change: 1 addition & 0 deletions ssn/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -555,6 +555,7 @@ <h3>Changes since W3C Recommendation 19 October 2017 <a href="https://www.w3.org
<li>Add SamplingCollection to provide mechanism for grouping sets of Samplings with common properties</li>
<li>Deprecate ActuatableProperty, ObservableProperty in favour of generic Property</li>
<li>Clarify type-vs-instance for Systems; add examples in Common Modeling patterns.</li>
<li>Add hasFeatureOfInterest support to Deployments to allow description of systems/platforms tied to specific FoIs</li>
</li>
</ol>
</section>
Expand Down
8 changes: 5 additions & 3 deletions ssn/rdf/ontology/core/sosa-actuation.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ sosa:ActuationCollection
Collection of one or more actuations or actuation collections, i.e. collections may be nested.
The following Observation properties may appear in an Actuation Collection:
hasFeatureOfInterest , usedProcedure , madeByActuator , actsOnProperty , resultTime , hasResult , hasSimpleResult .
hasFeatureOfInterest , usedProcedure , madeByActuator , actsOnProperty , endTime or resultTime , hasResult , hasSimpleResult .
If it is present, the value of a property summarizes the values of the matching properties of the member actuations, where membership is either direct or transitive through one or more member actuation collections.
The following consistency rules apply with respect to the Actuation properties listed above:
Expand Down Expand Up @@ -196,7 +196,6 @@ sosa:isPropertyOf
rdfs:isDefinedBy sosa-common: .

sosa:hasProcedure
schema:domainIncludes sosa:Property ;
rdfs:isDefinedBy sosa-common: .

sosa:propertyFor
Expand Down Expand Up @@ -248,11 +247,14 @@ sosa:startTime
schema:domainIncludes sosa:ActuationCollection ;
rdfs:isDefinedBy sosa-common: .

sosa:resultTime
sosa:endTime
schema:domainIncludes sosa:Actuation ;
schema:domainIncludes sosa:ActuationCollection ;
rdfs:isDefinedBy sosa-common: .

sosa:resultTime
rdfs:isDefinedBy sosa-common: .

sosa:phenomenonTime
schema:domainIncludes sosa:Actuation ;
schema:domainIncludes sosa:ActuationCollection ;
Expand Down
40 changes: 33 additions & 7 deletions ssn/rdf/ontology/core/sosa-common.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -65,8 +65,7 @@ sosa:forProperty
skos:definition """
A relation between some entity and a Property.
"""@en ;
skos:example "For example, from a Sensor to the properties it can observe; from an Actuator to the properties it can act on; from a Deployment to the properties it was installed to observe or act on; from a SystemCapability to the Property the capability is described for."@en ;
schema:domainIncludes sosa:Deployment ;
skos:example "For example, from a Sensor to the properties it can observe; from an Actuator to the properties it can act on; from a SystemCapability to the Property the capability is described for."@en ;
schema:domainIncludes sosa:Procedure ;
schema:domainIncludes sosa:System ;
schema:rangeIncludes sosa:Property ;
Expand Down Expand Up @@ -95,8 +94,11 @@ sosa:isFeatureOfInterestOf
rdfs:label "is feature of interest of"@en ;
skos:definition """
A relation between a FeatureOfInterest and an Execution concerning it, i.e. an Observation about it, an Actuation acting on it, or an act of Sampling that sampled it.
"""@en ;
A relation between a specific FeatureOfInterest and a System operating on it, i.e. the entity whose property is modified by an Actuator, or the entity whose quality is observed by a Sensor, or the entity that is sampled by a Sampler.
"""@en ;
schema:domainIncludes sosa:FeatureOfInterest ;
schema:rangeIncludes sosa:Deployment ;
schema:rangeIncludes sosa:Execution ;
schema:rangeIncludes sosa:ExecutionCollection ;
owl:inverseOf sosa:hasFeatureOfInterest ;
Expand Down Expand Up @@ -132,9 +134,8 @@ sosa:propertyFor
skos:definition """
A relation between a Property and some entity.
"""@en ;
skos:example "For example, from a Sensor to the properties it can observe; from an Actuator to the properties it can act on; from a Deployment to the properties it was installed to observe or act on; from a SystemCapability to the Property the capability is described for."@en ;
skos:example "For example, from a Sensor to the properties it can observe; from an Actuator to the properties it can act on; from a SystemCapability to the Property the capability is described for."@en ;
schema:domainIncludes sosa:Property ;
schema:rangeIncludes sosa:Deployment ;
schema:rangeIncludes sosa:Procedure ;
schema:rangeIncludes sosa:System ;
rdfs:isDefinedBy sosa-common: .
Expand Down Expand Up @@ -283,14 +284,29 @@ sosa:Result
skos:example "The value 20 as the height of a certain tree together with the unit, e.g., Meter."@en ;
rdfs:isDefinedBy sosa-common: .

sosa:endTime
a owl:DatatypeProperty ;
rdfs:label "end time"@en ;
skos:definition """
The instant of time when the Execution (i.e. the Actuation or Observation or Sampling) or Deployment ended or was completed
"""@en ;
rdfs:comment "The value would usually be encoded using xsd:dateTime xsd:date xsd:gYearMonth xsd:gYear"@en ;
schema:domainIncludes sosa:Execution ;
schema:domainIncludes sosa:ExecutionCollection ;
schema:domainIncludes sosa:Deployment ;
rdfs:isDefinedBy sosa-common: .

sosa:hasFeatureOfInterest
a owl:ObjectProperty ;
rdfs:label "has feature of interest"@en ;
skos:definition """
A relation between an Execution and its target entity, i.e. an Actuation and the entity whose property was modified, or an Observation and the entity whose quality was observed, or an act of Sampling and the entity that was sampled.
A relation between a Deployment and its specific target entity.
"""@en ;
skos:scopeNote "This is the _proximate_ feature of interest, which may be a proxy entity such as a sample of the _ultimate_ feature of interest. Use `hasUltimateFeatureOfInterest` if the intention is to link to the _ultimate_ feature of interest. " ;
skos:example "For example, in an Observation of the weight of a person, the FeatureOfInterest is the person and the property is its weight."@en ;
schema:domainIncludes sosa:Deployment ;
schema:domainIncludes sosa:Execution ;
schema:domainIncludes sosa:ExecutionCollection ;
schema:rangeIncludes sosa:FeatureOfInterest ;
Expand Down Expand Up @@ -460,9 +476,10 @@ sosa:startTime
a owl:DatatypeProperty ;
rdfs:label "start time"@en ;
skos:definition """
The instant of time when the Execution was initiated or tasked, i.e. the Actuation or Observation or Sampling
The instant of time when the Execution (i.e. the Actuation or Observation or Sampling) or Deployment was initiated or tasked
"""@en ;
rdfs:comment "The value would usually be encoded using xsd:dateTime xsd:date xsd:gYearMonth xsd:gYear"@en ;
schema:domainIncludes sosa:Deployment ;
schema:domainIncludes sosa:Execution ;
schema:domainIncludes sosa:ExecutionCollection ;
rdfs:isDefinedBy sosa-common: .
Expand All @@ -484,7 +501,13 @@ sosa:Deployment
a owl:Class ;
rdfs:label "Deployment"@en ;
skos:definition """
Describes the Deployment of one or more assets for a particular purpose. Deployment may be done on a Platform or Host.
A Deployment of one or more assets (Systems or Platforms) to execute procedures with respect to designated features-of-interest.
Deployment may be done on a Platform or Host.
"""@en ;
skos:note """
A Deployment will usually be for a specified time interval.
It MAY involve Platforms, or Systems, or both.
A Deployment can be used quite flexibly to describe the use of systems, and platforms that host systems, with respect to a feature of interest.
"""@en ;
skos:example "For example, a temperature Sensor deployed on a wall, or a whole network of Sensors deployed for an Observation campaign."@en ;
rdfs:isDefinedBy sosa-common: .
Expand Down Expand Up @@ -525,6 +548,9 @@ sosa:System
Individual system instances are members of this class or its sub-classes.
"""@en ;
skos:scopeNote """
The association of a System (Actuator, Sensor, and Sampler) with a FeatureOfInterest is usually in the context of an Execution or a Deployment.
"""@en ;
rdfs:isDefinedBy sosa-common: .

sosa:deployedAsset
Expand Down
4 changes: 3 additions & 1 deletion ssn/rdf/ontology/core/sosa-observation.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -333,7 +333,6 @@ sosa:isPropertyOf
rdfs:isDefinedBy sosa-common: .

sosa:hasProcedure
schema:domainIncludes sosa:Property ;
rdfs:isDefinedBy sosa-common: .

sosa:propertyFor
Expand Down Expand Up @@ -385,6 +384,9 @@ sosa:startTime
schema:domainIncludes sosa:ObservationCollection ;
rdfs:isDefinedBy sosa-common: .

sosa:endTime
rdfs:isDefinedBy sosa-common: .

sosa:resultTime
schema:domainIncludes sosa:Observation ;
schema:domainIncludes sosa:ObservationCollection ;
Expand Down
5 changes: 3 additions & 2 deletions ssn/rdf/ontology/core/sosa-sampling.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -407,6 +407,9 @@ sosa:startTime
schema:domainIncludes sosa:SamplingCollection ;
rdfs:isDefinedBy sosa-common: .

sosa:endTime
rdfs:isDefinedBy sosa-common: .

sosa:resultTime
schema:domainIncludes sosa:Sampling ;
schema:domainIncludes sosa:SamplingCollection ;
Expand All @@ -424,13 +427,11 @@ sosa:phenomenonOccurred
sosa:hasFeatureOfInterest
schema:domainIncludes sosa:Sampling ;
schema:domainIncludes sosa:SamplingCollection ;
schema:rangeIncludes sosa:Sample ;
rdfs:isDefinedBy sosa-common: .

sosa:hasUltimateFeatureOfInterest
schema:domainIncludes sosa:Sampling ;
schema:domainIncludes sosa:SamplingCollection ;
schema:rangeIncludes sosa:Sample ;
rdfs:isDefinedBy sosa-common: .

sosa:hasInputValue
Expand Down
3 changes: 2 additions & 1 deletion ssn/rdf/ontology/core/ssn-actuation.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ ssn-act:

sosa:Property
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:isActedOnBy ; owl:allValuesFrom sosa:Actuation ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty [ owl:inverseOf sosa:actsOnPropertyProperty ] ; owl:allValuesFrom sosa:Actuation ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty [ owl:inverseOf sosa:actsOnProperty ] ; owl:allValuesFrom sosa:Actuation ] ;
rdfs:isDefinedBy sosa-common: .

sosa:Actuation
Expand Down Expand Up @@ -68,6 +68,7 @@ sosa:Actuator
rdfs:isDefinedBy sosa-act: .

sosa:actsOn
rdfs:subPropertyOf ssn:forProperty ;
rdfs:isDefinedBy sosa-act: .

sosa:actsOnProperty
Expand Down
13 changes: 8 additions & 5 deletions ssn/rdf/ontology/core/ssn-common.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -110,8 +110,6 @@ sosa:Execution
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:usedProcedure ; owl:allValuesFrom sosa:Procedure ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:hasFeatureOfInterest ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:hasFeatureOfInterest ; owl:allValuesFrom sosa:FeatureOfInterest ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:resultTime ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:startTime ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ;
rdfs:isDefinedBy sosa-common: .

sosa:ExecutionCollection
Expand All @@ -136,6 +134,9 @@ sosa:Result
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:isResultOf ; owl:minCardinality "1"^^xsd:nonNegativeInteger ] ;
rdfs:isDefinedBy sosa-common: .

sosa:endTime
rdfs:isDefinedBy sosa-common: .

sosa:hasFeatureOfInterest
rdfs:isDefinedBy sosa-common: .

Expand Down Expand Up @@ -174,6 +175,7 @@ sosa:phenomenonTime
rdfs:isDefinedBy sosa-common: .

sosa:resultTime
rdfs:subPropertyOf sosa:endTime ;
rdfs:isDefinedBy sosa-common: .

sosa:startTime
Expand All @@ -188,7 +190,7 @@ sosa:Deployment
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:deployedSystem ; owl:allValuesFrom sosa:System ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:deployedAsset ; owl:allValuesFrom [ a owl:Class ; owl:unionOf ( sosa:Platform sosa:System ) ] ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:deployedOnPlatform ; owl:allValuesFrom sosa:Platform ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:forProperty ; owl:allValuesFrom sosa:Property ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:hasFeatureOfInterest ; owl:allValuesFrom sosa:FeatureOfInterest ] ;
rdfs:isDefinedBy sosa-common: .

sosa:Platform
Expand All @@ -203,10 +205,11 @@ sosa:Platform
sosa:System
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:isHostedBy ; owl:allValuesFrom sosa:Platform ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:implements ; owl:allValuesFrom sosa:Procedure ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:forProperty ; owl:allValuesFrom sosa:Property ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:hasSubSystem ; owl:allValuesFrom sosa:System ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty [ owl:inverseOf sosa:hasSubSystem ] ; owl:allValuesFrom sosa:System ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:isSubSystemOf ; owl:allValuesFrom sosa:System ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:madeExecution ; owl:allValuesFrom sosa:Execution ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:hasDeployment ; owl:allValuesFrom sosa:Deployment ] ;
rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:forProperty ; owl:allValuesFrom sosa:Property ] ;
rdfs:isDefinedBy sosa-common: .

sosa:deployedAsset
Expand Down

0 comments on commit 74fa8d4

Please sign in to comment.