The work described here was funded by the award made by the RCUK Digital Economy programme to the University of Aberdeen (EP/R033501/1).
The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.