NAG maintains a large body of software including over 1200 extensively documented software modules. This talk will describe our work with emerging semantic web standards such as OpenMath, MathML and OWL to migrate our documentation into a form where it can be mechanically queried and manipulated, and used to provide semantically rich specifications of our software.