<http://caligraph.org/resource/Jean-Yves_Girard>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/%C3%89cole_normale_sup%C3%A9rieure_de_lettres_et_sciences_humaines> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1947_births> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Paris_Diderot_University> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/ENS_Fontenay-Saint-Cloud-Lyon_alumnus> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Paris_Mus%C3%A9es> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q)> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Member_of_the_French_Academy_of_Sciences> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Members_of_the_French_Academy_of_Sciences> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:ENS_Fontenay-Saint-Cloud-Lyon_alumni> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/2000/01/rdf-schema#label>	"Jean-Yves Girard" .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Girard" .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Lyon> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:French_male_non-fiction_writers> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Aix-Marseille_University> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Index_of_World_War_II_articles_(J)> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/French_National_Centre_for_Scientific_Research> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://caligraph.org/ontology/birthYear>	"1947" .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Jean-Yves Girard" .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/2004/02/skos/core#altLabel>	"J.-Y. Girard" .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_French_philosophers> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:French_philosophers_by_century> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:French_philosophers> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Girard_(surname)> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Girard's" .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Proof_theorist> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Timeline_of_category_theory_and_related_mathematics> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/French_mathematician> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Apremont,_Ain> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Jean-Yves_Girard> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Girard, J.-Y." .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/French_male_non-fiction_writer> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/%C3%89lections_Qu%C3%A9bec> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:CNRS_scientists> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_logicians> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/French_logician> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Poncelet_Prize> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Jean-Pierre Girard" .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:French_logicians> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:French_mathematicians> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:French_mathematicians_by_century> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Lochaber-Partie-Ouest,_Quebec> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1947_birth> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/CNRS_scientist> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Proof_theorists> .
<http://caligraph.org/resource/Jean-Yves_Girard>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/French_philosopher> .