<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/French_computer_scientist> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Xavier_Leroy> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:French_computer_scientists> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1968_birth> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery> .
<http://caligraph.org/resource/CompCert>	<http://caligraph.org/ontology/author>	<http://caligraph.org/resource/Xavier_Leroy> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Leroy_(name)> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/%C3%89cole_normale_sup%C3%A9rieure_(Paris)> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/%C3%89cole_Normale_Sup%C3%A9rieure_alumnus> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_programming_language_researchers> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_Association_for_Computing_Machinery> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Computer_programmer> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programming_language_designer> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Programming_language_designers> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programming_language_researcher> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Programming_language_researchers> .
<http://caligraph.org/resource/Caml>	<http://caligraph.org/ontology/designer>	<http://caligraph.org/resource/Xavier_Leroy> .
<http://caligraph.org/resource/G%C3%A9rard_Huet>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Xavier_Leroy> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Laboratorium_(art_exhibition)> .
<http://caligraph.org/resource/OCaml>	<http://caligraph.org/ontology/designer>	<http://caligraph.org/resource/Xavier_Leroy> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://caligraph.org/ontology/birthDate>	"1968-03-15" .
<http://caligraph.org/resource/Xavier_Leroy>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/G%C3%A9rard_Huet> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:%C3%89cole_Normale_Sup%C3%A9rieure_alumni> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Adriaan_van_Wijngaarden> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Paris_Diderot_University> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://caligraph.org/ontology/birthYear>	"1968" .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Computer_programmers> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Xavier Le Roy" .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1968_births> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Computer_programmers_by_nationality> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/2000/01/rdf-schema#label>	"Xavier Leroy" .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Xavier Leroy" .
<http://caligraph.org/resource/Xavier_Leroy>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Benevolent_dictator_for_life> .