<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1950_births> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Formal_methods_person> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Open_Rights_Group> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_of_the_University_of_Edinburgh> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_bloggers> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/2000/01/rdf-schema#label>	"Michael Fourman" .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/London> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_British_Computer_Society> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Dana_Scott> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_logicians> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q)> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_computer_scientist> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Alumnus_of_the_University_of_Oxford> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Alumnus_of_the_University_of_Bristol> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Oxford> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/BCS,_The_Chartered_Institute_for_IT> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_British_Computer_Society> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/birthYear>	"1950" .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Bristol> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1950_birth> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/21st-century_British_mathematician> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Bristol> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_computer_scientists> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Oxford_by_college> .
<http://caligraph.org/resource/Dana_Scott>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Michael_Fourman> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Oxford> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_blogger> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_University_of_Edinburgh_people> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Michael Fourman" .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_scientist> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_British_mathematicians> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_logicians> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Michael_Fourman> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/residence>	<http://caligraph.org/resource/Scotland> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Robin_Gandy> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Formal_methods_people> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_of_Brunel_University_London> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_Brunel_University_London> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/birthDate>	"1950-09-12" .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_British_mathematician> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Brunel_University_London> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/University_of_Edinburgh_people> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Edinburgh> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Edinburgh> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:21st-century_British_mathematicians> .
<http://caligraph.org/resource/Michael_Fourman>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Oxford> .
<http://caligraph.org/resource/Michael_Fourman>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_logician> .