IDO-alignment.html

<h3>IDO Alignment Module</h3>
<p>This section introduces the alignment of SSN with
  <a href="https://rds.posccaesar.org/ontology/lis14/ont/core/">Industrial Data Ontology (IDO)</a>,
  which is standardized as [[ISO23726-3-DIS]].
  This serves to axiomatically clarify the intended meaning of SSN terms in terms of IDO and enable usage of SSN and
  SOSA with IDO-aligned ontologies.
</p>
<p>
  An RDF file containing a <a href="https://github.com/w3c/sdw-sosa-ssn/blob/gh-pages/ssn/rdf/ontology/alignments/sosa-ido.ttl">graph
    corresponding to this alignment is available</a>.
</p>

<section id="IDO_Alignment-namespaces">
  <h4>Namespaces</h4>
  <p>The following namespace prefixes are used in the alignment of SOSA to IDO.</p>
  <dl>
    <dt>sosa:</dt>
    <dd>
      <a href="http://www.w3.org/ns/sosa/">http://www.w3.org/ns/sosa/</a>
    </dd>
    <dt>lis:</dt>
    <dd>
      <a href="https://rds.posccaesar.org/ontology/lis14/ont/core/">http://rds.posccaesar.org/ontology/lis14/rdl/</a>
    </dd>
  </dl>
</section>
<section id="IDO-Class-Alignments">
  <h4>Class Alignments</h4>
  <p>The upper-level classes from SSN are aligned with the IDO classes as follows.
    The alignment of subclasses of these upper-level classes follows logically from these correspondences.
  </p>
  <p class="note">
    The notation used in this section is described in <a href="#Alignment-notation"></a>.
  </p>
  <p class="note">
    The definition of each IDO concept is displayed as a tooltip when hovering over the concept.
  </p>
  <ul class="align-on-symbol">
  <li>
    <span class="lhs"><a>sosa:Asset</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="An object that occupies space and possesses mass.">lis:PhysicalObject</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:Deployment</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="A temporal entity in which one or more physical objects participate.">lis:Activity</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:Execution</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="A temporal entity in which one or more physical objects participate.">lis:Activity</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:ExecutionCollection</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="A temporal entity in which one or more physical objects participate.">lis:Activity</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:FeatureOfInterest</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="An entity that is not dependent on other entities for existence, and which persists through time.">lis:Object</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:Procedure</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="An object that captures information about something.">lis:InformationObject</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:Property</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="A dependent entity that is present any time its bearer exists.">lis:Quality</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:Sample</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="An entity that is not dependent on other entities for existence, and which persists through time.">lis:Object</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:SampleCollection</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="An entity that is not dependent on other entities for existence, and which persists through time.">lis:Object</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:Stimulus</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="A temporal entity in which one or more physical objects participate.">lis:Activity</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:System</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="A 'functional object' with one or more functional parts whose functions contribute to its function.">lis:System</span>
    </span>
  </li> 
  </ul>
</section>
<section id="IDO-Property-Alignments">
  <h4>Property Alignments</h4>
  <p>The upper-level object properties from SSN are aligned with the IDO properties as follows.
    The alignment of subproperties of these upper-level properties follows logically from these correspondences.
  </p>
  <p class="note">
    The definition of each IDO property is displayed as a tooltip when hovering over the concept.
  </p>
  <ul class="align-on-symbol">
  <li>
    <span class="lhs"><a>sosa:deployedAsset</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs">
      <span title="if x 'has passive participant' y, then x is a passive participant in y.">lis:hasPassiveParticipant</span>
    </span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasDeployment</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasPassiveParticipant">lis:passiveParticipantIn</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasFeatureOfInterest</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has participant' y, then x is an 'activity', and y is an 'object' that participates in x.">lis:hasParticipant</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasInput</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has content part' y, then x and y are information objects, and x 'has part' y.">lis:hasContentPart</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasInputValue</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="if x 'has passive participant' y, then x is a passive participant in y.">lis:hasPassiveParticipant</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasMember</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has part' y, then y is a part of x.">lis:hasPart</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasOutput</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has content part' y, then x and y are information objects, and x 'has part' y.">lis:hasContentPart</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasProperty</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has quality' y, then x is an 'object', and y is a 'quality' that is dependent on x.">lis:hasQuality</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasResult</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="if x 'creates' y, then x is an 'activity', y is an 'object', and x brings y into being.">lis:creates</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasSubSystem</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has functional part' y, then x is a 'system' of which y is a part, and y has one or more functions that contribute to the function of x.">lis:hasFunctionalPart</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hasUltimateFeatureOfInterest</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has participant' y, then x is an 'activity', and y is an 'object' that participates in x.">lis:hasParticipant</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:hosts</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x is 'located relative to' y, then x and y are 'object's with location in space.">lis:locatedRelativeTo</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:inputFor</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasContentPart">lis:contentPartOf</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:inputValueForExecution</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasPassiveParticipant">lis:passiveParticipantIn</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:isFeatureOfInterestOf</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasParticipant">lis:participantIn</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:isHostedBy</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x is 'located relative to' y, then x and y are 'object's with location in space.">lis:locatedRelativeTo</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:isMemberOf</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasPart">lis:partOf</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:isPropertyOf</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasQuality">lis:qualityOf</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:isResultOf</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:creates">lis:createdBy</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:isSubSystemOf</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasFunctionalPart">lis:functionalPartOf</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:madeBySystem</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has active participant' y, then x is an active participant in y.">lis:hasActiveParticipant</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:madeExecution</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasActiveParticipant">lis:activeParticipantIn</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:observationRelatedTo</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'occurs relative to' y, then x and y are 'temporal' entities, with temporal location.">lis:occursRelativeTo</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:originated</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'occurs relative to' y, then x and y are 'temporal' entities, with temporal location.">lis:occursRelativeTo</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:outputFor</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasContentPart">lis:contentPartOf</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:phenomenonOccurred</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:hasTemporalExtent">lis:temporalExtentOf</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:phenomenonTime</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'has temporal extent' y, then x is a 'temporal' entity, and y is a temporal region which is the temporal extent of x.">lis:hasTemporalExtent</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:relatedObservation</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'occurs relative to' y, then x and y are 'temporal' entities, with temporal location.">lis:occursRelativeTo</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:usedForExecution</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="inverse of lis:concretizes">lis:concretizedBy</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:usedProcedure</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'concretizes' y, then y is an 'information object', and x is a 'physical object' copy of y, or an 'activity' performance of y.">lis:concretizes</span></span>
  </li>
  <li>
    <span class="lhs"><a>sosa:wasOriginatedBy</a></span>
    <span class="symbol logic">⊑</span>
    <span class="rhs"><span title="If x 'occurs relative to' y, then x and y are 'temporal' entities, with temporal location.">lis:occursRelativeTo</span></span>
  </li>
  </ul>
</section>