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.

Property Value
dbo: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. (en)
dbo:almaMater
dbo:award
dbo:birthDate
  • 1958-03-11 (xsd:date)
  • 1958-3-11
dbo:birthName
  • Ian Robert Horrocks (en)
dbo:field
dbo:knownFor
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8643390 (xsd:integer)
dbo:wikiPageRevisionID
  • 744994181 (xsd:integer)
dbp:caption
  • Ian Horrocks
dbp:doctoralStudents
  • * Ana Armas
  • * Andrew Bate
  • * Yujiao Zhou
  • * Birte Glimm * Lei Li * Despoina Magka * Jeff Z. Pan * Héctor Pérez-Urbina * Rob Shearer * František Simančik * Giorgio Stefanoni
dbp:nationality
  • British
dbp:notableStudents
  • Matthew Horridge
dbp:thesisTitle
  • Optimising tableaux decision procedures for description logics
dbp:thesisUrl
dbp:thesisYear
  • 1997 (xsd:integer)
dbp:workplaces
dct:description
  • British computer scientist (en)
dct:subject
rdf:type
rdfs: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. (en)
rdfs:label
  • Ian Horrocks (en)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:gender
  • male (en)
foaf:givenName
  • Ian (en)
foaf:isPrimaryTopicOf
foaf:name
  • Ian Horrocks (en)
foaf:surname
  • Horrocks (en)
is dbo:editor of
is dbo:notableStudent of
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of