ontology/prov-o-html-sections/description-expanded-terms.inc.html
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 5106 c7f3fe5bee34
permissions -rw-r--r--
minor updates to address dong's comments
     1      <section id="description-expanded-terms">
     2 	  	<h3>Expanded Terms</h3>
     3 
     4       <p>The terms introduced in this section provide additional ways to describe the provenance among Entities, Activities, and Agents.
     5          The additional terms are illustrated in the following figure and can be separated into five different categories.</p>
     6 
     7       <div id="expanded-terms-figure" style="text-align: center;" class="figure">
     8             <img src="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/diagram-history/2012-05-03/expanded.svg"
     9                  style="width: 60%; min-width: 25em; max-width: 60em"
    10                  alt="PROV-O Starting Point terms"/>
    11             <div class="figcaption"><a href="#expanded-terms-figure">Figure 3</a>.
    12             The expanded terms build upon those in the <a href="#description-starting-point-terms">Starting Points section</a>.<br/>
    13             The diagrams in this document depict Entities as yellow ovals, Activities as blue rectangles, and Agents as orange pentagons.<br/>
    14             The domain of <a href="#atLocation">prov:atLocation</a> (<span class="repeated">prov:Activity</span> or <span class="repeated">prov:Entity</span> or <span class="repeated">prov:Agent</span> or <span class="repeated">prov:InstantaneousEvent</span>) is not illustrated.
    15             </div>
    16       </div>
    17 
    18 
    19 	  <p>The <strong>first</strong> category extends the <a href="#description-starting-point-terms">Starting Point terms</a> with subclasses, subproperties, and a superproperty.</p>
    20 
    21      <p>Three subclasses of Agent (<a href="#Person" class="qname">prov:Person</a>, <a href="#Organization" class="qname">prov:Organization</a>, and
    22       <a href="#SoftwareAgent" class="qname">prov:SoftwareAgent</a>) and
    23       three subclasses of Entity are provided (<a href="#Collection" class="qname">prov:Collection</a>, <a href="#Bundle" class="qname">prov:Bundle</a>,
    24       and <a href="#Plan" class="qname">prov:Plan</a>).
    25       </p>
    26 
    27       <p>
    28       A <span class="repeated">prov:Collection</span> is an Entity that provides a structure (e.g. set, list, etc.) to some constituents (which are themselves Entities).
    29       The <span class="repeated">prov:Collection</span> class can be used to express the provenance of the collection itself:
    30       e.g. who maintained the collection, which members it contained as it evolved, and how it was assembled.
    31       The <a href="#hadMember" class="qname">prov:hadMember</a> property is used to assert membership in a collection.
    32       </p>
    33 
    34       <div id="description-bundle">
    35          <p>
    36          A <span class="repeated">prov:Bundle</span> is a named set of provenance descriptions, which may itself have provenance.
    37          The named set of provenance descriptions may be expressed as PROV-O or any other form.
    38          The subclass of Bundle that names a set of PROV-O assertions is not provided by PROV-O, since it is more appropriate to do so using other recommendations,
    39          standards, or technologies. In any case, a Bundle of PROV-O assertions is an abstract set of RDF triples, and adding or removing a triple creates a new distinct
    40          Bundle of PROV-O assertions.
    41          </p>
    42       </div>
    43 
    44       <p>A <span class="repeated">prov:Plan</span> is an entity that represents a set of actions or steps intended by one or more agents to achieve some goals.
    45       </p>
    46 
    47 
    48 	  <p>
    49       More general and more specific properties are also provided by the expanded terms. More generally, the property
    50       <a href="#wasInfluencedBy" class="qname">prov:wasInfluencedBy</a> is a superproperty that relates any influenced Entity, Activity, or Agent to any other
    51       influencing Entity, Activity, or Agent that had an effect on its characteristics.
    52 
    53       Three subproperties of <span class="repeated">prov:wasDerivedFrom</span> are also provided for certain kinds of derivation among Entities:
    54       <a href="#wasQuotedFrom" class="qname">prov:wasQuotedFrom</a> cites a potentially larger Entity (such as a book, blog, or image) from which a new Entity was created
    55       by repeating some or all of the original,
    56       <a href="#wasRevisionOf" class="qname">prov:wasRevisionOf</a> indicates that the derived Entity contains substantial content from the original Entity
    57       (e.g., two editions of a book), and
    58       <a href="#hadPrimarySource" class="qname">prov:hadPrimarySource</a> cites a preceding Entity produced by some agent with direct experience and
    59       knowledge about the topic (such as a reading from a sensor, or a journal written during an historical event).
    60       </p>
    61 	
    62 	  <p>The <strong>second</strong> category of expanded terms relates Entities according to their levels of abstraction, where some Entities may present more specific aspects than their more general counterparts.
    63       While <a href="#specializationOf" class="qname">prov:specializationOf</a> 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), <a href="#alternateOf" class="qname">prov:alternateOf</a> 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 or a backup copy of a computer file).
    64 	  </p>
    65 	
    66       <p>
    67       The <strong>third</strong> category of expanded terms allows further description of Entities. The property <a href="#value" class="qname">prov:value</a>
    68       provides a literal value that is a direct representation of an entity.
    69       For example, the <span class="repeated">prov:value</span> of a quote could be a string of the sentences stated, or the <span class="repeated">prov:value</span> of an Entity involved in a numeric calculation could be the xsd:integer four.
    70 	   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
    71       Entity, Activity, Agent, or <a href="#InstantaneousEvent" class="qname">prov:InstantaneousEvent</a>
    72       (i.e., the starting or ending of an activity or the generation, usage, or invalidation of an entity).
    73       The properties used to describe instances of <span class="repeated">prov:Location</span> are outside the scope of PROV-O;
    74       reuse of other existing vocabulary is encouraged.
    75 		</p>
    76 
    77 
    78       <p>The <strong>fourth</strong> category of expanded terms describes the lifetime of an Entity beyond being <strong>generated</strong> by an Activity and <strong>used</strong> by other Activities. For example, a painting could not have been displayed before it was painted, and it could not be sold after it was destroyed by fire.
    79       Similar 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.
    80 The properties <a href="#generatedAtTime" class="qname">prov:generatedAtTime</a> and <a href="#invalidatedAtTime" class="qname">prov:invalidatedAtTime</a> can be used to bound the starting and ending moments of an Entity's existence. The Activities that led to the generation or invalidation of an Entity can be provided using <span class="repeated">prov:wasGeneratedBy</span> and <a href="#wasInvalidatedBy" class="qname">prov:wasInvalidatedBy</a>, respectively.
    81 <a href="#generated" class="qname">prov:generated</a> and <a href="#invalidated" class="qname">prov:invalidated</a> are the inverses of <span class="repeated">prov:wasGeneratedBy</span> and <span class="repeated">prov:wasInvalidatedBy</span>, respectively, and are defined to facilitate Activity-as-subject as well as Entity-as-subject descriptions.
    82       For more about inverses, see the <a href="#inverse-names">Appendix B</a>.
    83       </p>
    84 
    85       <p>The <strong>fifth</strong> category of expanded terms describes the lifetime of an Activity beyond its start and end times and predecessor Activities.
    86       Activities may also be started or ended by Entities, which are described using the properties <a href="#wasStartedBy" class="qname">prov:wasStartedBy</a>
    87       and <a href="#wasEndedBy" class="qname">prov:wasEndedBy</a>, respectively. Since Entities may start or end Activities, and Agents may be Entities,
    88       then Agents may also start or end Activities.
    89       </p>
    90 
    91         <div id="narrative-example-expanded-1" about="#narrative-example-expanded-1"
    92             typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
    93            <p>The following examples illustrate the expanded terms by elaborating the <a href="#narrative-example-simple-1">crime chart example</a> from the previous section.
    94               After aggregating the dataset and creating the chart, Derek published a post to exhibit his work.
    95            </p>
    96            <p>
    97               <a href="#narrative-example-expanded-1"/>Example 2</a>:
    98            </p>
    99 
   100            <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-pt1.ttl"
   101                 class="example">{% escape %}{% include "includes/prov/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-pt1.ttl" %}{% endescape %}</pre>
   102         </div>
   103 		
   104 		   <p>Agent <code>:derek</code>, acting again on behalf of the <code>:national_newspaper_inc</code> organization,
   105 		   used the <code>:postEditor</code> tool to publish a post about his recent data analysis <code>:aggregatedByRegions</code>.
   106          The blog editing tool tracked Derek's actions as PROV-O assertions and published them as a Bundle (the current file <code>&lt;&gt;</code>).
   107 		   The tool recorded that <code>:derek</code> started and ended the publishing activity (<code>:publicationActivity1123</code>)
   108          that generated the post <code>:post9821v1</code>. The post
   109 		   included a permanent link where the content of the latest version is available
   110 		   (<code>:more-crime-happens-in-cities</code>) in addition to a textual snapshot of the current version (using prov:value).
   111          Derek also included additional domain-specific descriptions of the post, such as its title.
   112 		   </p>
   113 
   114 		   <p>Shortly after publishing the post, Derek noticed a typographical error in his narrative.
   115          Because the fix would be minimal, he did not record the activity that led to the new version.
   116          Instead, he related the new version (<code>:post9821v2</code>) as a revision of the previous (<code>:post9821v1</code>).
   117 		   Since both versions of the blog are forms of the long-standing blog permalink <code>:more-crime-happens-in-cities</code>,
   118          the revisions are alternates of one another and each is a <a href="#specializationOf" class="qname">prov:specializationOf</a> of <code>:more-crime-happens-in-cities</code>.
   119 		   </p>		
   120 
   121          <div id="expanded-example-illustration-1" style="text-align: center;" class="figure">
   122 
   123                <img src="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/diagram-history/2012-07-09-david/expanded-terms-example-bundlePost.svg"
   124                     style="width: 95%; min-width: 25em; max-width: 60em"
   125                     alt="PROV-O Starting Point terms"/>
   126 
   127                <div class="figcaption"><a href="#expanded-example-illustration-1">Figure 4</a>.
   128                   An illustration of the PROV-O assertions in <a href="#narrative-example-expanded-1">Example 2</a>, where Derek<br/>
   129                   published two versions of a blog for the National Newspaper, Inc.<br/>
   130                   The diagrams in this document depict Entities as yellow ovals, Activities as blue rectangles,<br/>
   131                   and Agents as orange pentagons. The responsibility properties are shown in pink.
   132                </div>
   133          </div>
   134 
   135 
   136 
   137 		 <div id="narrative-example-expanded-2" about="#narrative-example-expanded-2" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
   138            <p>Shortly after Derek published his blog post, Monica adapted the text for a wider audience in a new post (<code>:post9822</code>).
   139             This rewrite is an alternate, abbreviated view of the same topic that Derek wrote about and was created from his original text.
   140             Since the provenance produced by the activities of Derek and Monica corresponded to different user views, the system
   141 		      automatically published it in a different <a href="#Bundle" class="qname">prov:Bundle</a>.
   142             The tool also asserted provenance about the bundle that it produced (e.g., the date of creation, its creator, and the fact that it Derek's bundle was used).
   143             Because a bundle is a kind of entity, all provenance assertions that can be made about entities can also be made about bundles.
   144             The use of bundles enables the creation of provenance of provenance.
   145             </p> 		
   146             <p>
   147                <a href="#narrative-example-expanded-2"/>Example 3</a>:
   148             </p>
   149             <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-pt1_a.ttl"
   150                  class="example">{% escape %}{% include "includes/prov/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-pt1_a.ttl" %}{% endescape %}</pre>
   151         </div>
   152 		
   153          <div id="narrative-example-expanded-3" about="#narrative-example-expanded-3" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
   154             <p>After some time, John wrote his own conclusions in his own post (<code>:post19201</code>) quoting the previous two posts. 
   155                Each quote that John makes (<code>:quote_from_monica</code> and <code>:quote_from_derek</code>) is a new entity derived from the 
   156                previous blogs and is annotated with the time that the quote was taken.
   157                The provenance of John's blog notes that his post is the result of the quotes that he took from Derek and Monica.
   158                The blog post is also derived from Derek's <code>:aggregatedByRegions</code> dataset because John inspected it and found a 
   159                concern that he discusses in his blog. All the provenance statements related to John's post are grouped in a new <span class="repeated">prov:Bundle</span>.
   160             </p>
   161             <p>
   162                <a href="#narrative-example-expanded-3"/>Example 4</a>:
   163             </p>
   164             <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-pt2.ttl"
   165                  class="example">{% escape %}{% include "includes/prov/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-pt2.ttl" %}{% endescape %}</pre>
   166          </div>
   167 		
   168 	
   169          <div id="narrative-example-expanded-4" about="#narrative-example-expanded-4" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
   170             <p>Unfortunately, there was a problem in the servers where <code>:post19201</code> was being stored, and all the data related to the post was lost permanently.
   171             Thus, the system invalidated the entity automatically and notified John about the error.
   172             </p> 		
   173 	         <p>
   174                <a href="#narrative-example-expanded-4"/>Example 5</a>:
   175             </p>
   176             <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-pt4.ttl"
   177                  class="example">{% escape %}{% include "includes/prov/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-pt4.ttl" %}{% endescape %}</pre>
   178          </div>
   179 	  </section>