[SSN] Added rdf documents, and implemented fixes for errata 998 and 9…

…99 (#1000) - Added rdf documents, and implemented fixes for errata 998 and 999 - Implemented errata in spec document, and added changes - Also fixed a typo in the .htaccess file: hasResultTime -> resultTime
w3c · Mar 9, 2018 · cb7f5e0 · cb7f5e0
1 parent 93970c5
commit cb7f5e0
Show file tree

Hide file tree

Showing 11 changed files with 5,122 additions and 30 deletions.
diff --git a/ssn/errata.html b/ssn/errata.html
@@ -13,7 +13,7 @@
   <body>
     <section>
       <h1>Errata for Semantic Sensor Network Ontology</h1>
-      <h2><a name="w3c-doctype" id="w3c-doctype"></a>16 January 2018</h2>
+      <h2><a name="w3c-doctype" id="w3c-doctype"></a>26 February 2018</h2>
       <p class="copyright"><a href="https://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a>&nbsp;©&nbsp;2018&nbsp;<a href="https://www.w3.org/"><abbr title="World Wide Web Consortium">W3C</abbr></a><sup>®</sup> (<a href="https://www.csail.mit.edu/"><abbr title="Massachusetts Institute of Technology">MIT</abbr></a>, <a href="https://www.ercim.eu/"><abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr></a>, <a href="https://www.keio.ac.jp/">Keio</a>, <a href="http://ev.buaa.edu.cn/">Beihang</a>). W3C <a href="https://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="https://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="https://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.
      </p>
       <hr/>
@@ -102,15 +102,58 @@ <h2 id="known-errors">Known errata in the Semantic Sensor Network Ontology</h2>
           <dd>Correction: Update the figures to connect the <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/#SOSAactsOnProperty"><code>sosa:actsOnProperty</code></a> and <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/#SOSAisActedOnBy"><code>sosa:isActedOnBy</code></a> property links with the <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/#SOSAActuation"><code>sosa:Actuation</code></a> class.</dd>
           <dd>Note: the normative definitions of these classes and properties are correct.</dd>
 
-          <dt><a id="entry-5">5. Inexistent <code>sosa:actuationMadeBy</code> property used in apartment 134 example</dt>
+          <dt><a id="entry-5">5. Inexistent <code>sosa:actuationMadeBy</code> property used in apartment 134 example</a></dt>
           <dd>Added: 16 January 2018</dd>
           <dd>Type: Editorial</dd>
           <dd>Refers to: <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/#apartment-134">B.3 apartment 134</a></dd>
           <dd>Description: The <code>sosa:actuationMadeBy</code> property, which used to exist in previous versions of the specification, was renamed into <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/#SOSAmadeByActuator"><code>sosa:madeByActuator</code></a>. The apartment 134 still uses the old property name.</dd>
           <dd>Correction: Replace the occurrence of <code>sosa:actuationMadeBy</code> by <code>sosa:madeByActuator</code> in the example.</dd>
           <dd>Note: the same error exists in the file containing a <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/integrated/examples/apartment-134-sosa.ttl">graph corresponding to this example</a>.</dd>
+
+          <dt><a id="entry-6">6. Unsatisfiable classes in SSNX alignment module</a></dt>
+          <dd>Added: 26 February 2018</dd>
+          <dd>Type: Editorial</dd>
+          <dd>Refers to: <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/#SSNX_Alignment">6.2 SSNX Alignment Module</a></dd>
+          <dd>Description: Unsatisfiability of some classes due to axioms (1) and (2) being too strict:
+            <pre>sosa:hasResult ≡ oldssn:hasValue (1)
+sosa:hasResult ≡ oldssn:observationResult (2)</pre>
+            <ul>
+              <li>Axiom (1) is causing the following problem: <code>oldssn:hasValue</code> is a sub-property of <code>dul:hasRegion</code>, whose range in DUL has <code>dul:Abstract</code> as a super-class. Yet, a <code>sosa:Sampling</code> procedure has only <code>sosa:Sample</code> as a result, and <code>sosa:Sample</code> is a sub-class of <code>( dul:Event or dul:Object or dul:Quality )</code></li>
+              <li>Axiom (2) is causing problems in combination to both:
+                <ul>
+                  <li>disjunction between <code>dul:SocialObject</code> and <code>dul:PhysicalObject</code> , and</li>
+                  <li>disjunctions between <code>dul:Event</code> and <code>dul:Object</code> .</li>
+                </ul>
+              </li>
+            </ul>
+          </dd>
+          <dd>Correction: Axioms (1) and (2) are relaxed to (1') and (2')
+            <pre>oldssn:hasValue ⊑ sosa:hasResult (1')
+oldssn:observationResult ⊑ sosa:hasResult (2')</pre>
+          </dd>
+          <dd>Note: <code>≡</code> means <em>equivalent class</em>, <code>⊑</code> means <em>subclass of</em></dd>
+          <dd>Note: the change is made both in the specification and in the file containing <a href="http://www.w3.org/2017/01/ssn-ssnx/">SSN-SSNX</a>.</dd>
+
+          <dt><a id="entry-7">7. Unsatisfiable classes in DUL and SSNX alignment modules</a></dt>
+          <dd>Added: 26 February 2018</dd>
+          <dd>Type: Editorial</dd>
+          <dd>Refers to: <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/#DUL_Alignment">6.1 Dolce-Ultralite Alignment Module</a> and <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/#SSNX_Alignment">6.2 SSNX Alignment Module</a></dd>
+          <dd>Description: Unsatisfiability of some classes, ex. Survival classes:
+            <ul>
+              <li>class <code>ssn-system:SurvivalProperty</code> is a sub-class of <code>ssn:Property</code>, and has for <code>inverseof( ssn-system:hasSurvivalProperty )</code> only (and at least one) <code>ssn-system:SurvivalRange</code>, that is a sub-class of <code>ssn:Property</code></li>
+              <li><code>inverseof( ssn-system:hasSurvivalProperty )</code> is a sub-property of <code>ssn:isPropertyOf</code><br>
+                <code>ssn:Property</code> has for <code>ssn:isPropertyOf</code> only <code>sosa:FeatureOfInterest</code></li>
+            </ul>
+            So some instance of <code>ssn-system:SurvivalRange</code> would be both a <code>ssn:Property</code> and a <code>sosa:FeatureOfInterest</code>, which is forbidden.
+          </dd>
+          <dd>Correction: A feature of interest can also be a quality, so axioms (1) and (2) are relaxed to (1') and (2')
+            <pre>sosa:FeatureOfInterest rdfs:subClassOf [ owl:unionOf ( dul:Event dul:Object dul:InformationEntity ) ] (1)
+oldssn:FeatureOfInterest owl:equivalentClass sosa:FeatureOfInterest (2)</pre>
+            <pre>sosa:FeatureOfInterest rdfs:subClassOf dul:Entity (1')
+oldssn:FeatureOfInterest rdfs:subClassOf sosa:FeatureOfInterest (2')</pre>
+          <dd>Note: the change is made both in the specification and in the files containing <a href="http://www.w3.org/ns/ssn/dul">the DUL alignment</a> and <a href="http://www.w3.org/2017/01/ssn-ssnx/">SSN-SSNX</a>.</dd>
         </dl>
       </section>
     </section>
   </body>
-</html>
+</html>
diff --git a/ssn/index.html b/ssn/index.html
@@ -4421,6 +4421,11 @@ <h3>Class Alignments</h3>
         <table>
           <tbody>
 
+            <tr>
+              <td> sosa:FeatureOfInterest </td>
+              <td> subclass of </td>
+              <td> dul:Entity </td>
+            </tr>
             <tr>
               <td> sosa:Procedure</td>
               <td> subclass of </td>
@@ -4466,11 +4471,6 @@ <h3>Class Alignments</h3>
         <p>For more complex alignments, the axiomatic alignments are defined as follows.</p>
         <table>
           <tbody>
-            <tr>
-              <td> sosa:FeatureOfInterest </td>
-              <td> subclass of </td>
-              <td> owl:unionOf ( dul:Event dul:Object dul:InformationEntity) </td>
-            </tr>
             <tr>
               <td> sosa:Result </td>
               <td> subclass of </td>
@@ -4622,11 +4622,6 @@ <h3>Class Alignments</h3>
           SOSA and SSN as shown below. </p>
         <table>
           <tbody>
-            <tr>
-              <td> oldssn:FeatureOfInterest </td>
-              <td> equivalent class </td>
-              <td> sosa:FeatureOfInterest </td>
-            </tr>
             <tr>
               <td> oldssn:Property </td>
               <td> equivalent class </td>
@@ -4718,6 +4713,11 @@ <h3>Class Alignments</h3>
         <p> The following classes in SOSA and SSN are interpreted as superclasses of the corresponding ones in SSN-XG.</p>
         <table>
           <tbody>
+            <tr>
+              <td> oldssn:FeatureOfInterest </td>
+              <td> subclass of </td>
+              <td> sosa:FeatureOfInterest </td>
+            </tr>
             <tr>
               <td> oldssn:Device </td>
               <td> subclass of </td>
@@ -5051,21 +5051,11 @@ <h3>Property Alignments</h3>
               <td> equivalent property </td>
               <td> ssn:isProxyFor</td>
             </tr>
-            <tr>
-              <td> oldssn:hasValue </td>
-              <td> equivalent property </td>
-              <td> sosa:hasResult </td>
-            </tr>
             <tr>
               <td> oldssn:isProducedBy </td>
               <td> equivalent property </td>
               <td> sosa:isResultOf</td>
             </tr>
-            <tr>
-              <td> oldssn:observationResult </td>
-              <td> equivalent property </td>
-              <td> sosa:hasResult</td>
-            </tr>
             <tr>
               <td> oldssn:observationSamplingTime </td>
               <td> equivalent property </td>
@@ -5137,6 +5127,16 @@ <h3>Property Alignments</h3>
           follows. </p>
         <table>
           <tbody>
+          <tr>
+            <td> oldssn:hasValue </td>
+            <td> sub-property of </td>
+            <td> sosa:hasResult </td>
+          </tr>
+          <tr>
+            <td> oldssn:observationResult </td>
+            <td> sub-property of </td>
+            <td> sosa:hasResult</td>
+          </tr>
           <tr>
               <td> oldssn:hasMeasurementCapability </td>
               <td> sub-property of </td>
@@ -7604,6 +7604,27 @@ <h3>Changes since W3C Candidate Recommendation 11 July 2017 <a href="https://www
           <li>Removed Features at Risk section</li>
           <li>Removed Candidate Recommendation Exit Criteria section</li>
         </ol>
+        <h3>Changes since W3C Recommendation 19 October 2017  <a href="https://www.w3.org/2017/10/vocab-ssn-errata.html">Errata #6</a> since W3C Recommendation 19 October 2017 <a href="https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/">
+            (https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/)</a></h3>
+        <ol>
+          <li>Fixed remaining broken links to ontology graph and namespaces and "specifically" typo</li>
+          <li>Fixed Seismographs example, replacing the final <code>;</code> with a <code>.</code></li>
+          <li>Fixed targets of <code>sosa:hosts</code> and <code>ssn:hasSubSystem</code> in DHT Deployment example</li>
+          <li>Fixed domain/range for <code>actsOnProperty</code> and <code>isActedOnBy</code> in actuation diagrams</li>
+          <li>Replaced inexistent <code>sosa:actuationMadeBy</code> by <code>sosa:madeByActuator</code> in apartment 134 example</li>
+          <li>Relaxed axioms in 6.2 SSNX Alignment Module:
+            <ul>
+              <li><code>oldssn:FeatureOfInterest</code> is a sub-class of <code>sosa:FeatureOfInterest</code> (instead of equivalent)</li>
+              <li><code>oldssn:hasValue</code> is a sub-property of <code>sosa:hasResult</code> (instead of equivalent)</li>
+              <li><code>oldssn:observationResult</code> is a sub-property of <code>sosa:hasResult</code> (instead of equivalent)</li>
+            </ul>
+          </li>
+          <li>Relaxed axioms in 6.1 Dolce-Ultralite Alignment Module:
+            <ul>
+              <li><code>sosa:FeatureOfInterest</code> is a sub-class of <code>dul:Entity</code></li>
+            </ul>
+          </li>
+        </ol>
       </section>
   </body>
 </html>
diff --git a/ssn/integrated/proposed-server-specification.md b/ssn/integrated/proposed-server-specification.md
@@ -513,12 +513,12 @@ DirectoryIndex sosa
 </Files>
 
 RewriteCond  %{REQUEST_URI}
-/ns/sosa/(ActuatableProperty|Actuation|Actuator|FeatureOfInterest|ObservableProperty|Observation|Platform|Procedure|Repeatability|Result|Sample|Sampler|Sampling|Sensor|actsOnProperty|madeByActuator|hasFeatureOfInterest|hasResult|hasResultingSample|hasSample|hosts|isActedOnBy|isFeatureOfInterestOf|isHostedBy|isObservedBy|isResultOf|isSampleOf|isSamplingResultOf|madeActuation|madeBySampler|madeBySensor|madeObservation|madeSampling|observedProperty|observes|phenomenonTime|usedProcedure|hasSimpleResult|hasResultTime)$
+/ns/sosa/(ActuatableProperty|Actuation|Actuator|FeatureOfInterest|ObservableProperty|Observation|Platform|Procedure|Repeatability|Result|Sample|Sampler|Sampling|Sensor|actsOnProperty|madeByActuator|hasFeatureOfInterest|hasResult|hasResultingSample|hasSample|hosts|isActedOnBy|isFeatureOfInterestOf|isHostedBy|isObservedBy|isResultOf|isSampleOf|isSamplingResultOf|madeActuation|madeBySampler|madeBySensor|madeObservation|madeSampling|observedProperty|observes|phenomenonTime|usedProcedure|hasSimpleResult|resultTime)$
 RewriteCond  %{HTTP_ACCEPT}  text/html
 RewriteRule  ^(.*)$  https://www.w3.org/TR/vocab-ssn/#SOSA$1 [R=303,NE,env=redirect:1]
 
 RewriteCond  %{REQUEST_URI}
-/ns/sosa/(ActuatableProperty|Actuation|Actuator|FeatureOfInterest|ObservableProperty|Observation|Platform|Procedure|Repeatability|Result|Sample|Sampler|Sampling|Sensor|actsOnProperty|madeByActuator|hasFeatureOfInterest|hasResult|hasResultingSample|hasSample|hosts|isActedOnBy|isFeatureOfInterestOf|isHostedBy|isObservedBy|isResultOf|isSampleOf|isSamplingResultOf|madeActuation|madeBySampler|madeBySensor|madeObservation|madeSampling|observedProperty|observes|phenomenonTime|usedProcedure|hasSimpleResult|hasResultTime)$
+/ns/sosa/(ActuatableProperty|Actuation|Actuator|FeatureOfInterest|ObservableProperty|Observation|Platform|Procedure|Repeatability|Result|Sample|Sampler|Sampling|Sensor|actsOnProperty|madeByActuator|hasFeatureOfInterest|hasResult|hasResultingSample|hasSample|hosts|isActedOnBy|isFeatureOfInterestOf|isHostedBy|isObservedBy|isResultOf|isSampleOf|isSamplingResultOf|madeActuation|madeBySampler|madeBySensor|madeObservation|madeSampling|observedProperty|observes|phenomenonTime|usedProcedure|hasSimpleResult|resultTime)$
 RewriteCond  %{HTTP_ACCEPT}  !text/html
 RewriteRule  ^(.*)$  /ns/sosa/ [R=303,env=redirect:1]