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.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| foaf:name |
|
| foaf:depiction | |
| dc:description |
|
| alma mater | |
| award | |
| birth date |
|
| birth name |
|
| birth year |
|
| field | |
| known for | |
| thumbnail | |
| is editor of | |
| is notable student of |