Add global domain constraints to the new properties

w3c · Dec 12, 2019 · 9d12461 · 9d12461
1 parent 3c7bcea
commit 9d12461
Show file tree

Hide file tree

Showing 2 changed files with 33 additions and 14 deletions.
diff --git a/proposals/ssn-extensions/index.html b/proposals/ssn-extensions/index.html
@@ -450,6 +450,10 @@ <h4 id="sosa:hasOriginalSample">has original sample</h4>
 <td>Instance of:</td>
 <td><code>owl:ObjectProperty</code></td>
 </tr>
+<tr>
+  <td>Domain:</td>
+  <td><code><a href="https://www.w3.org/TR/vocab-ssn/#SOSASample">sosa:Sample</a></code></td>
+  </tr>
 <tr>
 <td>Range:</td>
 <td><code><a href="https://www.w3.org/TR/vocab-ssn/#SOSASample">sosa:Sample</a></code></td>
@@ -458,8 +462,7 @@ <h4 id="sosa:hasOriginalSample">has original sample</h4>
 </table>
 
 <p>
-  No global domain constraints are specified for this property, so its appearance in a data set does not entail that the subject is a member of any particular class.
-  However, the ssn-ext vocabulary adds the following guarded constraint to the <code><a href="https://www.w3.org/TR/vocab-ssn/#SOSASample">sosa:Sample</a></code> class:
+  The following guarded constraint applies to the <code><a href="https://www.w3.org/TR/vocab-ssn/#SOSASample">sosa:Sample</a></code> class:
 </p>
 
 <table class="definition" style="width: 100%;">
@@ -514,15 +517,18 @@ <h4 id="sosa:hasUltimateFeatureOfInterest">has ultimate feature of interest</h4>
   <td><code>owl:ObjectProperty</code></td>
   </tr>
   <tr>
+    <td>Domain:</td>
+    <td><code><a href="https://www.w3.org/TR/vocab-ssn/#SOSAObservation">sosa:Observation</a> or <a href="https://www.w3.org/TR/vocab-ssn/#SOSASampling">sosa:Sampling</a> or <a href="https://www.w3.org/TR/vocab-ssn/#SOSAActuation">sosa:Actuation</a></code> </td>
+    </tr>
+    <tr>
   <td>Range:</td>
   <td><code><a href="https://www.w3.org/TR/vocab-ssn/#SOSAFeatureOfInterest">sosa:FeatureOfInterest</a></code></td>
   </tr>
   </tbody>
   </table>
 
   <p>
-    No global domain constraints are specified for this property, so its appearance in a data set does not entail that the subject is a member of any particular class.
-    However, the ssn-ext vocabulary adds the following guarded constraint to the <code><a href="https://www.w3.org/TR/vocab-ssn/#SOSAObservation">sosa:Observation</a></code> class:
+    The following guarded constraint applies to the <code><a href="https://www.w3.org/TR/vocab-ssn/#SOSAObservation">sosa:Observation</a></code> class:
   </p>
 
   <table class="definition" style="width: 100%;">
@@ -579,15 +585,18 @@ <h4 id="sosa:hasSampledFeature">has sampled feature</h4>
     <td><code>owl:ObjectProperty</code></td>
     </tr>
     <tr>
+      <td>Domain:</td>
+      <td><code><a href="https://www.w3.org/TR/vocab-ssn/#SOSASample">sosa:Sample</a></code></td>
+      </tr>
+      <tr>
     <td>Range:</td>
     <td><code><a href="https://www.w3.org/TR/vocab-ssn/#SOSAFeatureOfInterest">sosa:FeatureOfInterest</a></code></td>
     </tr>
     </tbody>
     </table>
 
     <p>
-      No global domain constraints are specified for this property, so its appearance in a data set does not entail that the subject is a member of any particular class.
-      However, the ssn-ext vocabulary adds the following guarded constraint to the <code><a href="https://www.w3.org/TR/vocab-ssn/#SOSASample">sosa:Sample</a></code> class:
+      The following guarded constraint applies to the <code><a href="https://www.w3.org/TR/vocab-ssn/#SOSASample">sosa:Sample</a></code> class:
     </p>
 
     <table class="definition" style="width: 100%;">

diff --git a/proposals/ssn-extensions/rdf/ssn-ext.ttl b/proposals/ssn-extensions/rdf/ssn-ext.ttl
@@ -156,9 +156,19 @@ sosa:hasOriginalSample
   schema:domainIncludes sosa:Sample ;
   schema:rangeIncludes sosa:Sample ;
   rdfs:comment "link to the original sample that is related to the context sample through a chain of isSampleOf relations" ;
+  rdfs:domain sosa:Sample ;
   rdfs:label "has original sample" ;
   rdfs:range sosa:Sample ;
 .
+sosa:hasSampledFeature
+  a owl:ObjectProperty ;
+  schema:domainIncludes sosa:Sample ;
+  schema:rangeIncludes sosa:FeatureOfInterest ;
+  rdfs:comment "link to the ultimate feature of interest of the context sample - i.e. the end of a chain of isSampleOf relations" ;
+  rdfs:domain sosa:Sample ;
+  rdfs:label "is ultimate sample of" ;
+  rdfs:range sosa:FeatureOfInterest ;
+.
 sosa:hasUltimateFeatureOfInterest
   a owl:ObjectProperty ;
   schema:domainIncludes sosa:Actuation ;
@@ -168,17 +178,17 @@ sosa:hasUltimateFeatureOfInterest
   rdfs:comment "link to the ultimate feature of interest of an observation or act of sampling. This is useful when the proximate feature of interest is a sample of the ultimate feature of interest, directly or trasntitively." ;
   rdfs:comment """should match a property chain something like this but with sosa:isSampleOf*
       owl:propertyChainAxiom ( sosa:hasFeatureOfInterest sosa:isSampleOf )""" ;
+  rdfs:domain [
+      a owl:Class ;
+      owl:unionOf (
+          sosa:Observation
+          sosa:Sampling
+          sosa:Actuation
+        ) ;
+    ] ;
   rdfs:label "has ultimate feature of interest" ;
   rdfs:range sosa:FeatureOfInterest ;
 .
-sosa:hasSampledFeature
-  a owl:ObjectProperty ;
-  schema:domainIncludes sosa:Sample ;
-  schema:rangeIncludes sosa:FeatureOfInterest ;
-  rdfs:comment "link to the ultimate feature of interest of the context sample - i.e. the end of a chain of isSampleOf relations" ;
-  rdfs:label "is ultimate sample of" ;
-  rdfs:range sosa:FeatureOfInterest ;
-.
 sosa:madeBySensor
   schema:domainIncludes sosa:ObservationCollection ;
 .