Ian Horrocks

I am a Lecturer in Computer Science at the University of Manchester. I
am a member of the Information Management Group, although I also
work with several other groups within the department including Formal
Methods and Medical Informatics.

I am also "Chief Technology Officer" at Network Inference Ltd
(, and it is in this capacity that I
am participating in the working group.

My primary research interest is Knowledge Representation; in
particular ontologies and ontology languages, tableaux algorithms for
Description Logics (DLs), optimisation techniques for such algorithms,
and the application of all of the above to the Semantic Web.

He was jointly responsible for the development of both the OIL and
DAML+OIL semantic web ontology languages. I also designed and
implemented the FaCT system, and was involved in the development of
the OilEd ontology editor.

You can find out more about me at:

My nearest airport is:

<apt:Airport rdf:about="">
  <apt:name>Manchester Airport, United Kingdom </apt:name>

Regards, Ian
Ian Horrocks, Department of Computer Science,
University of Manchester, Oxford Road, Manchester, M13 9PL, UK.
Tel: +44 161 275 6133  Fax: +44 161 275 6204  Email:

Received on Tuesday, 6 November 2001 14:22:53 UTC