Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Ian_Horrocks> ?p ?o }
- Ian_Horrocks abstract "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 almaMater University_of_Manchester.
- Ian_Horrocks award Roger_Needham.
- Ian_Horrocks award Royal_Society.
- Ian_Horrocks birthDate "1958".
- Ian_Horrocks birthDate "1958-03-11".
- Ian_Horrocks birthName "Ian Robert Horrocks".
- Ian_Horrocks birthYear "1958".
- Ian_Horrocks field Artificial_intelligence.
- Ian_Horrocks field Knowledge_representation_and_reasoning.
- Ian_Horrocks field Logic_in_computer_science.
- Ian_Horrocks field Ontology_(information_science).
- Ian_Horrocks field Semantic_Web.
- Ian_Horrocks knownFor Description_logic.
- Ian_Horrocks knownFor Web_Ontology_Language.
- Ian_Horrocks thumbnail Ian_Horrocks_mg_7439.jpg?width=300.
- Ian_Horrocks wikiPageExternalLink phd.pdf.
- Ian_Horrocks wikiPageExternalLink factplusplus.
- Ian_Horrocks wikiPageExternalLink pellet.owldl.com.
- Ian_Horrocks wikiPageExternalLink ian.horrocks.
- Ian_Horrocks wikiPageID "8643390".
- Ian_Horrocks wikiPageLength "13521".
- Ian_Horrocks wikiPageOutDegree "55".
- Ian_Horrocks wikiPageRevisionID "679407357".
- Ian_Horrocks wikiPageWikiLink Artificial_intelligence.
- Ian_Horrocks wikiPageWikiLink Bachelor_of_Science.
- Ian_Horrocks wikiPageWikiLink British_Computer_Society.
- Ian_Horrocks wikiPageWikiLink Category:1958_births.
- Ian_Horrocks wikiPageWikiLink Category:Alumni_of_the_Victoria_University_of_Manchester.
- Ian_Horrocks wikiPageWikiLink Category:Artificial_intelligence_researchers.
- Ian_Horrocks wikiPageWikiLink Category:Fellows_of_Oriel_College,_Oxford.
- Ian_Horrocks wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
- Ian_Horrocks wikiPageWikiLink Category:Fellows_of_the_Royal_Society.
- Ian_Horrocks wikiPageWikiLink Category:Living_people.
- Ian_Horrocks wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Ian_Horrocks wikiPageWikiLink Category:School_of_Computer_Science,_University_of_Manchester.
- Ian_Horrocks wikiPageWikiLink Computer_science.
- Ian_Horrocks wikiPageWikiLink DAML+OIL.
- Ian_Horrocks wikiPageWikiLink Decision_problem.
- Ian_Horrocks wikiPageWikiLink Description_logic.
- Ian_Horrocks wikiPageWikiLink Doctor_of_Philosophy.
- Ian_Horrocks wikiPageWikiLink Editor-in-chief.
- Ian_Horrocks wikiPageWikiLink Engineering_and_Physical_Sciences_Research_Council.
- Ian_Horrocks wikiPageWikiLink Fellow.
- Ian_Horrocks wikiPageWikiLink Food_and_Agriculture_Organization.
- Ian_Horrocks wikiPageWikiLink International_Semantic_Web_Conference.
- Ian_Horrocks wikiPageWikiLink Journal_of_Web_Semantics.
- Ian_Horrocks wikiPageWikiLink Knowledge_representation_and_reasoning.
- Ian_Horrocks wikiPageWikiLink Lecturer.
- Ian_Horrocks wikiPageWikiLink Logic_in_computer_science.
- Ian_Horrocks wikiPageWikiLink Master_of_Science.
- Ian_Horrocks wikiPageWikiLink Method_of_analytic_tableaux.
- Ian_Horrocks wikiPageWikiLink National_Cancer_Institute.
- Ian_Horrocks wikiPageWikiLink Ontology_(information_science).
- Ian_Horrocks wikiPageWikiLink Ontology_language.
- Ian_Horrocks wikiPageWikiLink Open_Biomedical_Ontologies.
- Ian_Horrocks wikiPageWikiLink Oriel_College,_Oxford.
- Ian_Horrocks wikiPageWikiLink Professor.
- Ian_Horrocks wikiPageWikiLink Reader_(academic_rank).
- Ian_Horrocks wikiPageWikiLink Roger_Needham.
- Ian_Horrocks wikiPageWikiLink Royal_Society.
- Ian_Horrocks wikiPageWikiLink School_of_Computer_Science,_University_of_Manchester.
- Ian_Horrocks wikiPageWikiLink Semantic_Web.
- Ian_Horrocks wikiPageWikiLink United_Nations.
- Ian_Horrocks wikiPageWikiLink University_of_Manchester.
- Ian_Horrocks wikiPageWikiLink University_of_Oxford.
- Ian_Horrocks wikiPageWikiLink Web_Ontology_Language.
- Ian_Horrocks wikiPageWikiLink World_Wide_Web_Consortium.
- Ian_Horrocks wikiPageWikiLinkText "Ian Horrocks".
- Ian_Horrocks almaMater University_of_Manchester.
- Ian_Horrocks awards Roger_Needham.
- Ian_Horrocks awards Royal_Society.
- Ian_Horrocks awards "*".
- Ian_Horrocks awards "award *".
- Ian_Horrocks birthDate "1958-03-11".
- Ian_Horrocks birthName "Ian Robert Horrocks".
- Ian_Horrocks caption "Ian Horrocks".
- Ian_Horrocks dateOfBirth "1958".
- Ian_Horrocks doctoralStudents "* Ana Armas".
- Ian_Horrocks doctoralStudents "* Andrew Bate".
- Ian_Horrocks doctoralStudents "* Birte Glimm * Lei Li * Despoina Magka * Jeff Z. Pan * Héctor Pérez-Urbina * Rob Shearer * František Simančik * Giorgio Stefanoni".
- Ian_Horrocks doctoralStudents "* Yujiao Zhou".
- Ian_Horrocks fields Artificial_intelligence.
- Ian_Horrocks fields Knowledge_representation_and_reasoning.
- Ian_Horrocks fields Logic_in_computer_science.
- Ian_Horrocks fields Ontology_(information_science).
- Ian_Horrocks fields Semantic_Web.
- Ian_Horrocks fields "*".
- Ian_Horrocks knownFor Description_logic.
- Ian_Horrocks knownFor Web_Ontology_Language.
- Ian_Horrocks knownFor "*".
- 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.