Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Ian_Horrocks> ?p ?o }
- Ian_Horrocks name "Horrocks, Ian".
- Ian_Horrocks name "Ian Horrocks".
- Ian_Horrocks nationality "British".
- Ian_Horrocks notableStudents "Matthew Horridge".
- Ian_Horrocks shortDescription "British computer scientist".
- Ian_Horrocks thesisTitle "Optimising tableaux decision procedures for description logics".
- Ian_Horrocks thesisUrl phd.pdf.
- Ian_Horrocks thesisYear "1997".
- Ian_Horrocks wikiPageUsesTemplate Template:Authority_control.
- Ian_Horrocks wikiPageUsesTemplate Template:For.
- Ian_Horrocks wikiPageUsesTemplate Template:Infobox_scientist.
- Ian_Horrocks wikiPageUsesTemplate Template:Persondata.
- Ian_Horrocks wikiPageUsesTemplate Template:Reflist.
- Ian_Horrocks workplaces Oriel_College,_Oxford.
- Ian_Horrocks workplaces University_of_Manchester.
- Ian_Horrocks workplaces University_of_Oxford.
- Ian_Horrocks workplaces "*".
- Ian_Horrocks description "British computer scientist".
- Ian_Horrocks description "British computer scientist".
- Ian_Horrocks subject Category:1958_births.
- Ian_Horrocks subject Category:Alumni_of_the_Victoria_University_of_Manchester.
- Ian_Horrocks subject Category:Artificial_intelligence_researchers.
- Ian_Horrocks subject Category:Fellows_of_Oriel_College,_Oxford.
- Ian_Horrocks subject Category:Fellows_of_the_British_Computer_Society.
- Ian_Horrocks subject Category:Fellows_of_the_Royal_Society.
- Ian_Horrocks subject Category:Living_people.
- Ian_Horrocks subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Ian_Horrocks subject Category:School_of_Computer_Science,_University_of_Manchester.
- Ian_Horrocks hypernym Professor.
- Ian_Horrocks type Agent.
- Ian_Horrocks type Article.
- Ian_Horrocks type List.
- Ian_Horrocks type Person.
- Ian_Horrocks type Scientist.
- Ian_Horrocks type Article.
- Ian_Horrocks type List.
- Ian_Horrocks type Member.
- Ian_Horrocks type Scientist.
- Ian_Horrocks type Winner.
- Ian_Horrocks type Person.
- Ian_Horrocks type Agent.
- Ian_Horrocks type NaturalPerson.
- Ian_Horrocks type Thing.
- Ian_Horrocks type Q215627.
- Ian_Horrocks type Q5.
- Ian_Horrocks type Q901.
- Ian_Horrocks type Person.
- Ian_Horrocks comment "Ian Robert Horrocks FRS is a Professor of Computer Science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.".
- Ian_Horrocks label "Ian Horrocks".
- Ian_Horrocks sameAs m.027c7z0.
- Ian_Horrocks sameAs Q5981834.
- Ian_Horrocks sameAs Q5981834.
- Ian_Horrocks wasDerivedFrom Ian_Horrocks?oldid=679407357.
- Ian_Horrocks depiction Ian_Horrocks_mg_7439.jpg.
- Ian_Horrocks givenName "Ian".
- Ian_Horrocks isPrimaryTopicOf Ian_Horrocks.
- Ian_Horrocks name "Horrocks, Ian".
- Ian_Horrocks name "Ian Horrocks".
- Ian_Horrocks surname "Horrocks".