--- a/ontology/prov-o-html-sections/description-expanded-terms.inc.html Sat Jun 30 22:15:02 2012 -0400
+++ b/ontology/prov-o-html-sections/description-expanded-terms.inc.html Sat Jun 30 22:26:13 2012 -0400
@@ -9,29 +9,32 @@
<img src="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/diagram-history/2012-05-03/expanded.svg"
style="width: 50%; min-width: 25em; max-width: 60em"
alt="PROV-O Starting Point terms"/>
- <div class="figcaption"><a href="#expanded-terms-figure">Figure 2</a>. The expanded terms build upon those in the Starting Points section. We can separate them in five different categories:</div>
+ <div class="figcaption"><a href="#expanded-terms-figure">Figure 2</a>. The expanded terms build upon those in the Starting Points section.</div>
</div>
- <p> The first category extends the Starting Point terms with subclasses and subproperties. Three common subclasses of Agent are provided: <a href="#Person" class="qname">prov:Person</a>, <a href="#Organization" class="qname">prov:Organization</a>, and <a href="#SoftwareAgent" class="qname">prov:SoftwareAgent</a>. These classes are not disjoint and may overlap. Further, Agents may be Entities, in cases where one wishes to describe the provenance of Agents.
+
+ <p>The expanded terms can be separated into five different categories.</p>
+
+ <p>The <strong>first</strong> category extends the Starting Point terms with subclasses and subproperties. Three common subclasses of Agent are provided: <a href="#Person" class="qname">prov:Person</a>, <a href="#Organization" class="qname">prov:Organization</a>, and <a href="#SoftwareAgent" class="qname">prov:SoftwareAgent</a>. These classes are not disjoint and may overlap. For example, Agents may also be Entities in cases where one wishes to describe the provenance of Agents.
</p>
<p>
On the properties, three subproperties of <span class="repeated">prov:wasDerivedFrom</span> are provided: <a href="#wasQuotedFrom" class="qname">prov:wasQuotedFrom</a>, <a href="#wasRevisionOf" class="qname">prov:wasRevisionOf</a>, and <a href="#hadPrimarySource" class="qname">prov:hadPrimarySource</a>. <span class="repeated">prov:wasQuotedFrom</span> cites a potentially larger Entity (such as a Book, or Blog) from which a quote was taken, <span class="repeated">prov:wasRevisionOf</span> cites an older version of a revised Entity, and <span class="repeated">prov:hadPrimarySource</span> cites the Entity that is closest to the person, information, period, or idea being studied (such as a news article that "broke the story"). The property <a href="#tracedTo" class="qname">prov:tracedTo</a> is a superproperty of all four of these properties, and is transitive.
</p>
- <p> The second category refers to the provenance of dinamyc resources. <a href="#specializationOf" class="qname">prov:specializationOf</a> and <a href="#alternateOf" class="qname">prov:alternateOf</a> relate Entities that exist at different levels of specificity. While <span class="repeated">prov:specializationOf</span> links a more specific Entity to a more general one (e.g., today's BBC news home page versus BBC's news home page on any day), <span class="repeated">prov:alternateOf</span> links Entities that present aspects of the same thing, but not necessarily the same aspects or at the same time (e.g., the serialization of a document in different formats).
+ <p>The <strong>second</strong> category refers to the provenance of dinamyc resources. <a href="#specializationOf" class="qname">prov:specializationOf</a> and <a href="#alternateOf" class="qname">prov:alternateOf</a> relate Entities that exist at different levels of specificity. While <span class="repeated">prov:specializationOf</span> links a more specific Entity to a more general one (e.g., today's BBC news home page versus BBC's news home page on any day), <span class="repeated">prov:alternateOf</span> links Entities that present aspects of the same thing, but not necessarily the same aspects or at the same time (e.g., the serialization of a document in different formats).
</p>
- <p>The third category groups the provenance of provenance: a <a href="#Bundle" class="qname">prov:Bundle</a> is a named set of provenance descriptions, and is itself an entity, so allowing provenance of provenance to be expressed. Note that a named set of provenance descriptions can take any form, including scribbles on a drink napkin. A named set of PROV-O assertions is a special type of bundle that is not named by PROV or PROV-O.
+ <p>The <strong>third</strong> category groups the provenance of provenance: a <a href="#Bundle" class="qname">prov:Bundle</a> is a named set of provenance descriptions, and is itself an entity, so allowing provenance of provenance to be expressed. Note that a named set of provenance descriptions can take any form, including scribbles on a drink napkin. A named set of PROV-O assertions is a special type of bundle that is not named by PROV or PROV-O.
</p>
<p>
- Similarly to how Activities have start and end times, an Entity may be bound by points in time for which it was generated or is no longer usable. The fourth category consists on the properties <a href="#generatedAtTime" class="qname">prov:generatedAtTime</a>, <a href="#generated" class="qname">prov:generated</a> and <a href="#invalidatedAtTime" class="qname">prov:invalidatedAtTime</a> for this purpose. For example, a painting could not have been displayed before it was painted, and it cannot be sold after it is destroyed by fire.
+ Similarly to how Activities have start and end times, an Entity may be bound by points in time for which it was generated or is no longer usable. The <strong>fourth</strong> category consists on the properties <a href="#generatedAtTime" class="qname">prov:generatedAtTime</a>, <a href="#generated" class="qname">prov:generated</a> and <a href="#invalidatedAtTime" class="qname">prov:invalidatedAtTime</a> for this purpose. For example, a painting could not have been displayed before it was painted, and it cannot be sold after it is destroyed by fire.
The property <a href="#wasInvalidatedBy" class="qname">prov:wasInvalidatedBy</a> may be used to cite the Activity that invalidated any further uses of an Entity, so it is included in this category as well.
<span class="repeated">prov:generated</span> is the inverse of <span class="repeated">prov:wasGeneratedBy</span> and is defined so that Activities being described can reference their generated outputs directly without needing to 'stop' and start describing the Entity.
This helps 'Activity-centric' modeling as opposed to 'Entity-centric' modeling.
</p>
<p>
- The fifth category contains miscellaneous properties that extend but don't specialize any starting points:<a href="#value" class="qname">prov:value</a>, <a href="#wasStartedBy" class=" qname">prov:wasStartedBy</a>, <a href="#wasEndedBy" class="qname">prov:wasEndedBy</a>, <a href="#atLocation" class="qname">prov:atLocation</a> and <a href="#Location" class="qname">prov:Location</a>. Entities may use the property <a href="#value" class="repeated">prov:value</a> to hold a literal value. For example, the <span class="repeated">prov:value</span> of a quote could be the quote itself, or the <span class="repeated">prov:value</span> of an Entity involved in a numeric calculation could be the xsd:integer four.
+ The <strong>fifth</strong> category contains miscellaneous properties that extend but don't specialize any starting points:<a href="#value" class="qname">prov:value</a>, <a href="#wasStartedBy" class=" qname">prov:wasStartedBy</a>, <a href="#wasEndedBy" class="qname">prov:wasEndedBy</a>, <a href="#atLocation" class="qname">prov:atLocation</a> and <a href="#Location" class="qname">prov:Location</a>. Entities may use the property <a href="#value" class="repeated">prov:value</a> to hold a literal value. For example, the <span class="repeated">prov:value</span> of a quote could be the quote itself, or the <span class="repeated">prov:value</span> of an Entity involved in a numeric calculation could be the xsd:integer four.
</p>
<p>Activities may be started or ended by Entities, which is described using the properties <a href="#wasStartedBy" class="repeated">prov:wasStartedBy</a> and <a href="#wasEndedBy" class="qname">prov:wasEndedBy</a>, respectively. Since Entities may start or end Activities, and Agents may be Entities, then Agents may also start or end Activities.