Merge pull request #265 from w3c/257-functional-properties

257 Remove Functional and InverseFunctional property designations
w3c · Nov 27, 2024 · 24e8c93 · 24e8c93
2 parents 74fa8d4 + 4fa61d9
commit 24e8c93
Show file tree

Hide file tree

Showing 9 changed files with 30 additions and 22 deletions.
diff --git a/ssn/chapters/Common.html b/ssn/chapters/Common.html
@@ -1586,18 +1586,23 @@ <h6><a href="#SOSAhasResult">sosa:hasResult</a></h6>
                 (i.e. <a href="#SOSAActuation">Actuation</a>
                 or <a href="#SOSAObservation">Observation</a> or act of <a href="#SOSASampling">Sampling</a>) to its
                 result or <a href="#SOSASample">Sample</a>.
-
+                <br><br>
                 In the case of an <a href="#SOSAActuation">Actuation</a>, the result is the expected value
                 of the <a href="#SOSAProperty">Property</a> following the execution of
                 the <a href="#SOSAProcedure">Procedure</a> by the <a href="#SOSAActuator">Actuator</a>.
-
+                <br><br>
                 In the case of an <a href="#SOSAObservation">Observation</a>, the result is the value of
                 the <a href="#SOSAProperty">Property</a> produced by the execution of
                 the <a href="#SOSAProcedure">Procedure</a> by the <a href="#SOSASensor">Sensor</a>.
-
+                <br><br>
                 In the case of a <a href="#SOSASampling">Sampling</a>, the result is the <a
                     href="#SOSASample">Sample</a> produced by the execution of the <a
                     href="#SOSAProcedure">Procedure</a> by the <a href="#SOSASampler">Sampler</a>.
+                <br><br>
+                An <a href="#SOSAExecution">Execution</a> has a single result, therefore <a
+                    href="#SOSAhasResult">sosa:hasResult</a> is <a
+                    href="https://www.w3.org/TR/owl2-syntax/#Functional_Object_Properties">Functional</a>.
+                <br><br>
             </span>
             <br>
             <table>
@@ -1632,6 +1637,14 @@ <h6><a href="#SOSAhasResult">sosa:hasResult</a></h6>
                                     href="#SOSAisResultOf">sosa:isResultOf</a></span>
                         </td>
                     </tr>
+                    <tr class="ssn">
+                        <th>is</th>
+                        <td>
+                            <span about="sosa:hasResult" typeof="owl:FunctionalProperty">
+                                <a href="https://www.w3.org/TR/owl2-syntax/#Functional_Object_Properties">Functional</a>
+                            </span>
+                        </td>
+                    </tr>
                     <tr>
                         <th>is Defined By</th>
                         <td>
@@ -1642,6 +1655,14 @@ <h6><a href="#SOSAhasResult">sosa:hasResult</a></h6>
                 </tbody>
             </table>
             <div class="buttonpanel">
+                <span>
+                    <span class="sosa" style="display: none;">[<a href="#"
+                            onclick="hide_ssn(false,this.parentElement.parentElement.parentElement.parentElement);return false;">Show
+                            additional SSN axioms</a>]</span>
+                    <span class="ssn">[<a href="#"
+                            onclick="hide_ssn(true,this.parentElement.parentElement.parentElement.parentElement);return false;">Hide
+                            additional SSN axioms</a>]</span>
+                </span>
                 <span class="back">[<a href="#Common">Back to module overview</a>]</span>
                 <span class="back">[<a href="#overview-of-classes-and-properties">Back to top</a>]</span>
             </div>

diff --git a/ssn/chapters/Sampling.html b/ssn/chapters/Sampling.html
@@ -1023,11 +1023,6 @@ <h5><a href="#SOSAhasSample">sosa:hasSample</a></h5>
                                 href="#SOSAisSampleOf">sosa:isSampleOf</a></span>
                     </td>
                 </tr>
-                <tr class="ssn">
-                    <th colspan="2"><span about="sosa:hasSample" typeof="owl:InverseFunctionalProperty">is <a
-                                href="https://www.w3.org/TR/owl2-syntax/#Inverse-Functional_Object_Properties">Inverse-Functional</a></span>
-                    </th>
-                </tr>
                 <tr>
                     <th>is Defined By</th>
                     <td>
@@ -1336,11 +1331,6 @@ <h5><a href="#SOSAisSampleOf">sosa:isSampleOf</a></h5>
                                 href="#SOSAhasSample">sosa:hasSample</a></span>
                     </td>
                 </tr>
-                <tr class="ssn">
-                    <th colspan="2"><span about="sosa:isSampleOf" typeof="owl:FunctionalProperty">is <a
-                                href="https://www.w3.org/TR/owl2-syntax/#Functional_Object_Properties">Functional</a></span>
-                    </th>
-                </tr>
                 <tr>
                     <th>is Defined By</th>
                     <td>

diff --git a/ssn/index.html b/ssn/index.html
@@ -556,6 +556,7 @@ <h3>Changes since W3C Recommendation 19 October 2017 <a href="https://www.w3.org
       <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>Remove Functional and InverseFunctional axioms except on hasResult</li>
       </li>
     </ol>
   </section>

diff --git a/ssn/rdf/ontology/alignments/ssnx-dul/ssn.ttl b/ssn/rdf/ontology/alignments/ssnx-dul/ssn.ttl
@@ -206,7 +206,7 @@ ssn:inDeployment rdf:type owl:ObjectProperty ;
                  rdfs:label "in deployment"@en .
 
 ###  http://www.w3.org/ns/ssn/isPropertyOf
-ssn:isPropertyOf rdf:type owl:ObjectProperty , owl:FunctionalProperty ;
+ssn:isPropertyOf rdf:type owl:ObjectProperty ;
                  rdfs:comment "Relation between a Property and the entity it belongs to."@en ;
                  rdfs:isDefinedBy ssn: ;
                  owl:inverseOf ssn:hasProperty ;

diff --git a/ssn/rdf/ontology/core/sosa-common.ttl b/ssn/rdf/ontology/core/sosa-common.ttl
@@ -344,6 +344,8 @@ sosa:hasResult
   In the case of an Observation, the result is the value of the Property produced by the execution of the Procedure by the Sensor. 
   
   In the case of a Sampling, the result is the Sample produced by the execution of the Procedure by the Sampler. 
+
+  An Execution has a single result, therefore sosa:hasResult is Functional.
   """@en ;
   schema:domainIncludes sosa:Execution ;
   schema:domainIncludes sosa:ExecutionCollection ;

diff --git a/ssn/rdf/ontology/core/ssn-common.ttl b/ssn/rdf/ontology/core/ssn-common.ttl
@@ -147,6 +147,7 @@ sosa:hasOutputValue
   rdfs:isDefinedBy sosa-common: .
 
 sosa:hasResult 
+  a owl:FunctionalProperty ;
   rdfs:isDefinedBy sosa-common: .
 
 sosa:hasOutputValue 
@@ -162,7 +163,6 @@ sosa:inputValueForExecution
   rdfs:isDefinedBy sosa-common: .
 
 sosa:isResultOf 
-  a owl:InverseFunctionalProperty ;
   rdfs:isDefinedBy sosa-common: .
 
 sosa:outputValueForExecution 

diff --git a/ssn/rdf/ontology/core/ssn-deprecated.ttl b/ssn/rdf/ontology/core/ssn-deprecated.ttl
@@ -225,7 +225,7 @@ ssn:Deployment a owl:Class ;
     rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ssn:isProxyFor ; owl:allValuesFrom sosa:ObservableProperty ] ;
     rdfs:isDefinedBy ssn-dep: .
 
-  ssn:wasOriginatedBy a owl:ObjectProperty , owl:FunctionalProperty ;
+  ssn:wasOriginatedBy a owl:ObjectProperty ;
     owl:equivalentProperty sosa:wasOriginatedBy ;
     owl:deprecated true ;
     rdfs:label "was originated by"@en ;

diff --git a/ssn/rdf/ontology/core/ssn-observation.ttl b/ssn/rdf/ontology/core/ssn-observation.ttl
@@ -124,11 +124,9 @@ sosa:resultQuality
   rdfs:isDefinedBy sosa-obs: .
 
 sosa:wasOriginatedBy 
-  a owl:FunctionalProperty ;
   rdfs:isDefinedBy sosa-obs: .
 
 sosa:wasObservedBy 
-  a owl:FunctionalProperty ;
   rdfs:isDefinedBy sosa-obs: .
 
 ## Observation Collection

diff --git a/ssn/rdf/ontology/extensions/ssn-oms.ttl b/ssn/rdf/ontology/extensions/ssn-oms.ttl
@@ -78,7 +78,3 @@ sosa-oms:SamplingProcedure
   rdfs:subClassOf sosa:Procedure ;
   rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:implementedBy ; owl:allValuesFrom sosa:Sampler ] ;
   rdfs:isDefinedBy sosa-oms: .
-
-sosa-oms:hasPreparationStep a owl:FunctionalProperty ;
-  rdfs:isDefinedBy sosa-oms: .
-