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-01-01 (xsd:date)
  • 1958-03-11 (xsd:date)
dbo:birthName
  • Ian Robert Horrocks (en)
dbo:birthYear
  • 1958-01-01 (xsd:date)
dbo:field
dbo:knownFor
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8643390 (xsd:integer)
dbo:wikiPageRevisionID
  • 679407357 (xsd:integer)
dbp:almaMater
dbp:awards
dbp:birthDate
  • 1958-03-11 (xsd:date)
dbp:birthName
  • Ian Robert Horrocks (en)
dbp:dateOfBirth
  • 1958 (xsd:integer)
dbp:fields
dbp:knownFor
dbp:name
  • Ian Horrocks (en)
  • Horrocks, Ian (en)
dbp:shortDescription
  • British computer scientist (en)
dc:description
  • British computer scientist (en)
  • British computer scientist
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:givenName
  • Ian (en)
foaf:isPrimaryTopicOf
foaf:name
  • Ian Horrocks (en)
  • Horrocks, Ian (en)
foaf:surname
  • Horrocks (en)
is dbo:editor of
is dbo:notableStudent of
is dbo:wikiPageDisambiguates of
is dbp:notableStudents of
is foaf:primaryTopic of