provo edits section 3.1 and 3.2
authorTim L <lebot@rpi.edu>
Tue, 29 May 2012 19:58:27 -0400
changeset 3071 b107f73c23f4
parent 3070 5d9b2b20a212
child 3072 76b7f334bb52
child 3082 63ef0cfd6397
provo edits section 3.1 and 3.2
ontology/prov-o-html-sections/description-expanded-terms.inc.html
ontology/prov-o-html-sections/description-qualified-terms.inc.html
ontology/prov-o-html-sections/description-starting-points.inc.html
--- a/ontology/prov-o-html-sections/description-expanded-terms.inc.html	Tue May 29 19:51:11 2012 -0400
+++ b/ontology/prov-o-html-sections/description-expanded-terms.inc.html	Tue May 29 19:58:27 2012 -0400
@@ -1,34 +1,44 @@
      <section id="description-expanded-terms">
 	  	<h3>Expanded Terms</h3>
-        <!-- *****Initial comments*****
-This section presents the rest of classes and properties textually 
-without using a diagram. We may use some examples in English. 
-The classes and properties covered in this section are: 
-Note, hasAnnotation, tracedTo, wasRevisionOf, hadOriginalSource, 
-wasQuotatedFrom, hadQuotatedAgent, hadQuoterAgent, wasSummaryOf, 
-alternateOf, terms related to Collection? Bundle? Role?? , hadRole, 
-Location??, hadLocation?, wasStartedByActivity?? specializationOf?
-*****End comments*********
-       -->
 
-        <p>This section defines additional terms for describing provenance at a greater level of specificity in Agents (i.e., <a href="#Person" class="qname">prov:Person</a> or
-		<a href="#SoftwareAgent" class="qname">prov:SoftwareAgent</a> and <a href="#Organization" class="qname">prov:Organization</a>) and entities 
-		(<a href="#specializationOf" class="qname">prov:specializationOf</a> and <a href="#alternateOf" class="qname">prov:AlternateOf</a>). 
+        <p>The terms introduced in this section provide additional ways to describe the provenance among Entities, Activities, and Agents. The terms are illustrated in the following figure.</p>
+
+      <div id="expanded-terms-figure" style="text-align: center;" class="figure">
+            <!-- When publishing to w3c: replace prov-o-diagrams/ with diagrams/ -->
+            <!--img src="prov-o-diagrams/Starting-points-terms.png"-->
+            <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.</div>
+      </div>
+
+      <p>Three popular 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>
+ 
+      <p>
+      Similarly to how Activities have start and end times, Entities may be bound by points in time for which it was generated or is no longer usable (described by properties <a href="#generatedAtTime" class="qname">prov:generatedAtTime</a> and <a href="#invalidatedAtTime" class="qname">prov:invalidatedAtTime</a>, respectively). 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.
+      </p>
+
+      <p>
+      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="#hadOriginalSource" class="qname">prov:hadOriginalSource</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:hadOriginalSource</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> <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.
 		</p>
+
+      <p>
+      Entities may use the property <a href="#value" class="qname">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=" qname">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.
+      </p>
+
 		<p>
-		Additionally, some of these terms provide the means to assert extended details about the concepts introduced in section 3.1
-		(<a href="#wasStartedBy" class="qname">prov:wasStartedBy</a> and (<a href="#wasEndedBy" class="qname">prov:wasEndedBy</a> in activities 
-		 and <a href="#Location" class="qname">prov:Location</a> in entities).
-		 
+		 The property <a href="#atLocation" class="qname">prov:atLocation</a> can be used to describe the <a href="#Location" class="qname">prov:Location</a> of any resource. Use of <span class="repeated">prov:atLocation</span> makes sense for most PROV-O classes. The properties used to describe instances of <span class="repeated">prov:Location</span> are outside the scope of PROV-O; reuse of other existing vocabulary is encouraged.
 		</p>
-		<p>
-		The new terms in this section also facilitate the modeling of common provenance assertions related to web resources. 
-		For example, different versions of a web page can be represented using the <a href="#wasRevisionOf" class="qname">prov:wasRevisionOf</a> 
-		property, the <a href="#hadOriginalSource" class="qname">prov:hadOriginalSource</a> property can be used to reference the original source
-		of information used in a web resource and users can quote existent entities using the <a href="#wasQuotedFrom" class="qname">prov:wasQuotedFrom</a> property. 
-		For expressing the dependency between two different entities, users can assert the <a href="#tracedTo" class="qname">prov:tracedTo</a> property.
-		
-        </p>
+
+		<p>Finally, 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>
 
         <div about="#narrative-example-expanded-1" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
            <p>We illustrate below the use of the expanded terms using the crime file example from the previous section as reference. Agent Derek now publishes a post about
--- a/ontology/prov-o-html-sections/description-qualified-terms.inc.html	Tue May 29 19:51:11 2012 -0400
+++ b/ontology/prov-o-html-sections/description-qualified-terms.inc.html	Tue May 29 19:58:27 2012 -0400
@@ -52,13 +52,13 @@
       <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;" class="figure">
+       <div id="qualified-terms-figure" style="text-align: center;" class="figure">
             <!-- When publishing to w3c: replace prov-o-diagrams/ with diagrams/ -->
             <!--img src="prov-o-diagrams/Qualified-Association.png"-->
             <img src="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/diagram-history/2012-05-03/qualified-patterns.svg"
                  style="width: 100%; min-width: 25em; max-width: 60em" 
                  alt="Express association between an activity and an agent using a binary relationship and an alternatie qualified relationship"/>
-            <div class="figcaption">Figure 2. </div>
+            <div class="figcaption"><a href="#qualified-terms-figure">Figure 3</a>. </div>
        </div>
 
       <p>The following two examples show the result of applying the Usage and Association patterns to the chart making example from <a href=#description-starting-point-terms>Section 3.1</a>.
--- a/ontology/prov-o-html-sections/description-starting-points.inc.html	Tue May 29 19:51:11 2012 -0400
+++ b/ontology/prov-o-html-sections/description-starting-points.inc.html	Tue May 29 19:58:27 2012 -0400
@@ -23,13 +23,13 @@
 
       <p>An Agent can be responsible for an Activity or an Entity (described using the properties <a href='#wasAssociatedWith' class="qname">prov:wasAssociatedWith</a> and <a href='#wasAttributedTo' class="qname">prov:wasAttributedTo</a>, respectively). Agents can also be responsible for other Agents' actions. In this case, the Agent involved with an Activity or Entity <a href='#actedOnBehalfOf' class="qname">prov:actedOnBehalfOf</a> another Agent that may have been less involved, but still bears some responnsibility for the Activity or Entity.
 
-      <div style="text-align: center;" class="figure">
+      <div id="starting-points-figure" style="text-align: center;" class="figure">
             <!-- When publishing to w3c: replace prov-o-diagrams/ with diagrams/ -->
             <!--img src="prov-o-diagrams/Starting-points-terms.png"-->
             <img src="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/diagram-history/2012-05-03/starting-points.svg"
                  style="width: 50%; min-width: 25em; max-width: 60em" 
                  alt="PROV-O Starting Point terms"/>
-            <div class="figcaption">Figure 1. The three Starting Point classes and the properties that relate them.</div>
+            <div class="figcaption"><a href="#starting-points-figure">Figure 1</a>. The three Starting Point classes and the properties that relate them.</div>
       </div>
 
         <div about="#narrative-example-simple-1" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">