provo eg updates
authorTim L <lebot@rpi.edu>
Mon, 18 Jun 2012 16:25:39 -0700
changeset 3408 cc240ff97d28
parent 3407 25186309d270
child 3410 786b1f9e9f68
provo eg updates
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_inContext.ttl
examples/eg-34-us-supreme-court-membership/rdf/eg-34-us-supreme-court-membership.ttl
ontology/diagram-history/2012-05-03/qualified-patterns.graffle
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl	Mon Jun 18 14:41:31 2012 -0700
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl	Mon Jun 18 16:25:39 2012 -0700
@@ -6,12 +6,11 @@
 
 :todays-us-supreme-court
    a prov:Collection, :RobertsCourt;
+
    prov:qualifiedGeneration [
       a prov:Generation;
-      dcterms:date "2012"^^xsd:gYear; # Since we need to be imprecise, we can't use prov:generatedAtTime or prov:atTime
-   ];
-
-   prov:wasDerivedFrom :the-first-us-supreme-court;
+      dcterms:date "2012"^^xsd:gYear; # The generation is being qualified to be imprecise;
+   ];                                 # prov:generatedAtTime and prov:atTime specify exact instants in time.
 
    prov:hadMember
       <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>,
@@ -24,6 +23,8 @@
       <http://dbpedia.org/resource/Sonia_Sotomayor>,  
       <http://dbpedia.org/resource/Elena_Kagan>;   
 
+   prov:wasDerivedFrom :the-first-us-supreme-court;
+
    dcterms:description :copied-string;
 .
 
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_inContext.ttl	Mon Jun 18 14:41:31 2012 -0700
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_inContext.ttl	Mon Jun 18 16:25:39 2012 -0700
@@ -22,4 +22,6 @@
    .
 }
 
+tool:bob-2011-11-17 prov:specializationOf :bob . # This is inferred from a contextualization.
+
 <> prov:wasDerivedFrom <http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-dm-20120614/prov-dm.html#anexample-contextualization1> .
--- a/examples/eg-34-us-supreme-court-membership/rdf/eg-34-us-supreme-court-membership.ttl	Mon Jun 18 14:41:31 2012 -0700
+++ b/examples/eg-34-us-supreme-court-membership/rdf/eg-34-us-supreme-court-membership.ttl	Mon Jun 18 16:25:39 2012 -0700
@@ -34,19 +34,25 @@
 
 :todays-us-supreme-court-as-dictionary
    a prov:Dictionary, :RobertsCourt;
-   dcterms:description [
-      a prov:Entity;
-      prov:value "2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg S. Breyer S. Alito S. Sotomayor E. Kagan";
-      prov:wasQuotedFrom :page-by-composition;
-   ];
+
    prov:qualifiedGeneration [
       a prov:Generation;
-      dcterms:date "2012"^^xsd:gYear; # Since we need to be imprecise, we can't use prov:generatedAtTime or prov:atTime
+      dcterms:date "2012"^^xsd:gYear;                                         # Since we need to be imprecise, we can't use prov:generatedAtTime or prov:atTime
    ];
 
-   prov:wasDerivedFrom :the-first-us-supreme-court;
+   prov:wasDerivedFrom         :court-in-2010-with-stevens-seat-3-empty; # Inferred from prov:derivedByInserationFrom
+   prov:derivedByInsertionFrom :court-in-2010-with-stevens-seat-3-empty;
+   prov:qualifiedInsertion [
+      a prov:Inseration;
+      prov:dictionary :court-in-2010-with-stevens-seat-3-empty;
+      prov:inserted [ 
+         a prov:KeyValuePair;
+         prov:pairKey   "seat 3"^^xsd:string;
+         prov:pairValue <http://dbpedia.org/resource/Elena_Kagan>; 
+      ];
+   ];
 
-   prov:hadMember [                   # Using a prov:Dictionary is a second step of complexity beyond prov:Collection.
+   prov:hadMember [                                                           # Using a prov:Dictionary is a second step of complexity beyond prov:Collection.
       a prov:KeyValuePair;
       prov:pairKey   "chief";
       prov:pairValue <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>;
@@ -84,6 +90,14 @@
       prov:pairValue <http://dbpedia.org/resource/Elena_Kagan>;
    ];
 
+   dcterms:description [
+      a prov:Entity;
+      prov:value "2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg S. Breyer S. Alito S. Sotomayor E. Kagan";
+      prov:wasQuotedFrom :page-by-composition;
+   ];
+
+   prov:wasDerivedFrom :the-first-us-supreme-court, 
+
    #
    # We can go a third step and qualify the members' memberships.
    #
@@ -247,3 +261,8 @@
    prov:specializationOf <http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_court_composition>;
    prov:wasGeneratedAtTime "2012-05-16T14:33"^^xsd:dateTime;
 .
+
+:scalia-left
+   a prov:Removal;
+
+<http://dbpedia.org/resource/Elena_Kagan>
--- a/ontology/diagram-history/2012-05-03/qualified-patterns.graffle	Mon Jun 18 14:41:31 2012 -0700
+++ b/ontology/diagram-history/2012-05-03/qualified-patterns.graffle	Mon Jun 18 16:25:39 2012 -0700
@@ -3,7 +3,7 @@
 <plist version="1.0">
 <dict>
 	<key>ActiveLayerIndex</key>
-	<integer>1</integer>
+	<integer>0</integer>
 	<key>ApplicationVersion</key>
 	<array>
 		<string>com.omnigroup.OmniGrafflePro</string>
@@ -53,6 +53,419 @@
 	<array>
 		<dict>
 			<key>Bounds</key>
+			<string>{{594.45209, 1156.7076}, {117, 54}}</string>
+			<key>Class</key>
+			<string>ShapedGraphic</string>
+			<key>FontInfo</key>
+			<dict>
+				<key>Color</key>
+				<dict>
+					<key>b</key>
+					<string>1</string>
+					<key>g</key>
+					<string>0</string>
+					<key>r</key>
+					<string>0</string>
+				</dict>
+				<key>Font</key>
+				<string>Georgia</string>
+				<key>NSKern</key>
+				<real>0.0</real>
+				<key>Size</key>
+				<real>16</real>
+			</dict>
+			<key>ID</key>
+			<integer>963</integer>
+			<key>Layer</key>
+			<integer>0</integer>
+			<key>Shape</key>
+			<string>DisplayShape</string>
+			<key>Style</key>
+			<dict>
+				<key>fill</key>
+				<dict>
+					<key>Color</key>
+					<dict>
+						<key>b</key>
+						<string>0.871251</string>
+						<key>g</key>
+						<string>0.994861</string>
+						<key>r</key>
+						<string>1</string>
+					</dict>
+				</dict>
+				<key>shadow</key>
+				<dict>
+					<key>Draws</key>
+					<string>NO</string>
+				</dict>
+				<key>stroke</key>
+				<dict>
+					<key>Color</key>
+					<dict>
+						<key>b</key>
+						<string>0.6</string>
+						<key>g</key>
+						<string>0.6</string>
+						<key>r</key>
+						<string>0.6</string>
+					</dict>
+					<key>CornerRadius</key>
+					<real>10</real>
+				</dict>
+			</dict>
+			<key>Text</key>
+			<dict>
+				<key>Align</key>
+				<integer>2</integer>
+				<key>Text</key>
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf470
+{\fonttbl\f0\fnil\fcharset0 Georgia;}
+{\colortbl;\red255\green255\blue255;\red0\green0\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qr
+
+\f0\fs32 \cf2 \expnd0\expndtw0\kerning0
+Association}</string>
+			</dict>
+		</dict>
+		<dict>
+			<key>Class</key>
+			<string>LineGraphic</string>
+			<key>Head</key>
+			<dict>
+				<key>ID</key>
+				<integer>1022</integer>
+			</dict>
+			<key>ID</key>
+			<integer>1024</integer>
+			<key>Layer</key>
+			<integer>0</integer>
+			<key>Points</key>
+			<array>
+				<string>{682.8473744632563, 1198.9238662719724}</string>
+				<string>{684.56592560616502, 1252.4241205012613}</string>
+			</array>
+			<key>Style</key>
+			<dict>
+				<key>stroke</key>
+				<dict>
+					<key>Color</key>
+					<dict>
+						<key>b</key>
+						<string>1</string>
+						<key>g</key>
+						<string>0</string>
+						<key>r</key>
+						<string>0</string>
+					</dict>
+					<key>HeadArrow</key>
+					<string>StickArrow</string>
+					<key>Legacy</key>
+					<true/>
+					<key>LineType</key>
+					<integer>1</integer>
+					<key>TailArrow</key>
+					<string>0</string>
+					<key>Width</key>
+					<real>2</real>
+				</dict>
+			</dict>
+		</dict>
+		<dict>
+			<key>Bounds</key>
+			<string>{{689.43766636654539, 1221.928277514038}, {108.27008613281259, 19}}</string>
+			<key>Class</key>
+			<string>ShapedGraphic</string>
+			<key>FitText</key>
+			<string>Vertical</string>
+			<key>Flow</key>
+			<string>Resize</string>
+			<key>FontInfo</key>
+			<dict>
+				<key>Color</key>
+				<dict>
+					<key>b</key>
+					<string>1</string>
+					<key>g</key>
+					<string>0</string>
+					<key>r</key>
+					<string>0</string>
+				</dict>
+				<key>Font</key>
+				<string>Georgia</string>
+				<key>Size</key>
+				<real>16</real>
+			</dict>
+			<key>ID</key>
+			<integer>1023</integer>
+			<key>Layer</key>
+			<integer>0</integer>
+			<key>Shape</key>
+			<string>Rectangle</string>
+			<key>Style</key>
+			<dict>
+				<key>shadow</key>
+				<dict>
+					<key>Draws</key>
+					<string>NO</string>
+				</dict>
+				<key>stroke</key>
+				<dict>
+					<key>Draws</key>
+					<string>NO</string>
+				</dict>
+			</dict>
+			<key>Text</key>
+			<dict>
+				<key>Text</key>
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf470
+{\fonttbl\f0\fnil\fcharset0 Georgia;}
+{\colortbl;\red255\green255\blue255;\red0\green0\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs32 \cf2 prov:hadPlan}</string>
+				<key>VerticalPad</key>
+				<integer>0</integer>
+			</dict>
+		</dict>
+		<dict>
+			<key>Bounds</key>
+			<string>{{660.11871337890625, 1252.9238627563477}, {81, 31.589731216430664}}</string>
+			<key>Class</key>
+			<string>ShapedGraphic</string>
+			<key>FontInfo</key>
+			<dict>
+				<key>Color</key>
+				<dict>
+					<key>w</key>
+					<string>0</string>
+				</dict>
+				<key>Font</key>
+				<string>Georgia</string>
+				<key>NSKern</key>
+				<real>0.0</real>
+				<key>Size</key>
+				<real>16</real>
+			</dict>
+			<key>HFlip</key>
+			<string>YES</string>
+			<key>ID</key>
+			<integer>1022</integer>
+			<key>Layer</key>
+			<integer>0</integer>
+			<key>Magnets</key>
+			<array>
+				<string>{0.19798307185795494, 0.49989545810861102}</string>
+			</array>
+			<key>Shape</key>
+			<string>Rectangle</string>
+			<key>Style</key>
+			<dict>
+				<key>fill</key>
+				<dict>
+					<key>Color</key>
+					<dict>
+						<key>b</key>
+						<string>0.871251</string>
+						<key>g</key>
+						<string>0.994861</string>
+						<key>r</key>
+						<string>1</string>
+					</dict>
+				</dict>
+				<key>shadow</key>
+				<dict>
+					<key>Draws</key>
+					<string>NO</string>
+				</dict>
+				<key>stroke</key>
+				<dict>
+					<key>Color</key>
+					<dict>
+						<key>b</key>
+						<string>0.6</string>
+						<key>g</key>
+						<string>0.6</string>
+						<key>r</key>
+						<string>0.6</string>
+					</dict>
+					<key>CornerRadius</key>
+					<real>25</real>
+				</dict>
+			</dict>
+			<key>Text</key>
+			<dict>
+				<key>Text</key>
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf470
+{\fonttbl\f0\fnil\fcharset0 Georgia;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs32 \cf0 Plan}</string>
+			</dict>
+			<key>VFlip</key>
+			<string>YES</string>
+		</dict>
+		<dict>
+			<key>Bounds</key>
+			<string>{{562.1455793262578, 1254.9156625634766}, {80.734714728974495, 29.597930999999999}}</string>
+			<key>Class</key>
+			<string>ShapedGraphic</string>
+			<key>ID</key>
+			<integer>1021</integer>
+			<key>Layer</key>
+			<integer>0</integer>
+			<key>Magnets</key>
+			<array>
+				<string>{0.36443154412640144, -0.50000000000000711}</string>
+			</array>
+			<key>Shape</key>
+			<string>Rectangle</string>
+			<key>Style</key>
+			<dict>
+				<key>fill</key>
+				<dict>
+					<key>Color</key>
+					<dict>
+						<key>b</key>
+						<string>0.871251</string>
+						<key>g</key>
+						<string>0.994861</string>
+						<key>r</key>
+						<string>1</string>
+					</dict>
+				</dict>
+				<key>shadow</key>
+				<dict>
+					<key>Draws</key>
+					<string>NO</string>
+				</dict>
+				<key>stroke</key>
+				<dict>
+					<key>Color</key>
+					<dict>
+						<key>b</key>
+						<string>0.6</string>
+						<key>g</key>
+						<string>0.6</string>
+						<key>r</key>
+						<string>0.6</string>
+					</dict>
+				</dict>
+			</dict>
+			<key>Text</key>
+			<dict>
+				<key>Text</key>
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf470
+{\fonttbl\f0\fnil\fcharset0 Georgia;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs32 \cf0 Role}</string>
+			</dict>
+		</dict>
+		<dict>
+			<key>Class</key>
+			<string>LineGraphic</string>
+			<key>Head</key>
+			<dict>
+				<key>ID</key>
+				<integer>1021</integer>
+			</dict>
+			<key>ID</key>
+			<integer>1020</integer>
+			<key>Layer</key>
+			<integer>0</integer>
+			<key>Points</key>
+			<array>
+				<string>{632.04820561624194, 1207.4157274133299}</string>
+				<string>{631.93521344402939, 1254.9156625634766}</string>
+			</array>
+			<key>Style</key>
+			<dict>
+				<key>stroke</key>
+				<dict>
+					<key>Color</key>
+					<dict>
+						<key>b</key>
+						<string>1</string>
+						<key>g</key>
+						<string>0</string>
+						<key>r</key>
+						<string>0</string>
+					</dict>
+					<key>HeadArrow</key>
+					<string>StickArrow</string>
+					<key>Legacy</key>
+					<true/>
+					<key>LineType</key>
+					<integer>1</integer>
+					<key>TailArrow</key>
+					<string>0</string>
+					<key>Width</key>
+					<real>2</real>
+				</dict>
+			</dict>
+		</dict>
+		<dict>
+			<key>Bounds</key>
+			<string>{{521.8649391992185, 1221.928277514038}, {108.27008613281259, 19}}</string>
+			<key>Class</key>
+			<string>ShapedGraphic</string>
+			<key>FitText</key>
+			<string>Vertical</string>
+			<key>Flow</key>
+			<string>Resize</string>
+			<key>FontInfo</key>
+			<dict>
+				<key>Color</key>
+				<dict>
+					<key>b</key>
+					<string>1</string>
+					<key>g</key>
+					<string>0</string>
+					<key>r</key>
+					<string>0</string>
+				</dict>
+				<key>Font</key>
+				<string>Georgia</string>
+				<key>Size</key>
+				<real>16</real>
+			</dict>
+			<key>ID</key>
+			<integer>1019</integer>
+			<key>Layer</key>
+			<integer>0</integer>
+			<key>Shape</key>
+			<string>Rectangle</string>
+			<key>Style</key>
+			<dict>
+				<key>shadow</key>
+				<dict>
+					<key>Draws</key>
+					<string>NO</string>
+				</dict>
+				<key>stroke</key>
+				<dict>
+					<key>Draws</key>
+					<string>NO</string>
+				</dict>
+			</dict>
+			<key>Text</key>
+			<dict>
+				<key>Text</key>
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf470
+{\fonttbl\f0\fnil\fcharset0 Georgia;}
+{\colortbl;\red255\green255\blue255;\red0\green0\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs32 \cf2 prov:hadRole}</string>
+				<key>VerticalPad</key>
+				<integer>0</integer>
+			</dict>
+		</dict>
+		<dict>
+			<key>Bounds</key>
 			<string>{{422.24709999999999, 1081.4393}, {113.6842, 54}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
@@ -132,83 +545,6 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{594.45209, 1156.7076}, {117, 54}}</string>
-			<key>Class</key>
-			<string>ShapedGraphic</string>
-			<key>FontInfo</key>
-			<dict>
-				<key>Color</key>
-				<dict>
-					<key>b</key>
-					<string>1</string>
-					<key>g</key>
-					<string>0</string>
-					<key>r</key>
-					<string>0</string>
-				</dict>
-				<key>Font</key>
-				<string>Georgia</string>
-				<key>NSKern</key>
-				<real>0.0</real>
-				<key>Size</key>
-				<real>16</real>
-			</dict>
-			<key>ID</key>
-			<integer>963</integer>
-			<key>Layer</key>
-			<integer>0</integer>
-			<key>Shape</key>
-			<string>DisplayShape</string>
-			<key>Style</key>
-			<dict>
-				<key>fill</key>
-				<dict>
-					<key>Color</key>
-					<dict>
-						<key>b</key>
-						<string>0.871251</string>
-						<key>g</key>
-						<string>0.994861</string>
-						<key>r</key>
-						<string>1</string>
-					</dict>
-				</dict>
-				<key>shadow</key>
-				<dict>
-					<key>Draws</key>
-					<string>NO</string>
-				</dict>
-				<key>stroke</key>
-				<dict>
-					<key>Color</key>
-					<dict>
-						<key>b</key>
-						<string>0.6</string>
-						<key>g</key>
-						<string>0.6</string>
-						<key>r</key>
-						<string>0.6</string>
-					</dict>
-					<key>CornerRadius</key>
-					<real>10</real>
-				</dict>
-			</dict>
-			<key>Text</key>
-			<dict>
-				<key>Align</key>
-				<integer>2</integer>
-				<key>Text</key>
-				<string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf470
-{\fonttbl\f0\fnil\fcharset0 Georgia;}
-{\colortbl;\red255\green255\blue255;\red0\green0\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qr
-
-\f0\fs32 \cf2 \expnd0\expndtw0\kerning0
-Association}</string>
-			</dict>
-		</dict>
-		<dict>
-			<key>Bounds</key>
 			<string>{{768.45209, 1078.2810999999999}, {113.6842, 54}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
@@ -1169,7 +1505,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{402.55428999999998, 1059.931}, {515.16900999999996, 160.96472}}</string>
+			<string>{{402.55428999999998, 1059.931}, {515.16900999999996, 249.06900024414062}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FontInfo</key>
@@ -1583,8 +1919,8 @@
 			<integer>0</integer>
 			<key>Points</key>
 			<array>
-				<string>{243.36332415576314, 1028.3755701786008}</string>
-				<string>{155.60238423127649, 984.61100127976329}</string>
+				<string>{243.35288300172505, 1028.3880329025362}</string>
+				<string>{155.58327002886202, 984.65744163077511}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -1672,8 +2008,8 @@
 			<integer>0</integer>
 			<key>Points</key>
 			<array>
-				<string>{130.49353691779098, 1119.6676244913299}</string>
-				<string>{242.52240630510531, 1067.7434422732524}</string>
+				<string>{130.48725555382123, 1119.6615612845046}</string>
+				<string>{242.48597627109154, 1067.6999363646971}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -4870,8 +5206,8 @@
 			<integer>0</integer>
 			<key>Points</key>
 			<array>
-				<string>{631.13125063060068, 447.84096562543925}</string>
-				<string>{631.84008016818632, 484.30936170995113}</string>
+				<string>{631.21128239504378, 447.84093515496085}</string>
+				<string>{632.02624410784699, 484.30928223549085}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -5389,7 +5725,7 @@
 	<key>MasterSheets</key>
 	<array/>
 	<key>ModificationDate</key>
-	<string>2012-06-18 17:25:46 +0000</string>
+	<string>2012-06-18 22:02:51 +0000</string>
 	<key>Modifier</key>
 	<string>lebot</string>
 	<key>NotesVisible</key>
@@ -5470,7 +5806,7 @@
 			</dict>
 		</array>
 		<key>Frame</key>
-		<string>{{315, 67}, {1120, 961}}</string>
+		<string>{{352, 67}, {1120, 961}}</string>
 		<key>ListView</key>
 		<true/>
 		<key>OutlineWidth</key>
@@ -5482,7 +5818,7 @@
 		<key>SidebarWidth</key>
 		<integer>120</integer>
 		<key>VisibleRegion</key>
-		<string>{{1, 481}, {1000, 867}}</string>
+		<string>{{1, 599}, {1000, 867}}</string>
 		<key>Zoom</key>
 		<real>1</real>
 		<key>ZoomValues</key>