<rdf:RDF
    xmlns="http://monet.nag.co.uk/owl#"
    xml:base="http://monet.nag.co.uk/owl#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
  <owl:Ontology rdf:about="">
  </owl:Ontology>

  <owl:Class rdf:ID="Encoding">
    <rdfs:comment>The class of all encodings for mathematical objects.
    </rdfs:comment>
  </owl:Class>

  <owl:Class rdf:ID="XML_Encoding">
    <rdfs:comment>The class of all XML-based encodings for mathematical objects.
    </rdfs:comment>
    <rdfs:subClassOf rdf:resource="#Encoding"/>
  </owl:Class>

  <owl:Class rdf:ID="String_Encoding">
    <rdfs:comment>The class of all 1-dimensional string-based encodings
                  for mathematical objects.
    </rdfs:comment>
    <rdfs:subClassOf rdf:resource="#Encoding"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.maplesoft.com/products/maple">
    <rdfs:subClassOf rdf:resource="#String_Encoding"/>
    <rdfs:comment>The Maple language</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="http://www.wri.com/products/mathematica">
    <rdfs:subClassOf rdf:resource="#String_Encoding"/>
    <rdfs:comment>The Mathematica Language</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="http://www.latex-project.org">
    <rdfs:subClassOf rdf:resource="#String_Encoding"/>
    <rdfs:comment>LaTeX</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/OpenMath">
    <rdfs:subClassOf rdf:resource="#XML_Encoding"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/mathml.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/algstr1.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/arith.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/combinat1.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/constants.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/error.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/fns.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/group1.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/linalg.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/list.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/meta.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/polygrp.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/sets.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/transc.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/types1.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/types2.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.openmath.org/cdfiles/cdgroups/units.cdg">
    <rdfs:subClassOf rdf:resource="http://www.openmath.org/OpenMath"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.w3.org/1998/Math/MathML">
    <rdfs:subClassOf rdf:resource="#XML_Encoding"/>
  </owl:Class>

  <owl:Class rdf:about="http://www.mathweb.org/omdoc">
    <rdfs:subClassOf rdf:resource="#XML_Encoding"/>
  </owl:Class>

</rdf:RDF>