Adding prov:wasDerivedFrom property chain axiom
authorDave Reynolds <dave@epimorphics.com>
Sat, 16 Feb 2013 13:16:17 +0000
changeset 274 3c9b1ffced73
parent 273 8bc4556d1f5e
child 275 48943de3f945
Adding prov:wasDerivedFrom property chain axiom
org/index.html
--- a/org/index.html	Sat Feb 16 12:31:40 2013 +0000
+++ b/org/index.html	Sat Feb 16 13:16:17 2013 +0000
@@ -460,6 +460,56 @@
   foundation for this, building upon
   the PROV-O Provenance Vocabulary [[!PROV-O]].</p>
 
+<p>For example to indicate that an organization now called "Department
+  for Education" was formed as a result of rebranding and
+  restructuring and organization called "Department for Children
+  Schools and Family" we might state:</p>
+
+<pre class="code">
+    &lt;http://example.com/DfE> a org:Organization;
+        skos:prefLabel  "Department for Education"@en .
+
+    &lt;http://example.com/DCSF> a org:Organization;
+        skos:prefLabel  "Department for Children Schools and Family"@en .
+
+    &lt;http://example.com/regorgMay2010> a org:ChangeEvent;
+        rdfs:comment "Post-election re-organization and rebranding"@en ;
+        org:originalOrganization  &lt;http://example.com/DfE> ;
+	org:resultingOrganization &lt;http://example.com/DCSF> .
+</pre>
+
+<p>We can use terms from the PROV-O vocabulary to further describe the
+  change event (for example the period of time over which it
+  occurred).<p>
+
+<p>It is sometimes convenient to be able to directly link from an
+  organization to a previous organization from which it descended. This
+  is supported by using
+  the <a href="http://www.w3.org/TR/prov-o/#wasDerivedFrom">prov:wasDerivedFrom</a>
+  relationship. ORG declares the property chain axiom:<p>
+
+<pre class="code">
+   SubObjectPropertyOf( ObjectPropertyChain( org:resultedFrom org:originalOrganization ) prov:wasDerivedFrom )
+</pre>
+
+<p>Which can also be expressed using a SPARQL CONSTRUCT</p>
+<pre class="code">
+CONSTRUCT {
+  ?orgR prov:wasDerivedFrom ?orgO .
+} WHERE {
+   ?orgR org:resultedFrom / org:originalOrganization ?orgO .
+}
+</pre>
+
+<p>Thus in our previous example, given
+  that <a href="#org:resultedFrom">org:resultedFrom</a>
+  and <a href="#org:resultingOrganization">org:resultingOrganization</a>
+  are inverse of each other, we can deduce:<p>
+
+<pre class="code">
+    &lt;http://example.com/DfE> prov:wasDerivedFrom &lt;http://example.com/DCSF> .
+</pre>
+
 <h5>Note</h5>
 
 <p>In earlier versions of this ontology
@@ -1564,6 +1614,16 @@
 </table>
 </section>
 
+<h3 id="wasDerivedFromAxiom">Property chain axiom</h3>
+<p>
+In addition the ontology defines the following relationship between 
+<a href="#org:resultedFrom">org:resultedFrom</a>, <a href="#org:originalOrganization">org:originalOrganization</a>
+and <a href="http://www.w3.org/TR/prov-o/#wasDerivedFrom">prov:wasDerivedFrom</a>
+:
+<pre class="code">
+   SubObjectPropertyOf( ObjectPropertyChain( org:resultedFrom org:originalOrganization ) prov:wasDerivedFrom )
+</pre>
+
 </section>  <!-- end of Class Role-->
 
 </section>  <!-- end of Section Historical-->
@@ -1581,6 +1641,8 @@
     Working Draft 23 October 2012 (Last Call)</a>:
 
 <ul>
+  <li>Added <a href="#wasDerivedFromAxiom">property chain axiom</a>
+  for <a href="http://www.w3.org/TR/prov-o/#wasDerivedFrom">prov:wasDerivedFrom</a>.</li>
   <li>Removed the range constraint
   on <a href="#org:siteAddress">org:siteAddress</a> to allow other
   encodings than VCard to be used.</li>