<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Martin_Vechev>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/European_Research_Council> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1977_birth> .
<http://caligraph.org/resource/Martin_Vechev>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Simon_Fraser_University> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_nationality> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_religion> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_field> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_membership> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_award> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Martin Vechev" .
<http://caligraph.org/resource/Martin_Vechev>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Machine_learning> .
<http://caligraph.org/resource/Martin_Vechev>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Cambridge> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_period> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1977_births> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_religion> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Martin_Vechev> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/SIGPLAN> .
<http://caligraph.org/resource/Martin_Vechev>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_security> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programming_language_researcher> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/2000/01/rdf-schema#label>	"Martin Vechev" .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality_and_century> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_institution> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_continent> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_nationality> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_ethnicity> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Naturalists_by_century> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_continent> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_country_and_city> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century_and_nationality> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_city> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists> .
<http://caligraph.org/resource/Martin_Vechev>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Sofia> .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century> .
<http://caligraph.org/resource/Martin_Vechev>	<http://caligraph.org/ontology/birthYear>	"1977" .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_programming_language_researchers> .
<http://caligraph.org/resource/Martin_Vechev>	<http://caligraph.org/ontology/birthDate>	"1977-07-24" .
<http://caligraph.org/resource/Martin_Vechev>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Programming_language_researchers> .