Ian Horrocks is a Professor of Computer Science at the University of Manchester in the UK. His research focuses on knowledge representation, particularly ontology languages, description logics, and optimised reasoning algorithms. His work on tableau reasoning for very expressive description logics has formed the basis of most description logic reasoning systems in use today, including Racer, FaCT++, and Pellet. Prof. Wikipedia
The definitive Wikipedia entry for Ian Horrocks. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Ian_Horrocks
