prov-n issue 438
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 10 Jul 2012 23:48:46 +0100
changeset 3931 3bb1e74cf5de
parent 3930 26bfe15a291e (current diff)
parent 3929 b4a8e12f9f8d (diff)
child 3932 720bc1d1a3bf
prov-n issue 438
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPrimarySource.ttl	Tue Jul 10 23:48:33 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadPrimarySource.ttl	Tue Jul 10 23:48:46 2012 +0100
@@ -8,7 +8,7 @@
 @prefix frbr:    <http://purl.org/vocab/frbr/core#> .
 @prefix :        <http://example.com/> .
 
-## Having an original source is a particular case of derivation.
+## Having an primary source is a particular case of derivation.
 
 <http://www.gutenberg.org/ebooks/996>
    a prov:Entity, frbr:Work;
--- a/ontology/ProvenanceOntology.owl	Tue Jul 10 23:48:33 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Tue Jul 10 23:48:46 2012 +0100
@@ -53,14 +53,14 @@
         <rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorialNote">
         <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#inverse">
         <rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
@@ -75,19 +75,19 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
-        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#dm">
         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
+        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;isDefinedBy"/>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorsDefinition">
         <rdfs:comment xml:lang="en">When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.</rdfs:comment>
@@ -380,7 +380,6 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadPrimarySource">
         <rdfs:label>hadPrimarySource</rdfs:label>
-        <rdfs:comment xml:lang="en">An original source refers to the source material that is closest to the person, information, period, or idea being studied. An original source relation is a particular case of derivation that aims to give credit to the source that originated some information.</rdfs:comment>
         <component>derivations</component>
         <category>expanded</category>
         <inverse>wasPrimarySourceOf</inverse>
@@ -936,6 +935,15 @@
         <component>agents-responsibility</component>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
+        <rdfs:domain>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:domain>
         <rdfs:range>
             <owl:Class>
                 <owl:unionOf rdf:parseType="Collection">
@@ -945,20 +953,11 @@
                 </owl:unionOf>
             </owl:Class>
         </rdfs:range>
-        <rdfs:domain>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:domain>
     </owl:ObjectProperty>
     <owl:Axiom>
         <dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence</dm>
-        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
-        <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
+        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
+        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
             <owl:Class>
@@ -972,8 +971,8 @@
     </owl:Axiom>
     <owl:Axiom>
         <dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence</dm>
-        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
-        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
+        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
+        <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
             <owl:Class>
@@ -1164,7 +1163,7 @@
         <category>expanded</category>
         <component>entities-activities</component>
         <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedGeneration o prov:atTime) rdfs:subPropertyOf prov:generatedAtTime.</editorialNote>
-        <rdfs:comment xml:lang="en">The time at which an entity was completely created.</rdfs:comment>
+        <rdfs:comment xml:lang="en">The time at which an entity was completely created and is available for use.</rdfs:comment>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -1180,8 +1179,8 @@
         <rdfs:label>invalidatedAtTime</rdfs:label>
         <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedInvalidation o prov:atTime) rdfs:subPropertyOf prov:invalidatedAtTime.</editorialNote>
         <category>expanded</category>
+        <rdfs:comment xml:lang="en">The time at which an entity was invalidated (i.e., no longer usable).</rdfs:comment>
         <component>entities-activities</component>
-        <rdfs:comment xml:lang="en">The time at which an entity began to be invalidated (i.e., no longer usable).</rdfs:comment>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -1211,14 +1210,13 @@
     <!-- http://www.w3.org/ns/prov#value -->
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#value">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:label>value</rdfs:label>
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-attribute-value</dm>
+        <category>expanded</category>
         <editorialNote>The editor&#39;s definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue</editorialNote>
-        <editorsDefinition xml:lang="en">The main value (if there is one) of a structured value.</editorsDefinition>
-        <category>expanded</category>
         <component>entities-activities</component>
         <rdfs:comment xml:lang="en">Provides a value for an Entity.</rdfs:comment>
+        <editorsDefinition xml:lang="en">The main value (if there is one) of a structured value.</editorsDefinition>
         <editorialNote xml:lang="en">This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, &#39;may be used in describing structured values&#39;).</editorialNote>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
--- a/ontology/prov-o-html-sections/description-expanded-terms.inc.html	Tue Jul 10 23:48:33 2012 +0100
+++ b/ontology/prov-o-html-sections/description-expanded-terms.inc.html	Tue Jul 10 23:48:46 2012 +0100
@@ -99,7 +99,7 @@
 		   </p>
 		   <p>
 		   However, shortly after having published the post, Derek detects a typo. He does not want to record the activity that led to the new version, so he just creates a new version and 
-		   summarizes the changes in a revision of the original post(<code>ex:post9821v2</code>). This revision is also a specialization of the original post, since it is a refined version. 
+		   summarizes the changes in a revision of the original post (<code>ex:post9821v2</code>). This revision is also a specialization of the original post, since it is a refined version. 
          Thus, the permalink to the latest version (<code>ex:more-crime-happens-in-cities</code>) remains the same in the new revision, but a different URL is given for its snapshot (<code>ex:postContent1</code>).
 		   </p>		   
 		   
--- a/ontology/prov-o-html-sections/description-starting-points.inc.html	Tue Jul 10 23:48:33 2012 +0100
+++ b/ontology/prov-o-html-sections/description-starting-points.inc.html	Tue Jul 10 23:48:46 2012 +0100
@@ -22,13 +22,14 @@
       </p>
 
       <p>In addiition, we can say that an Activity <a href='#wasInformedBy' class="qname">prov:wasInformedBy</a>
-      another Activity to provide some ordering information without explicitly mentioning the activities' start and end times. 
+      another Activity to provide some dependency information without explicitly providing the activities' start and end times. 
       A <span class="repeated">prov:wasInformedBy</span> relation between Activities suggests that the informed Activity used an Entity that was generated by the informing 
-      Activity, but the Entity itself is not interesting. So, the <span class="repeated">prov:wasInformedBy</span> property allows the assertion of provenance chains comprising only Activities.
+      Activity, but the Entity itself is not interesting or is unknown. 
+      So, the <span class="repeated">prov:wasInformedBy</span> property allows the assertion of provenance chains comprising only Activities.
       </p>
 
       <p>Provenance chains comprising only Entities can be formed using the <a href='#wasDerivedFrom' class="qname">prov:wasDerivedFrom</a> property.
-         A derivation is a transformation of one entity into another. For example, if the Activity that created the bar chart is not interesting,
+         A derivation is a transformation of one entity into another. For example, if the Activity that created the bar chart is not interesting or is unknown,
           then we can say that the bar chart <span class="repeated">prov:wasDerivedFrom</span> the dataset.
          Arbitrary RDF properties can be used to describe the fixed aspects of an Entity that are interesting to a particular application (for example, 
          the file size and format of the dataset, or the aspect ratio of the bar chart).
--- a/ontology/prov.ttl	Tue Jul 10 23:48:33 2012 +0100
+++ b/ontology/prov.ttl	Tue Jul 10 23:48:46 2012 +0100
@@ -586,7 +586,7 @@
 
 :generatedAtTime
     a owl:DatatypeProperty ;
-    rdfs:comment "The time at which an entity was completely created."@en ;
+    rdfs:comment "The time at which an entity was completely created and is available for use."@en ;
     rdfs:domain :Entity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "generatedAtTime" ;
@@ -652,7 +652,6 @@
 
 :hadPrimarySource
     a owl:ObjectProperty ;
-    rdfs:comment "An original source refers to the source material that is closest to the person, information, period, or idea being studied. An original source relation is a particular case of derivation that aims to give credit to the source that originated some information."@en ;
     rdfs:domain :Entity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "hadPrimarySource" ;
@@ -737,7 +736,7 @@
 
 :invalidatedAtTime
     a owl:DatatypeProperty ;
-    rdfs:comment "The time at which an entity began to be invalidated (i.e., no longer usable)."@en ;
+    rdfs:comment "The time at which an entity was invalidated (i.e., no longer usable)."@en ;
     rdfs:domain :Entity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "invalidatedAtTime" ;
@@ -1038,7 +1037,7 @@
     :qualifiedForm :Usage, :qualifiedUsage .
 
 :value
-    a owl:DatatypeProperty, owl:FunctionalProperty ;
+    a owl:DatatypeProperty ;
     rdfs:comment "Provides a value for an Entity."@en ;
     rdfs:domain :Entity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
@@ -1271,6 +1270,20 @@
 
 []
     a owl:Axiom ;
+    owl:annotatedProperty rdfs:range ;
+    owl:annotatedSource :wasInfluencedBy ;
+    owl:annotatedTarget [
+        a owl:Class ;
+        owl:unionOf (:Activity
+            :Agent
+            :Entity
+        )
+    ] ;
+    :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
+    :dm "http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence" .
+
+[]
+    a owl:Axiom ;
     owl:annotatedProperty rdfs:domain ;
     owl:annotatedSource :wasInfluencedBy ;
     owl:annotatedTarget [
@@ -1285,20 +1298,6 @@
 
 []
     a owl:Axiom ;
-    owl:annotatedProperty rdfs:range ;
-    owl:annotatedSource :wasInfluencedBy ;
-    owl:annotatedTarget [
-        a owl:Class ;
-        owl:unionOf (:Activity
-            :Agent
-            :Entity
-        )
-    ] ;
-    :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
-    :dm "http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence" .
-
-[]
-    a owl:Axiom ;
     rdfs:comment "Quotation is a particular case of derivation (see http://www.w3.org/TR/prov-dm/#term-quotation) in which an entity is derived from an original entity by copying, or \"quoting\", some or all of it. " ;
     owl:annotatedProperty rdfs:subPropertyOf ;
     owl:annotatedSource :wasQuotedFrom ;