Ian Robert Horrocks (born March 11, 1958, in Liverpool) is a professor of computer science at the University of Oxford and a Fellow of Oriel College, known for his work on description logic and the Web Ontology Language. His research covers knowledge representation and reasoning, particularly ontology languages, description logic and optimized tableaux decision procedures, and he authored the OIL, DAML+OIL and OWL ontology language standards, chairing the World Wide Web Consortium working group that standardized OWL 2. His 1997 doctoral thesis was titled Optimising Tableaux Decision Procedures for Description Logics, and he received the Roger Needham Award in 2005 and the BCS Lovelace Medal in 2020.
Facts
AwardFellow of the Royal Society 1 AwardFellow of the British Computer Society 1 Connections
In Field
Source Ian Horrocks (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikidata: Ian R. Horrocks
- Wikidata Q5981834, resolved via en.wikipedia pageprops (wave rule R-L)
- Wikidata Q5981834 P569 (date of birth)
View the SourceIan Horrocks (Wikipedia)
In Field: Artificial Intelligence, Infobox: fieldsQuote, In Field: Artificial Intelligence, Infobox: fields
Semantic Web Ontology (information science), Ontologies Knowledge representation and reasoning, Knowledge Representation Artificial intelligence Logic in computer science
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.