The MONET Ontology The TPS library in OMDOC, http://gtps.math.cmu.edu/tps.html OMDOC theory collections available from www.mathweb.org. This theory collection makes available an interdependent collection of theories that define logics. These logics are a foundation for the interoperability and communication between reasoning services on MathWeb. URL of the source document for the theory