--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EmptyCollection.ttl Sun Jun 17 23:16:37 2012 -0700
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EmptyCollection.ttl Sun Jun 17 23:19:40 2012 -0700
@@ -1,7 +1,26 @@
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix : <http://example.com/> .
+@prefix : <http://example.org/> .
-# TODO
+:e1 a prov:Entity .
+:e2 a prov:Entity .
+
+:c a prov:Dictionary, prov:EmptyCollection .
+
+:c1
+ a prov:Dictionary;
+ prov:derivedByInsertionFrom :c;
+ prov:qualifiedInsertion [
+ a prov:Insertion;
+ prov:dictionary :c;
+ prov:inserted [
+ a prov:KeyValuePair;
+ prov:pairKey "k1"^^xsd:string;
+ prov:pairValue :e1;
+ ], [
+ a prov:KeyValuePair;
+ prov:pairKey "k2"^^xsd:string;
+ prov:pairValue :e2;
+ ];
+ ];
+.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EmptyDictionary.ttl Sun Jun 17 23:16:37 2012 -0700
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix : <http://example.org/> .
-
-:e1 a prov:Entity .
-:e2 a prov:Entity .
-
-:c a prov:EmptyDictionary .
-
-:c1 a prov:Dictionary;
- prov:derivedByInsertionFrom :c;
- prov:qualifiedInsertion [
- a prov:Insertion;
- prov:dictionary :c;
- prov:inserted [
- a prov:KeyValuePair;
- prov:pairKey "k1"^^xsd:string;
- prov:pairValue :e1;
- ], [
- a prov:KeyValuePair;
- prov:pairKey "k2"^^xsd:string;
- prov:pairValue :e2;
- ];
- ];
-.
\ No newline at end of file