Ian Horrocks (original) (raw)
- 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. (en)
- Ian Robert Horrocks, né le 11 mars 1958 à Liverpool, est un informaticien britannique, spécialiste des représentation des connaissances et du raisonnement, en particulier les langages d'ontologie. (fr)
- dbr:Logic_in_computer_science
- dbr:Knowledge_representation_and_reasoning
- dbr:Artificial_intelligence
- dbr:Ontology_(information_science)
- dbr:Semantic_Web
- 1958-03-11 (xsd:date)
- Ian Robert Horrocks (en)
- https://www.oxfordsemantic.tech/
- http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/1997/phd.pdf
- 8643390 (xsd:integer)
- 12155 (xsd:nonNegativeInteger)
- 1071423291 (xsd:integer)
- dbr:Roger_Needham_Award
- dbr:Department_of_Computer_Science,_University_of_Manchester
- dbr:Description_Logic
- dbr:Description_logic
- dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
- dbr:United_Nations
- dbr:University_of_Manchester
- dbr:University_of_Oxford
- dbr:Decision_problem
- dbr:Reasoning_system
- dbc:Living_people
- dbr:Corporate_spin-off
- dbr:Master_of_Science
- dbr:Open_Biomedical_Ontologies
- dbr:Semantic_reasoner
- dbr:Engineering_and_Physical_Sciences_Research_Council
- dbr:Liverpool
- dbr:Computer_science
- dbr:BCS_Lovelace_Medal
- dbr:Bachelor_of_Science
- dbc:1958_births
- dbc:Fellows_of_the_Royal_Society
- dbr:British_Computer_Society
- dbc:Alumni_of_the_Victoria_University_of_Manchester
- dbr:Web_Ontology_Language
- dbr:DAML+OIL
- dbr:Logic_in_computer_science
- dbr:Fellow_of_the_Royal_Society
- dbr:Food_and_Agriculture_Organization
- dbr:Editor-in-chief
- dbr:Journal_of_Web_Semantics
- dbr:Knowledge_graph
- dbr:Knowledge_representation_and_reasoning
- dbr:Reader_(academic_rank)
- dbr:International_Semantic_Web_Conference
- dbr:Artificial_intelligence
- dbc:Artificial_intelligence_researchers
- dbc:Fellows_of_the_British_Computer_Society
- dbc:Fellows_of_Oriel_College,_Oxford
- dbc:People_associated_with_the_Department_...ter_Science,_University_of_Manchester
- dbc:Semantic_Web_people
- dbr:PhD
- dbr:Method_of_analytic_tableaux
- dbr:National_Cancer_Institute
- dbr:Ontology_(information_science)
- dbr:Oriel_College,_Oxford
- dbr:World_Wide_Web_Consortium
- dbr:In-memory_database
- dbr:Semantic_Web
- dbr:Ontology_language_(computer_science)
- dbr:Oxbridge_Fellow
- 1958-03-11 (xsd:date)
- Ian Robert Horrocks (en)
- Ian Horrocks (en)
- Artificial intelligence (en)
- Logic in computer science (en)
- Semantic Web (en)
- (en)
- Knowledge Representation (en)
- Ontologies (en)
- Web Ontology Language (en)
- (en)
- Description Logic (en)
- Ian Horrocks (en)
- British (en)
- Optimising tableaux decision procedures for description logics (en)
- 1997 (xsd:integer)
- dbt:Authority_control
- dbt:Citation_needed
- dbt:EngvarB
- dbt:For
- dbt:Post-nominals
- dbt:Reflist
- dbt:URL
- dbt:Use_dmy_dates
- dbt:Birth_date_and_age
- dbt:Infobox_scientist
- dbt:FRS_2011
- Oriel College, Oxford (en)
- University of Manchester (en)
- University of Oxford (en)
- (en)
- dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
- dbc:Living_people
- dbc:1958_births
- dbc:Fellows_of_the_Royal_Society
- dbc:Alumni_of_the_Victoria_University_of_Manchester
- dbc:Artificial_intelligence_researchers
- dbc:Fellows_of_the_British_Computer_Society
- dbc:Fellows_of_Oriel_College,_Oxford
- dbc:People_associated_with_the_Department_...ter_Science,_University_of_Manchester
- dbc:Semantic_Web_people
- owl:Thing
- foaf:Person
- dbo:Person
- dul:NaturalPerson
- wikidata:Q19088
- wikidata:Q215627
- wikidata:Q5
- wikidata:Q729
- yago:WikicatArtificialIntelligenceResearchers
- dbo:Animal
- dbo:Eukaryote
- dbo:Scientist
- dbo:Species
- schema:Person
- yago:WikicatLivingPeople
- wikidata:Q901
- yago:Alumnus109786338
- yago:Associate109816771
- yago:CausalAgent100007347
- yago:Colleague109935990
- yago:Intellectual109621545
- yago:LivingThing100004258
- yago:Object100002684
- yago:Organism100004475
- yago:Peer109626238
- yago:Person100007846
- yago:PhysicalEntity100001930
- yago:ResearchWorker110523076
- yago:YagoLegalActor
- yago:YagoLegalActorGeo
- dbo:Artist
- yago:Scholar110557854
- yago:Scientist110560637
- yago:Whole100003553
- yago:WikicatAlumniOfTheVictoriaUniversityOfManchester
- yago:WikicatFellowsOfOrielCollege,Oxford
- yago:WikicatFellowsOfTheBritishComputerSociety
- yago:WikicatFellowsOfTheRoyalSociety
- 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. (en)
- Ian Robert Horrocks, né le 11 mars 1958 à Liverpool, est un informaticien britannique, spécialiste des représentation des connaissances et du raisonnement, en particulier les langages d'ontologie. (fr)
- Ian Horrocks (en)
- Ian Horrocks (fr)
- freebase:Ian Horrocks
- http://viaf.org/viaf/61840632
- yago-res:Ian Horrocks
- http://d-nb.info/gnd/1136289895
- https://dblp.org/pid/h/IanHorrocks
- https://orcid.org/0000-0002-2685-7462
- wikidata:Ian Horrocks
- dbpedia-fr:Ian Horrocks
- https://global.dbpedia.org/id/4n76U
- Ian Horrocks (en)
is dbo:editor of
is dbo:notableStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
- dbr:Roger_Needham_Award
- dbr:List_of_fellows_of_the_Royal_Society_G,_H,_I
- dbr:List_of_fellows_of_the_Royal_Society_elected_in_2011
- dbr:Department_of_Computer_Science,_University_of_Manchester
- dbr:Department_of_Computer_Science,_University_of_Oxford
- dbr:Description_logic
- dbr:Ulrike_Sattler
- dbr:Ontology_Inference_Layer
- dbr:BCS_Lovelace_Medal
- dbr:Adam_Parr
- dbr:Web_Ontology_Language
- dbr:Pat_Hayes
- dbr:Journal_of_Web_Semantics
- dbr:List_of_Oriel_College,_Oxford,_people
- dbr:Alan_Rector
- dbr:Horrocks
is foaf:primaryTopic of