--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -12,7 +12,7 @@
:making-bar-chart
a prov:Generation,
- prov:ActivityInfluence; ## Instances of Generation, Invalidation, and Communication qualify
+ prov:ActivityInfluence; ## Instances of Generation, Invalidation and Communication qualify
prov:activity :illustrating; ## the influence of an Activity (cited by prov:activity)
rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInfluence.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInfluence.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -9,8 +9,8 @@
prov:wasAssociatedWith :derek;
prov:qualifiedAssociation [
a prov:Association,
- prov:AgentInfluence; ## Instances of Generation, Invalidation, and Communication qualify
- prov:agent :derek; ## the influence of an Agent (cited by prov:agent)
+ prov:AgentInfluence; ## Instances of Generation, Invalidation and Communication qualify
+ prov:agent :derek; ## the influence of an Agent (cited by prov:agent)
prov:hadRole :illustrationist
];
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Bundle.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Bundle.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -23,7 +23,8 @@
prov:wasDerivedFrom :report1;
.
-# Let us assume that Bob observed the creation of :report1. A first bundle can be expressed.
+# Let us assume that Bob observed the creation of :report1.
+# A first bundle can be expressed.
bob:bundle1 {
:report1
@@ -33,7 +34,8 @@
.
}
-# In contrast, Alice observed the creation of :report2 and its derivation from :report1.
+# In contrast, Alice observed the creation of :report2
+# and its derivation from :report1.
alice:bundle2 {
:report1 a prov:Entity .
@@ -45,7 +47,8 @@
.
}
-# The first bundle contains the descriptions corresponding to Bob observing the creation of :report1.
+# The first bundle contains the descriptions corresponding to Bob
+# observing the creation of :report1.
bob:bundle1
a prov:Bundle;
@@ -53,7 +56,8 @@
prov:wasAttributedTo :Bob;
.
-# In contrast, the second bundle is attributed to Alice who observed the derivation of :report2 from :report1.
+# In contrast, the second bundle is attributed to Alice who observed
+# the derivation of :report2 from :report1.
alice:bundle2
a prov:Bundle;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Collection.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -10,8 +10,11 @@
prov:qualifiedGeneration [
a prov:Generation;
- dcterms:date "2012"^^xsd:gYear; # The generation is being qualified to be imprecise;
- ]; # prov:generatedAtTime and prov:atTime specify exact instants in time.
+
+ # The generation is being qualified to be imprecise;
+ # prov:generatedAtTime and prov:atTime specify exact instants in time.
+ dcterms:date "2012"^^xsd:gYear;
+ ];
prov:hadMember
<http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>,
@@ -31,7 +34,8 @@
:copied-string
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: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;
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ContextualizedEntity.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ContextualizedEntity.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -9,8 +9,10 @@
:run1 {
:a1
a prov:Activity ;
+
+ # Duration was 1 hour.
prov:startedAtTime "2011-11-16T16:00:00"^^xsd:dateTime ;
- prov:endedAtTime "2011-11-16T17:00:00"^^xsd:dateTime ; # Duration was 1 hour.
+ prov:endedAtTime "2011-11-16T17:00:00"^^xsd:dateTime ;
prov:wasAssociatedWith :bob ;
prov:qualifiedAssociation [
a prov:Association ;
@@ -26,8 +28,10 @@
:run2 {
:a2
a prov:Activity ;
+
+ # Duration was 7 hours.
prov:startedAtTime "2011-11-17T10:00:00"^^xsd:dateTime ;
- prov:endedAtTime "2011-11-17T17:00:00"^^xsd:dateTime ; # Duration was 7 hours.
+ prov:endedAtTime "2011-11-17T17:00:00"^^xsd:dateTime ;
prov:wasAssociatedWith :bob ;
prov:qualifiedAssociation [
a prov:Association ;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -4,24 +4,30 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
+# The simplest (and least detailed) form of derivation.
:bar_chart
a prov:Entity;
- prov:wasDerivedFrom :aggregatedByRegions; # The simplest (and least detailed) form of derivation.
+ prov:wasDerivedFrom :aggregatedByRegions;
.
+# The simple form can be accompanied by a qualified form:
+# which provides more details about how :bar_chart was
+# derived from :aggregatedRegions.
+
:bar_chart
a prov:Entity;
- prov:wasDerivedFrom :aggregatedByRegions; # The simple form can be accompanied by a qualified form:
+
+ prov:wasDerivedFrom :aggregatedByRegions;
prov:qualifiedDerivation [
- a prov:Derivation; # An instance of Derivation provides more details
- prov:entity :aggregatedByRegions; # about how :bar_chart was derived from :aggregatedRegions
-
- :foo :bar; # Arbitrary domain-specific descriptions are permitted.
-
+ a prov:Derivation;
+ prov:entity :aggregatedByRegions;
+ :foo :bar;
+
# Derivations can cite the influencing Activity in doing the derivation.
prov:hadActivity :illustration_activity;
- # They can also cite the Usage and Generation that the Activity performed to generate :bar_chart.
+ # They can also cite the Usage and Generation that the Activity
+ # performed to generate :bar_chart.
prov:hadUsage :how_illustration_activity_used_data;
prov:hadGeneration :bar_chart_generation;
];
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Generation.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Generation.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -9,7 +9,8 @@
:bbcNews2012-04-03
a prov:Entity, eg:DailyNews;
rdfs:comment """The BBC news home page on 2012-04-03 contained a reference
- to a given news item, but the BBC news home page on the next day did not.""";
+ to a given news item, but the BBC news home page on
+ the next day did not.""";
prov:wasGeneratedBy :publishingActivity;
prov:qualifiedGeneration [
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -15,9 +15,16 @@
:conductingSurgery_1
a prov:Activity;
- my:wasConductedBy :bob; # This unqualified influence is unknown in PROV, but would be a subproperty of wasAssociatedWith.
- prov:qualifiedAssociation [ # Even though PROV systems do not understand my:wasConductedBy,
- a prov:Association, # they can recognize that the unknown relation is being qualified with a prov:hadRole.
+
+ # This unqualified influence is unknown in PROV,
+ # but would be a subproperty of wasAssociatedWith.
+ my:wasConductedBy :bob;
+
+ # Even though PROV systems do not understand my:wasConductedBy,
+ prov:qualifiedAssociation [
+ # they can recognize that the unknown relation
+ # is being qualified with a prov:hadRole.
+ a prov:Association,
prov:AgentInfluence, # Inferred
prov:Influence; # Inferred
prov:agent :bob; # The object of my:wasConductedBy
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_InstantaneousEvent.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_InstantaneousEvent.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -7,8 +7,9 @@
:bbcNews2012-04-03
a prov:Entity, :DailyNews;
- rdfs:comment """The BBC news home page on 2012-04-03 contained a reference
- to a given news item, but the BBC news home page on the next day did not.""";
+ rdfs:comment """The BBC news home page on 2012-04-03 contained
+ a reference to a given news item, but the BBC news
+ home page on the next day did not.""";
prov:qualifiedGeneration [
a prov:Generation, prov:InstantaneousEvent;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Quotation.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Quotation.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -7,7 +7,7 @@
:dagstuhl-quote
a prov:Entity;
- prov:value "why would people record and share provenance in the first place?";
+ prov:value "why would people record and share provenance in the first place?";
prov:wasQuotedFrom <http://thinklinks.wordpress.com/2012/03/07/thoughts-from-the-dagstuhl-principles-of-provenance-workshop/>;
prov:qualifiedQuotation [
a prov:Quotation;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_SoftwareAgent.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_SoftwareAgent.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -4,7 +4,8 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# Googlebot is Google's web crawling bot; it can initiate and participate in web-crawling activities.
+# Googlebot is Google's web crawling bot;
+# it can initiate and participate in web-crawling activities.
:googlebot
a prov:SoftwareAgent;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_asInBundle.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_asInBundle.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -24,5 +24,8 @@
.
}
-tool:bob-2011-11-17 prov:specializationOf :bob . # This is inferred from prov:mentionOf
-tool:bob-2011-11-17 prov:alternateOf :bob . # This is inferred from prov:specializationOf
+# This is inferred from prov:mentionOf
+tool:bob-2011-11-17 prov:specializationOf :bob .
+
+# This is inferred from prov:specializationOf
+tool:bob-2011-11-17 prov:alternateOf :bob .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadActivity.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadActivity.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -4,8 +4,9 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# The activity that which used, generated, invalidated or was responsible for the entity.
-# In this qualified Derivation prov:hadActivity references the activity that generated the bar chart.
+# The activity that which used, generated, invalidated
+# or was responsible for the entity. In this qualified Derivation
+# prov:hadActivity references the activity that generated the bar chart.
:bar_chart
a prov:Entity;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadMember.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_hadMember.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -15,7 +15,9 @@
];
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
+
+ # Since we need to be imprecise, we can't use prov:generatedAtTime or prov:atTime
+ dcterms:date "2012"^^xsd:gYear;
];
prov:wasDerivedFrom :the-first-us-supreme-court;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidated.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_invalidated.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -15,7 +15,9 @@
a prov:Entity, :Painting;
rdfs:label "Le Peintre"@fr, "The Painter"@en;
prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
- prov:wasInvalidatedBy :Swissair_Flight_111_crash; # Inferred from prov:invalidated
+
+ # Inferred from prov:invalidated
+ prov:wasInvalidatedBy :Swissair_Flight_111_crash;
.
<http://dbpedia.org/resource/Pablo_Picasso>
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_mentionOf.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_mentionOf.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -24,5 +24,8 @@
.
}
-tool:bob-2011-11-17 prov:specializationOf :bob . # This is inferred from prov:mentionOf
-tool:bob-2011-11-17 prov:alternateOf :bob . # This is inferred from prov:specializationOf
+# This is inferred from prov:mentionOf
+tool:bob-2011-11-17 prov:specializationOf :bob .
+
+# This is inferred from prov:specializationOf
+tool:bob-2011-11-17 prov:alternateOf :bob .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pair.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pair.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -9,17 +9,21 @@
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: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
+
+ # Since we need to be imprecise, we can't use prov:generatedAtTime or prov:atTime
+ dcterms:date "2012"^^xsd:gYear;
];
prov:wasDerivedFrom :the-first-us-supreme-court;
- prov:qualifiedMembership [ # We can qualify a KeyValuePair's membership in this Dictionary.
+ # We can qualify a KeyValuePair's membership in this Dictionary.
+ prov:qualifiedMembership [
a prov:Membership;
prov:pair [
a prov:KeyValuePair;
@@ -27,12 +31,16 @@
prov:pairValue <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>;
];
- prov:hadRole :chief-justice; # Here is my little addition about Chief Roberts.
+ # Here is my little addition about Chief Roberts.
+ prov:hadRole :chief-justice;
];
- prov:qualifiedMembership [ # We can also qualify many KeyValuePairs' memberships in this Dictionary.
+
+ # We can also qualify many KeyValuePairs' memberships in this Dictionary.
+ prov:qualifiedMembership [
a prov:Membership;
- prov:hadRole :associate-justice; # Here is my little addition about the rest of the Chiefs.
+ # Here is my little addition about the rest of the Chiefs.
+ prov:hadRole :associate-justice;
prov:pair [ # The same property is used to point to one or many KeyValuePairs.
a prov:KeyValuePair;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDelegation.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDelegation.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -12,12 +12,16 @@
prov:qualifiedAssociation [
a prov:Association;
prov:agent :chauffeur;
- ex:hadRole :violator; # The chauffeur was the one violating traffic rules.
+
+ # The chauffeur was the one violating traffic rules.
+ ex:hadRole :violator;
];
prov:qualifiedAssociation [
a prov:Association;
prov:agent :traffic-officer-34;
- ex:hadRole :enforcer; # The officer was the one enforcing the traffic rules.
+
+ # The officer was the one enforcing the traffic rules.
+ ex:hadRole :enforcer;
];
.
@@ -27,7 +31,9 @@
prov:qualifiedDelegation [
a prov:Delegation;
prov:agent :celebrity-in-car;
- ex:hadRole :employer; # The celebrity employed the chauffeur during the enforcement.
+
+ # The celebrity employed the chauffeur during the enforcement.
+ ex:hadRole :employer;
];
.
@@ -37,6 +43,8 @@
prov:qualifiedDelegation [
a prov:Delegation;
prov:agent :city-of-Paris;
- ex:hadRole :employer; # The city of Paris employed the officer during the enforcement.
+
+ # The city of Paris employed the officer during the enforcement.
+ ex:hadRole :employer;
];
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -8,7 +8,9 @@
prov:wasDerivedFrom :aggregatedByRegions;
prov:qualifiedDerivation [
a prov:Derivation;
- prov:entity :aggregatedByRegions;
- prov:hadGeneration :illustration; ## More details about the activity underpinning the derivation
+ prov:entity :aggregatedByRegions;
+
+ ## More details about the activity underpinning the derivation
+ prov:hadGeneration :illustration;
];
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInfluence.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInfluence.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -13,10 +13,14 @@
:conductingSurgery_1
a prov:Activity;
- prov:wasInfluencedBy :bob; # This unqualified influence is unknown in PROV, this would be a subproperty of wasAssociatedWith
- prov:qualifiedInfluence [ # Even though PROV systems do not understand :wasConductedBy,
- a prov:Influence; # Inferred
- prov:agent :bob; # The object of :wasConductedBy
+
+ # This unqualified influence is unknown in PROV,
+ # this would be a subproperty of wasAssociatedWith
+ prov:wasInfluencedBy :bob;
+ prov:qualifiedInfluence [
+ # Even though PROV systems do not understand :wasConductedBy,
+ a prov:Influence; # Inferred
+ prov:agent :bob; # The object of :wasConductedBy
prov:hadRole :surgeon;
];
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedMembership.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedMembership.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -7,7 +7,8 @@
:todays-us-supreme-court-as-dictionary
a prov:Dictionary, :RobertsCourt;
- prov:qualifiedMembership [ # We can qualify a KeyValuePair's membership in this Dictionary.
+ # We can qualify a KeyValuePair's membership in this Dictionary.
+ prov:qualifiedMembership [
a prov:Membership;
prov:pair [
a prov:KeyValuePair;
@@ -15,14 +16,21 @@
prov:pairValue <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>;
];
- :hadRole :chief-justice; # Here is my little addition about Chief Roberts. (note, we can't use prov:hadRole)
+ # Here is my little addition about Chief Roberts.
+ # (note, we can't use prov:hadRole)
+ :hadRole :chief-justice;
];
- prov:qualifiedMembership [ # We can also qualify many KeyValuePairs' memberships in this Dictionary.
+
+ # We can also qualify many KeyValuePairs' memberships in this Dictionary.
+ prov:qualifiedMembership [
a prov:Membership;
- :hadRole :associate-justice; # Here is my little addition about the rest of the Chiefs. (note, we can't use prov:hadRole)
+ # Here is my little addition about the rest of the Chiefs.
+ # (note, we can't use prov:hadRole)
+ :hadRole :associate-justice;
- prov:pair [ # The same property is used to point to one or many KeyValuePairs.
+ # The same property is used to point to one or many KeyValuePairs.
+ prov:pair [
a prov:KeyValuePair;
prov:pairKey "seat 9";
prov:pairValue <http://dbpedia.org/resource/Antonin_Scalia>;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedTrace.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedTrace.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -17,5 +17,6 @@
:butterfly_456
a prov:Entity, :Butterfly;
- foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/3/3d/Charaxes_brutus_natalensis.jpg>;
+ foaf:depiction
+ <http://upload.wikimedia.org/wikipedia/commons/3/3d/Charaxes_brutus_natalensis.jpg>;
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_value.ttl Wed Jul 11 13:28:49 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_value.ttl Wed Jul 11 15:41:36 2012 -0400
@@ -7,7 +7,8 @@
:copied-string
a prov:Entity;
prov:value
- "2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg S. Breyer S. Alito S. Sotomayor E. Kagan";
+ """2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg
+ S. Breyer S. Alito S. Sotomayor E. Kagan"""";
prov:wasQuotedFrom
<http://en.wikipedia.org/wiki/List_of_Justices_of_the_Supreme_Court_of_the_United_States_by_court_composition>;
.