<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:21st-century_American_scientists> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_programmers> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/2000/01/rdf-schema#label>	"Greg Nelson (computer scientist)" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Satisfiability_modulo_theories> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:2015_deaths> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:American_computer_programmers> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/ESC/Java> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/2015_death> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Greg Nelson (computer scientist)" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/2013%E2%80%9314_Florida_A&M_Rattlers_basketball_team> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_American_scientists> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Harvard_University_alumnus> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Herbrand_Award> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_from_Hawaii> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/PARC_(company)> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_All_My_Children_cast_members> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Modula-3> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Sportsperson> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/National_Photographic_Portrait_Prize> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Harvard_University_alumni> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist_at_PARC_(company)> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Person_in_sports> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Herbrand_Award> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programmer> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Formal_methods_person> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_American_scientist> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1953_births> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programming_language_designer> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programming_language_researcher> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/21st-century_American_scientist> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Athlete> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/deathYear>	"2015" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:American_computer_scientists> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Harvard_University> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Greg Nelson" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/birthDate>	"1953-03-27" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Digital_Equipment_Corporation> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/1979_Louisiana_gubernatorial_election> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/2004/02/skos/core#altLabel>	"C. Greg Nelson" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/The_Ultimate_Fighter:_Team_Lesnar_vs._Team_dos_Santos> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1953_birth> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_programming_language_researchers> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Robert_Tarjan> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_at_PARC_(company)> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/All_My_Child_cast_members> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Programming_language_designers> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Formal_methods_people> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Programming_language_researchers> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Person_associated_with_PARC> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Formal_verification> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Greg_Nelson_(computer_scientist)> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/HP_Labs> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/American_computer_scientist> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/birthYear>	"1953" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_people_associated_with_PARC> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/birthName>	"Charles Gregory Nelson" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Nelson_(surname)> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_computer_scientists> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Hawaii> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/7_(David_Meece_album)> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Anastasia_Pittman> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/occupation>	<http://caligraph.org/resource/Programmer> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist_from_Hawaii> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Music_of_North_Dakota> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/1986_San_Jose_mayoral_election> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/American_computer_programmer> .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Extended_static_checking> .