--- a/ontology/prov-o-html-sections/description-collections.inc.html Mon Apr 02 13:12:58 2012 -0400
+++ b/ontology/prov-o-html-sections/description-collections.inc.html Mon Apr 02 14:11:35 2012 -0400
@@ -27,45 +27,33 @@
</p>
<p>
In PROV-O, an entity is indicated to be a collection by using the
- subclass <a href='#Collection'>prov:Collection</a>. Its subclass <a
- href='#EmptyCollection'>prov:EmptyCollection</a> indicates
+ subclass <a class="qname" href='#Collection'>prov:Collection</a>. Its subclass <a class="qname" href='#EmptyCollection'>prov:EmptyCollection</a> indicates
that the collection has no members.
- Members of a collection are expressed through <a
- href='#KeyValuePair'>prov:KeyValuePair</a>s.
- The members can be expressed explicitly using <a
- href='#knownMembership'>prov:knownMembership</a>, and indirectly
+ Members of a collection are expressed through <a class="qname" href='#KeyValuePair'>prov:KeyValuePair</a>s.
+ The members can be expressed explicitly using <a class="qname" href='#knownMembership'>prov:knownMembership</a>, and indirectly
through a series of collection derivations of insertions and
- removals, using <a
- href='#derivedByInsertionFrom'>prov:derivedByInsertionFrom</a>
- and <a
- href='#derivedByRemovalFrom'>prov:derivedByRemovalFrom</a>.
+ removals, using <a class="qname" href='#derivedByInsertionFrom'>prov:derivedByInsertionFrom</a>
+ and <a class="qname" href='#derivedByRemovalFrom'>prov:derivedByRemovalFrom</a>.
</p>
<p>
To specify the key-value pairs inserted,
- <code>prov:derivedByInsertionFrom</code> must be qualified using <a
- href='#qualifiedInsertion'>prov:qualifiedInsertion</a> to a
- <a href='#Insertion'>Insertion</a>, which indicates the pairs
- using <a href='#inserted'>prov:inserted</a> to some <a
- href='#KeyValuePair'>prov:KeyValuePair</a>. Its <a
- href='#key'>prov:key</a> is any RDF literal, while the <a
- href='#value'>prov:value</a> is a <a
- href='#Entity'>prov:Entity</a>.
- Likewise, removal are qualified using <a
- href='#qualifiedRemoval'>prov:qualifiedRemoval</a> to a <a
- href='#Removal'>Removal</a>, which <a
- href='#removedKey'>prov:removedKey</a>
- points to the removed key. <code>prov:Insertion</code>,
- <code>prov:Removal</code> and <code>prov:Membership</code> can have
+ <span class="repeated">prov:derivedByInsertionFrom</span> must be qualified using <a class="qname" href='#qualifiedInsertion'>prov:qualifiedInsertion</a> to a
+ <a class="qname" href='#Insertion'>Insertion</a>, which indicates the pairs
+ using <a class="qname" href='#inserted'>prov:inserted</a> to some <a class="qname" href='#KeyValuePair'>prov:KeyValuePair</a>. Its <a class="qname" href='#key'>prov:key</a> is any RDF literal, while the <a class="qname" href='#value'>prov:value</a> is a <a class="qname" href='#Entity'>prov:Entity</a>.
+ Likewise, removal are qualified using <a class="qname" href='#qualifiedRemoval'>prov:qualifiedRemoval</a> to a <a class="qname" href='#Removal'>Removal</a>, which <a class="qname" href='#removedKey'>prov:removedKey</a>
+ points to the removed key. <span class="repeated">prov:Insertion</span>,
+ <span class="repeated">prov:Removal</span> and <span class="repeated">prov:Membership</span> can have
custom properties and identifiers, as described in PROV-DM.
</p>
- <p>
- The example below shows how
- <code>:c</code> and <code>:c1</code> are
- collections. <code>:c</code> is empty, while <code>:c1</code>
- is derived by inserting the key-value pairs <code>{("k1", :e1),
- ("k2", :e2)}</code>.</p>
- <div class="anExample">
- <pre>
+
+ <div class="exampleOuter">
+ <p>
+ The example below shows how
+ <code>:c</code> and <code>:c1</code> are
+ collections. <code>:c</code> is empty, while <code>:c1</code>
+ is derived by inserting the key-value pairs <code>{("k1", :e1),
+ ("k2", :e2)}</code>.</p>
+ <pre class="example">
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@@ -86,14 +74,14 @@
] .
</pre>
</div>
- <p>
- The following example shows how <code>:c3</code> has been derived from
- <code>:c2</code>, which content is not asserted. The keys
- <code>"k1"</code> and <code>"k3"</code> and their corresponding
- values have been removed in <code>:c3</code>.
- </p>
- <div class="anExample">
- <pre>
+ <div class="exampleOuter">
+ <p>
+ The following example shows how <code>:c3</code> has been derived from
+ <code>:c2</code>, which content is not asserted. The keys
+ <code>"k1"</code> and <code>"k3"</code> and their corresponding
+ values have been removed in <code>:c3</code>.
+ </p>
+ <pre class="example">
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@@ -106,14 +94,14 @@
] .
</pre>
</div>
- <p>
- The next example shows how the members of
- <code>:c1</code> has been described as the key-value
- pairs <code>{("k1", :e1), ("k2", :e2)}</code>. Note that this
- assertion does not claim there are not other members.
- </p>
- <div class="anExample">
- <pre>
+ <div class="exampleOuter">
+ <p>
+ The next example shows how the members of
+ <code>:c1</code> has been described as the key-value
+ pairs <code>{("k1", :e1), ("k2", :e2)}</code>. Note that this
+ assertion does not claim there are not other members.
+ </p>
+ <pre class="example">
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
--- a/ontology/prov-o-html-sections/description-qualified-terms.inc.html Mon Apr 02 13:12:58 2012 -0400
+++ b/ontology/prov-o-html-sections/description-qualified-terms.inc.html Mon Apr 02 14:11:35 2012 -0400
@@ -2,11 +2,11 @@
<h3>Qualified Terms</h3>
<p>The classes and properties in the Qualified terms category are for users who wish to provide additional details about the relationships between entities, activities, and agents. The terms in this category are the result of applying the <strong>Qualification Pattern</strong> to the simple relations available in the <a href="#prov-starting-point-owl-properties-at-a-glance">Starting Point</a> and <a href="#prov-expanded-owl-properties-at-a-glance">Expanded</a> categories.
</p>
- <p>For example, Figure 2 illustrates the classes and properties needed to fulfill the qualification pattern for the <a href="#used">prov:used</a> and <a href="#wasAssociatedWith">prov:wasAssociatedWith</a> properties. While <a href="#qualifiedUsage">prov:qualifiedUsage</a>, <a href="#Usage">prov:Usage</a>, and <a href="#entity">prov:entity</a> are needed to qualify prov:used relations, <a href="#qualifiedAssociation">prov:qualifiedAssociation</a>, <a href="#Association">prov:Association</a>, and <a href="#agent">prov:agent</a> are needed to qualify prov:wasAssociatedWith relations. This pattern applies to the twelve other relations that can be qualified.
+ <p>For example, Figure 2 illustrates the classes and properties needed to fulfill the qualification pattern for the <a href="#used">prov:used</a> and <a href="#wasAssociatedWith">prov:wasAssociatedWith</a> properties. While <a href="#qualifiedUsage">prov:qualifiedUsage</a>, <a href="#Usage">prov:Usage</a>, and <a href="#entity">prov:entity</a> are used to qualify <span class="repeated">prov:used</span> relations, <a href="#qualifiedAssociation">prov:qualifiedAssociation</a>, <a href="#Association">prov:Association</a>, and <a href="#agent">prov:agent</a> are used to qualify <span class="repeated">prov:wasAssociatedWith</span> relations. This pattern applies to the twelve other relations that can be qualified.
</p>
- <p>In the example, the <code>prov:qualifiedUsage</code> property parallels the <code>prov:used</code> property, and references an instance of <code>prov:Usage</code> that provides attributes of the <code>prov:used</code> relation between the Activity and Entity. The <code>prov:entity</code> property is used to cite the Entity that was used by the Activity. In this case, the time that the Activity used the Entity is provided using the <code>prov:atTime</code> property and a literal <code>xsd:dateTime</code> value.
+ <p>In the example, the <span class="repeated">prov:qualifiedUsage</span> property parallels the <span class="repeated">prov:used</span> property, and references an instance of <span class="repeated">prov:Usage</span> that provides attributes of the <span class="repeated">prov:used</span> relation between the Activity and Entity. The <span class="repeated">prov:entity</span> property is used to cite the Entity that was used by the Activity. In this case, the time that the Activity used the Entity is provided using the <span class="repeated">prov:atTime</span> property and a literal <span class="repeated">xsd:dateTime</span> value.
</p>
- <p>Similarly, the <code>prov:qualifiedAssociation</code> property parallels the <code>prov:wasAssociatedWith</code> property, and references an instance of <code>prov:Association</code> that provides attributes of the <code>prov:wasAssociatedWith</code> relation between the Activity and Agent. The <code>prov:agent</code> property is used to cite the Agent that was involved in the Activity. In this case, the plan that the Agent used is provided using the <code>prov:hadPlan</code> property and an instance of <code>prov:Plan</code>.
+ <p>Similarly, the <span class="repeated">prov:qualifiedAssociation</span> property parallels the <span class="repeated">prov:wasAssociatedWith</span> property, and references an instance of <span class="repeated">prov:Association</span> that provides attributes of the <span class="repeated">prov:wasAssociatedWith</span> relation between the Activity and Agent. The <span class="repeated">prov:agent</span> property is used to cite the Agent that was involved in the Activity. In this case, the plan that the Agent used is provided using the <span class="repeated">prov:hadPlan</span> property and an instance of <span class="repeated">prov:Plan</span>.
</p>
<div style="text-align: center;">
@@ -22,14 +22,14 @@
</p>
<div class="exampleOuter">
<div><b>Qualified Usage</b></div>
- <p>The <code>prov:qualifiedUsage</code> property parallels the <code>prov:used</code> property to provide an additional description to <code>ex:illustrationActivity</code>. The instance of <code>prov:Usage</code> cites the data used (<code>ex:aggregatedByRegions</code>) and the time the activity used it (2011-07-14T03:03:03Z).
+ <p>The <span class="repeated">prov:qualifiedUsage</span> property parallels the <span class="repeated">prov:used</span> property to provide an additional description to <code>ex:illustrationActivity</code>. The instance of <span class="repeated">prov:Usage</span> cites the data used (<code>ex:aggregatedByRegions</code>) and the time the activity used it (2011-07-14T03:03:03Z).
</p>
<pre class="example">{% include "includes/eg16-journalism-qualified-usage.ttl" %}</pre>
</div>
<div class="exampleOuter">
<div><b>Qualified Association</b></div>
- <p>The <code>prov:qualifiedAssociation</code> property parallels the <code>prov:wasAssociatedWith</code> property to provide an additional description to <code>ex:illustrationActivity</code>. The instance of <code>prov:Association</code> cites the agent (<code>ex:derek</code>) that followed the instructions (<code>ex:tutorial_blog</code>).
+ <p>The <span class="repeated">prov:qualifiedAssociation</span> property parallels the <span class="repeated">prov:wasAssociatedWith</span> property to provide an additional description to <code>ex:illustrationActivity</code>. The instance of <span class="repeated">prov:Association</span> cites the agent (<code>ex:derek</code>) that followed the instructions (<code>ex:tutorial_blog</code>).
</p>
<pre class="example">{% include "includes/eg16-journalism-qualified-association.ttl" %}</pre>
</div>
@@ -51,14 +51,14 @@
<div class="exampleOuter">
<div><b>Qualified Generation</b></div>
- <p>The <code>prov:qualifiedGeneration</code> property parallels the <code>prov:wasGeneratedBy</code> property to provide an additional description to <code>ex:chart1</code>. The instance of <code>prov:Generation</code> cites the time (2011-07-14T15:52:14Z) that the activity (<code>ex:illustrationActivity</code>) generated the chart (<code>ex:chart1</code>).
+ <p>The <span class="repeated">prov:qualifiedGeneration</span> property parallels the <span class="repeated">prov:wasGeneratedBy</span> property to provide an additional description to <code>ex:chart1</code>. The instance of <span class="repeated">prov:Generation</span> cites the time (2011-07-14T15:52:14Z) that the activity (<code>ex:illustrationActivity</code>) generated the chart (<code>ex:chart1</code>).
</p>
<pre class="example">{% include "includes/eg16-journalism-qualified-generation.ttl" %}</pre>
</div>
<div class="exampleOuter">
<div><b>Qualified Derivation</b></div>
- <p>The <code>prov:qualifiedDerivation</code> property parallels the <code>prov:wasDerivedFrom</code> property to provide an additional description to <code>ex:chart1</code>. The instance of <code>prov:Derivation</code> cites the activity (<code>ex:illustrationActivity</code>) and the Usages and Generations that the activity conduced to create the chart (<code>ex:chart1</code>).
+ <p>The <span class="repeated">prov:qualifiedDerivation</span> property parallels the <span class="repeated">prov:wasDerivedFrom</span> property to provide an additional description to <code>ex:chart1</code>. The instance of <span class="repeated">prov:Derivation</span> cites the activity (<code>ex:illustrationActivity</code>) and the Usages and Generations that the activity conduced to create the chart (<code>ex:chart1</code>).
</p>
<pre class="example">{% include "includes/eg16-journalism-qualified-derivation.ttl" %}</pre>
</div>