Ontologies are formal descriptions of the world encoded in a “computational logic”. The Web is the largest information structure in the world encompassing everything from a substantial part of the world economy to the fluffiest of emphemera. When the tidy world of logic hits the sprawling mudball of the web, the result is the W3C’s Web Ontology Language, OWL.
The University of Manchester has a rich tradition of developing ontology languages, tools, methodologies, and applications. Historically, several lines of research at Manchester contributed directly to the development of OWL as a W3C standard and the School of Computer Science continues to be recognized as an international centre of OWL and OWL related research.