<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/birthYear>	"1945" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_King\u0027s_College_London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1945_birth> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Gabbay\u0027s_separation_theorem> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_field> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_membership> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_award> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_nationality> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"D.M. Gabbay" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_religion> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_period> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Gabbay, Dov" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_religion> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_of_Imperial_College_London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1945_births> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Philosopher_born_in_the_20th_century> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_Imperial_College_London_by_department> .
<http://caligraph.org/resource/Michael_O._Rabin>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Dov_Gabbay> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/King\u0027s_College_London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_Imperial_College_London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Department_of_Philosophy,_King\u0027s_College_London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_logicians> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Dov_Gabbay> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_Israeli_philosopher> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Gabbay, Dov M." .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/birthDate>	"1945-10-23" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_British_philosophers> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_continent> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_country_and_city> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"D. Gabbay" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century_and_nationality> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2000/01/rdf-schema#label>	"Dov Gabbay" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"D. M. Gabbay" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_city> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_continent> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_philosophers_born_in_the_20th_century> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_nationality> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_ethnicity> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Naturalists_by_century> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_philosopher> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality_and_century> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_institution> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Philosophy> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Gabbay, D.M." .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_of_King\u0027s_College_London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Department_of_Computing,_Imperial_College_London> .
<http://caligraph.org/resource/Journal_of_Logic_and_Computation>	<http://caligraph.org/ontology/editor>	<http://caligraph.org/resource/Dov_Gabbay> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Michael_O._Rabin> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H)> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Dov M. Gabbay" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Mathematics> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/People_by_Erd%C5%91s_number> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Royal_Society_of_Arts> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Toulouse_III_-_Paul_Sabatier_University> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Alexander_von_Humboldt_Foundation> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Imperial_College_London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_Israeli_philosophers> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/University_of_Agder> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_philosophers_by_century> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_Jewish_mathematicians> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Azriel_L%C3%A9vy> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_philosophers> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Gabbay, Dov M" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Imperial_College_London> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Dov_Gabbay> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Jewish_philosophers> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_logicians> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Non-monotonic_logic> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Gabbay" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#altLabel>	"D Gabbay" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Dov Gabbay" .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Jewish_philosopher> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_logician> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Jewish_mathematician> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Royal_Society_of_Canada> .
<http://caligraph.org/resource/Dov_Gabbay>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Expert_system> .