<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Principles_of_Model_Checking>	<http://caligraph.org/ontology/author>	<http://caligraph.org/resource/Joost-Pieter_Katoen> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Philips> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Joost-Pieter_Katoen> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/2000/01/rdf-schema#label>	"Joost-Pieter Katoen" .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/nationality>	<http://caligraph.org/resource/Netherlands> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Dutch_computer_scientists> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Aalborg_University> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Academia_Europaea> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/birthYear>	"1964" .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Twente> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Joost-Pieter Katoen" .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Formal_methods_person> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/German_computer_scientist> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Eindhoven_University_of_Technology> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Model_checking> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Formal_methods_people> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/RWTH_Aachen_University> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/citizenship>	<http://caligraph.org/resource/Netherlands> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1964_births> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Eindhoven_University_of_Technology> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Erlangen%E2%80%93Nuremberg> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Dutch_computer_scientist> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Probabilistic_programming> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<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/Joost-Pieter_Katoen>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Katoen, J." .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1964_birth> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<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/Joost-Pieter_Katoen>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:German_computer_scientists> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Twente> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/European_Research_Council> .
<http://caligraph.org/resource/Joost-Pieter_Katoen>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/RWTH_Aachen_University> .