<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_membership> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_award> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_nationality> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_religion> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Web_Ontology_Language> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_Oriel_College,_Oxford> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_British_Computer_Society> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences)> .
<http://caligraph.org/resource/Alan_Rector>	<http://caligraph.org/ontology/notableStudent>	<http://caligraph.org/resource/Ian_Horrocks> .
<http://caligraph.org/resource/Journal_of_Web_Semantics>	<http://caligraph.org/ontology/editor>	<http://caligraph.org/resource/Ian_Horrocks> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Roger_Needham_Award> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_period> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Alumni_of_the_Victoria_University_of_Manchester> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_religion> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Oriel_College,_Oxford,_people> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/birthName>	"Ian Robert Horrocks" .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Oxford> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Naturalists_by_century> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Semantic_Web_person> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_2011> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Artificial_intelligence_researchers> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Ontology_(information_science)> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Person_associated_with_the_Department_of_Computer_Science,_University_of_Manchester> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/birthDate>	"1958-03-11" .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/BCS_Lovelace_Medal> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Knowledge_representation_and_reasoning> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Semantic_Web_people> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_continent> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_nationality> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_ethnicity> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality_and_century> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_institution> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1958_births> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/2000/01/rdf-schema#label>	"Ian Horrocks" .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/BCS_Lovelace_Medal> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_continent> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_country_and_city> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century_and_nationality> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Alumnus_of_the_Victoria_University_of_Manchester> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_city> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Description_logic> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Walking_Like_We_Do> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Ian Horrocks" .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Department_of_Computer_Science,_University_of_Manchester> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Manchester> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_Oriel_College,_Oxford,_people> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Ian_Horrocks> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/birthYear>	"1958" .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,_I> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Member_of_the_Department_of_Computer_Science,_University_of_Oxford> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,_L> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,_C> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Liverpool> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,_F> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,_V> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,_Z> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic_in_computer_science> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,_R> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1958_birth> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Manchester> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_Oriel_College,_Oxford> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Artificial_intelligence> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society_by_year> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Victoria_University_of_Manchester> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Oriel_College,_Oxford> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Artificial_intelligence_researcher> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Department_of_Computer_Science,_University_of_Oxford> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/BCS,_The_Chartered_Institute_for_IT> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Semantic_Web> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_Royal_Society_elected_in_2011> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Roger_Needham_Award> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_British_Computer_Society> .
<http://caligraph.org/resource/Ian_Horrocks>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_field> .