rdfg:Account -> prov:Account, rdfg:Graph
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Thu, 02 Feb 2012 13:50:22 +0000
changeset 1447 2c40e0d109c3
parent 1446 d32f4392dcbb
child 1448 ec33e38ae407
child 1474 251a8d73d2f0
rdfg:Account -> prov:Account, rdfg:Graph
ontology/examples/metaprovenance.trig
--- a/ontology/examples/metaprovenance.trig	Thu Feb 02 13:48:23 2012 +0000
+++ b/ontology/examples/metaprovenance.trig	Thu Feb 02 13:50:22 2012 +0000
@@ -3,7 +3,7 @@
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns> .
 @prefix rdfg: <http://www.w3.org/2004/03/trix/rdfg-1> .
 @prefix prov: <http://www.w3.org/ns/prov-o/> .
-@prefix prova: <http://www.example.com/TODO/PROV-PAQ> .
+@prefix provaq: <http://www.example.com/TODO/PROV-PAQ> .
 
 
 # Provenance of provenance
@@ -14,7 +14,7 @@
     :agent a prov:Agent;
         prov:wasAssociatedWith :activity1 .
     <http://www.example.com/provenance-account> a prov:Account;
-        prova:hasProvenance <http://www.example.com/metaprovenance-account> .
+        provaq:hasProvenance <http://www.example.com/metaprovenance-account> .
 }
 
 <http://www.example.com/metaprovenance-account> {
@@ -22,7 +22,8 @@
     :agentObservation a prov:Activity .
     :provenanceGeneration a prov:Activity .
 
-   <http://www.example.cJom/provenance-account> a prov:Entity, rdfg:Account, rdf:Bag ;
+   <http://www.example.cJom/provenance-account> a prov:Entity,
+   rdfg:Graph, provaq:Provenance, prov:Account, rdf:Bag ;
         prov:wasGeneratedBy :provenanceGeneration ;
         # TODO: How to assert that :assertion1 and 2 
         # is part of the graph? prov:collection* ?