1. 
   Ian Horrocks
   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 reasonin...
   Found op http://en.wikipedia.org/wiki/Ian_Horrocks
   
   
2. 
   Ian Horrocks
   [RAF officer] 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 ...
   Found op http://en.wikipedia.org/wiki/Ian_Horrocks_(RAF_officer)
   
   

Tip: double click on a word to show its meaning.