Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Ian_Horrocks> ?p ?o. }
Showing items 1 to 98 of
98
with 100 items per page.
- 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 factplusplus.
- Ian_Horrocks wikiPageExternalLink pellet.owldl.com.
- Ian_Horrocks wikiPageExternalLink ian.horrocks.
- Ian_Horrocks wikiPageExternalLink phd.pdf.
- Ian_Horrocks wikiPageID "8643390".
- Ian_Horrocks wikiPageRevisionID "602893585".
- Ian_Horrocks almaMater University_of_Manchester.
- Ian_Horrocks awards "* Roger Needham award * FRS".
- 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 * Andrew Bate * Birte Glimm * Lei Li * Despoina Magka * Jeff Z. Pan * Héctor Pérez-Urbina * Rob Shearer * František Simančik * Giorgio Stefanoni * Yujiao Zhou".
- Ian_Horrocks fields "* Semantic Web * Ontologies * Knowledge Representation * Artificial Intelligence * Logic in Computer Science".
- Ian_Horrocks hasPhotoCollection Ian_Horrocks.
- Ian_Horrocks knownFor "* Description Logic * Web Ontology Language".
- 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 workplaces "* University of Oxford * Oriel College, Oxford * University of Manchester".
- 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_Oxford_University_Department_of_Computer_Science.
- Ian_Horrocks subject Category:School_of_Computer_Science,_University_of_Manchester.
- Ian_Horrocks type AlumniOfTheVictoriaUniversityOfManchester.
- Ian_Horrocks type Alumnus109786338.
- Ian_Horrocks type ArtificialIntelligenceResearchers.
- Ian_Horrocks type Associate109816771.
- Ian_Horrocks type CausalAgent100007347.
- Ian_Horrocks type Colleague109935990.
- Ian_Horrocks type FellowsOfOrielCollege,Oxford.
- Ian_Horrocks type FellowsOfTheBritishComputerSociety.
- Ian_Horrocks type FellowsOfTheRoyalSociety.
- Ian_Horrocks type Intellectual109621545.
- Ian_Horrocks type LivingPeople.
- Ian_Horrocks type LivingThing100004258.
- Ian_Horrocks type Object100002684.
- Ian_Horrocks type Organism100004475.
- Ian_Horrocks type Peer109626238.
- Ian_Horrocks type Person100007846.
- Ian_Horrocks type PhysicalEntity100001930.
- Ian_Horrocks type ResearchWorker110523076.
- Ian_Horrocks type Scholar110557854.
- Ian_Horrocks type Scientist110560637.
- Ian_Horrocks type Whole100003553.
- Ian_Horrocks type YagoLegalActor.
- Ian_Horrocks type YagoLegalActorGeo.
- Ian_Horrocks type Agent.
- Ian_Horrocks type Person.
- Ian_Horrocks type Scientist.
- Ian_Horrocks type Person.
- Ian_Horrocks type Q215627.
- Ian_Horrocks type Q5.
- Ian_Horrocks type Agent.
- Ian_Horrocks type NaturalPerson.
- Ian_Horrocks type Thing.
- 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 sameAs Ian_Horrocks.
- Ian_Horrocks wasDerivedFrom Ian_Horrocks?oldid=602893585.
- 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".