section ref
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 30 May 2012 22:15:50 +0100
changeset 3087 366b41f3d608
parent 3086 e3454744c276 (current diff)
parent 3085 fbe4e33bd854 (diff)
child 3088 cdc8abda480a
section ref
examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-example.ttl
--- a/examples/eg-25-extended-crime-file-example/rdf/extended-crime-file-example.ttl	Wed May 30 22:15:36 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,128 +0,0 @@
-#
-#
-# NOTE: the individual files have been modified after this file was broken up. Edit those instead. -lebot 20 Apr 2012
-#
-#
- 
-@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix foaf: <http://xmlns.com/foaf/0.1/> .
-@prefix ex:   <http://example.org#> .
-@prefix sioc: <http://rdfs.org/sioc/ns#Post> .
-
-ex:accountPost{
-	ex:accountPost 
-		a prov:Account
-	.
-	ex:derek
-	   a prov:Agent;
-	   a foaf:Person;
-	   foaf:givenName "Derek"^^xsd:string;
-	   foaf:mbox      <mailto:dererk@example.org>;
-	   prov:actedOnBehalfOf ex:chartgen 
-	.
-	ex:monica
-	   a prov:Agent;
-	   a foaf:Person;
-	   foaf:givenName "Monica"^^xsd:string;
-	   foaf:mbox      <mailto:monica@example.org>
-	.
-
-	ex:chartgen 
-	   a prov:Agent;
-	   a prov:Organization;
-	   foaf:name "Chart Generators"
-	. 
-
-	ex:aggregatedByRegions
-	   a prov:Entity;
-	   prov:atLocation <file://Users/aggr.txt>
-	.
-
-	ex:post9821 
-	   a prov:Entity, sioc:Post;   
-	   prov:wasGeneratedBy ex:publicationActivity1123;
-	   prov:atLocation ex:more-crime-happens-in-cities;  ##PERMALINK of the post
-	   ex:snapshotContent ex:postContent0;                ##Snapshot with the content of this version
-	   sioc:title "More crime happens in cities"^^xsd:string;
-	   prov:hadOriginalSource ex:aggregatedByRegions;
-	   prov:wasAttributedTo ex:dereck
-	.
-
-	##Version 2 of the post
-	ex:post9821v1
-		a prov:Entity, sioc:Post;
-		prov:atLocation ex:more-crime-happens-in-cities;   ##PERMALINK of the post
-		ex:snapshotContent ex:postContent1;                ##Snapshot with the content of this version
-		prov:wasRevisionOf ex:post9821;
-		prov:specializationOf ex:post9821;
-		prov:wasAttributedTo ex:dereck
-	.
-
-	##Rephrasing of the post in a new version
-	ex:post9821v2
-		a prov:Entity, sioc:Post;
-		prov:atLocation ex:more-crime-happens-in-cities-for-dummies;  ##PERMALINK of the post
-		ex:snapshotContent ex:postContent2;                           ##Snapshot with the content of this version
-		prov:alternateOf ex:post9821v1;
-		prov:specializationOf ex:post9821;
-		prov:tracedTo ex:aggregatedByRegions;                         ##If the file hadn't existed, Monica would have not written the post
-		sioc:title "More crime happens in cities for dummies"^^xsd:string;
-		prov:wasAttributedTo ex:monica
-	.
-
-	ex:publicationActivity1123 
-		a prov:Activity;
-		prov:wasStartedAt      "2011-07-16T01:01:01Z"^^xsd:dateTime;
-		prov:wasEndedAt        "2011-07-16T01:52:02Z"^^xsd:dateTime;
-		prov:wasAssociatedWith ex:derek;
-		prov:used              ex:aggregatedByRegions;   
-		prov:generated         ex:post9821;
-		prov:wasStartedBy 	   ex:dereck;
-		prov:wasEndedBy 	   ex:dereck
-	.
-}
-	
-ex:accountPost2{
-	ex:accountPost2 
-		a prov:Account;
-		prov:hasAnnotation ex:noteMadeByParser
-	.
-	
-	ex:john 
-		a prov:Agent
-	.
-	
-	ex:post19201
-		a prov:Entity, sioc:Post;
-		prov:wasAttributedTo ex:john;
-		prov:atLocation ex:is-there-really-more-crime;
-		ex:snapshotContent ex:postContent3;  
-		prov:wasQuotedFrom ex:post9821v1, ex:post9821v2;
-		prov:hadOriginalSource ex:aggregatedByRegions
-	.
-}
-
-ex:noteMadeByParser{
-	ex:noteMadeByParser 
-		a prov:Note;
-		prov:wasAttributedTo ex:boogleParser
-	.
-	
-	ex:boogleParser 
-		a prov:SoftwareAgent;
-		prov:actedOnBehalfOf ex:boogle
-	.
-	ex:boogle
-		a prov:Organization
-	.
-	
-	ex:accountPost2 
-		ex:parsedDate "2011-08-16T00:00:02Z"^^xsd:dateTime
-	.
-}
-
-	
-	
-	
-	
--- a/ontology/ProvenanceOntology.owl	Wed May 30 22:15:36 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Wed May 30 22:15:50 2012 +0100
@@ -51,22 +51,22 @@
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#definition">
         <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>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+    </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>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-    </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>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;comment">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </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>
     </owl:AnnotationProperty>
@@ -486,7 +486,7 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pairValue">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <rdfs:comment xml:lang="en">The value of a KeyValuePair.</rdfs:comment>
+        <rdfs:comment xml:lang="en">The value of a KeyValuePair. See also prov:pairKey.</rdfs:comment>
         <category>collections</category>
         <inverse>valueOf</inverse>
         <component>collections</component>
@@ -834,8 +834,8 @@
         </owl:propertyChainAxiom>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
         <rdfs:comment>Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
-        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
         <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference</prov-dm-constraints>
         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
@@ -1045,8 +1045,13 @@
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <component>entities-activities</component>
         <category>qualified</category>
+        <rdfs:comment>The time at which an InstantaneousEvent occurred, in the form of xsd:dateTime. This property is predominantly used on Involvements such as Generation, Usage, and Invalidation.</rdfs:comment>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#InstantaneousEvent"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#endedAtTime"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#generatedAtTime"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#invalidatedAtTime"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#startedAtTime"/>
     </owl:DatatypeProperty>
     
 
@@ -1055,7 +1060,7 @@
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#endedAtTime">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <rdfs:comment xml:lang="en">The time when an activity ended.</rdfs:comment>
+        <rdfs:comment xml:lang="en">The time at which an activity ended. See also prov:startedAtTime.</rdfs:comment>
         <component>entities-activities</component>
         <category>starting-point</category>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
@@ -1085,9 +1090,9 @@
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#invalidatedAtTime">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <rdfs:comment xml:lang="en">The time at which the entity began to be invalidated.</rdfs:comment>
         <category>expanded</category>
         <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:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Invalidation"/>
@@ -1100,9 +1105,9 @@
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#pairKey">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-        <rdfs:comment xml:lang="en">The key of a KeyValuePair, which is an element of a prov:Dictionary.</rdfs:comment>
         <category>collections</category>
         <component>collections</component>
+        <rdfs:comment xml:lang="en">The key of a KeyValuePair, which is an element of a prov:Dictionary. See also prov:pairValue.</rdfs:comment>
         <rdfs:range rdf:resource="&rdfs;Literal"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
     </owl:DatatypeProperty>
@@ -1126,8 +1131,8 @@
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#startedAtTime">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <category>starting-point</category>
-        <rdfs:comment xml:lang="en">The time when an activity started.</rdfs:comment>
         <component>entities-activities</component>
+        <rdfs:comment xml:lang="en">The time at which an activity started. See also prov:endedAtTime.</rdfs:comment>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Start"/>
--- a/ontology/khalid-jun-dropbox/eg16-journalism-simple-without-comments.ttl	Wed May 30 22:15:36 2012 +0100
+++ b/ontology/khalid-jun-dropbox/eg16-journalism-simple-without-comments.ttl	Wed May 30 22:15:50 2012 +0100
@@ -23,11 +23,11 @@
 
 ex:aggregationActivity
    a prov:Activity;
-   prov:wasStartedAt      "2011-07-14T01:01:01Z"^^xsd:dateTime;
+   prov:startedAtTime    "2011-07-14T01:01:01Z"^^xsd:dateTime;
    prov:wasAssociatedWith ex:derek;
    prov:used              ex:crimeData;
    prov:used              ex:nationalRegionsList;
-   prov:wasEndedAt        "2011-07-14T02:02:02Z"^^xsd:dateTime;
+   prov:endedAtTime      "2011-07-14T02:02:02Z"^^xsd:dateTime;
 .
 
 ex:crimeData
@@ -47,7 +47,7 @@
    a foaf:Person;
    foaf:givenName "Derek"^^xsd:string;
    foaf:mbox      <mailto:dererk@example.org>;
-   prov:actedOnBehalfOf ex:chartgen 
+   prov:actedOnBehalfOf ex:chartgen;
 .
 
 ex:chartgen 
--- a/ontology/prov.ttl	Wed May 30 22:15:36 2012 +0100
+++ b/ontology/prov.ttl	Wed May 30 22:15:50 2012 +0100
@@ -532,10 +532,12 @@
 
 :atTime
     a owl:DatatypeProperty, owl:FunctionalProperty ;
+    rdfs:comment "The time at which an InstantaneousEvent occurred, in the form of xsd:dateTime. This property is predominantly used on Involvements such as Generation, Usage, and Invalidation." ;
     rdfs:domain :InstantaneousEvent ;
     rdfs:range xsd:dateTime ;
     :category "qualified" ;
-    :component "entities-activities" .
+    :component "entities-activities" ;
+    :unqualifiedForm :endedAtTime, :generatedAtTime, :invalidatedAtTime, :startedAtTime .
 
 :category
     a owl:AnnotationProperty ;
@@ -594,7 +596,7 @@
 
 :endedAtTime
     a owl:DatatypeProperty, owl:FunctionalProperty ;
-    rdfs:comment "The time when an activity ended."@en ;
+    rdfs:comment "The time at which an activity ended. See also prov:startedAtTime."@en ;
     rdfs:domain :Activity ;
     rdfs:range xsd:dateTime ;
     :category "starting-point" ;
@@ -717,7 +719,7 @@
 
 :invalidatedAtTime
     a owl:DatatypeProperty, owl:FunctionalProperty ;
-    rdfs:comment "The time at which the entity began to be invalidated."@en ;
+    rdfs:comment "The time at which an entity began to be invalidated (i.e., no longer usable)."@en ;
     rdfs:domain :Entity ;
     rdfs:range xsd:dateTime ;
     :category "expanded" ;
@@ -765,7 +767,7 @@
 
 :pairKey
     a owl:DatatypeProperty, owl:FunctionalProperty ;
-    rdfs:comment "The key of a KeyValuePair, which is an element of a prov:Dictionary."@en ;
+    rdfs:comment "The key of a KeyValuePair, which is an element of a prov:Dictionary. See also prov:pairValue."@en ;
     rdfs:domain :KeyValuePair ;
     rdfs:range rdfs:Literal ;
     :category "collections" ;
@@ -773,7 +775,7 @@
 
 :pairValue
     a owl:FunctionalProperty, owl:ObjectProperty ;
-    rdfs:comment "The value of a KeyValuePair."@en ;
+    rdfs:comment "The value of a KeyValuePair. See also prov:pairKey."@en ;
     rdfs:domain :KeyValuePair ;
     rdfs:range :Entity ;
     :category "collections" ;
@@ -998,7 +1000,7 @@
 
 :startedAtTime
     a owl:DatatypeProperty, owl:FunctionalProperty ;
-    rdfs:comment "The time when an activity started."@en ;
+    rdfs:comment "The time at which an activity started. See also prov:endedAtTime."@en ;
     rdfs:domain :Activity ;
     rdfs:range xsd:dateTime ;
     :category "starting-point" ;