Ian 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, particularly ontology languages , description logic, and optimised reasoning algorithms. His work on tableau reasoning for very expressive description logics has forme
Found on http://en.wikipedia.org/wiki/Ian_Horrocks
Air Commodore Ian Horrocks was a British Royal Air Force helicopter pilot, a senior Royal Air Force officer in the 1970s and 1980s and a Commandant Royal Observer Corps. Horrocks was the Station Commander of RAF Shawbury from 1978 to 1980. Horrocks retired as Air Commadore and was on the Air Marshal`s list. ...
Found on http://en.wikipedia.org/wiki/Ian_Horrocks_(RAF_officer)
No exact match found