Ian Horrocks is a Professor of Computer Science at the University of Manchester. His FaCT system revolutionised the design of Description Logic systems, redefining the notion of tractability for DLs and establishing a new standard for DL implementations. He was a member of the W3C Web Ontology Language working group, and was heavily involved in the development of the OIL, DAML+OIL and OWL ontology languages. He has published widely in leading journals and conferences and has been a member of the programme/editorial committees of numerous international conferences, workshops and journals. Back