<rdf:RDF
    xmlns:rss="http://purl.org/rss/1.0/"
    xmlns="http://monet.nag.co.uk/owl#"
    xmlns:jms="http://jena.hpl.hp.com/2003/08/jms#"
    xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:vcard="http://www.w3.org/2001/vcard-rdf/3.0#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
  xml:base="http://monet.nag.co.uk/owl">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="http://protege.stanford.edu/plugins/owl/protege"/>
  </owl:Ontology>
  <owl:Class rdf:ID="Aldor_Algebra">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#name"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Algebra</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Aldor_Libraries"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >v1.0.1</owl:hasValue>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#version"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment>General-purpose computer algebra library in Aldor</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="Maple9">
    <rdfs:comment>Command the brilliance of a thousand mathematicians</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Maple"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >v9.0</owl:hasValue>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#version"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="ProgrammingLanguage">
    <rdfs:comment>General class of all programming languages</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="Maple8">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#version"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >v8</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Maple"/>
    </rdfs:subClassOf>
    <rdfs:comment>Maple Computer Algebra System</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="Software">
    <rdfs:comment>General class of all computer software</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="C">
    <rdfs:subClassOf rdf:resource="#ProgrammingLanguage"/>
  </owl:Class>
  <owl:Class rdf:ID="Fortran95">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Fortran"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Aldor_Libraries">
    <rdfs:subClassOf>
      <owl:Class>
	<owl:intersectionOf rdf:parseType="Collection">
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class rdf:about="#Aldor"/>
            </owl:someValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="#ImplementationLanguage"/>
            </owl:onProperty>
          </owl:Restriction>
          <owl:Restriction>
            <owl:allValuesFrom>
              <owl:Class rdf:about="#Aldor"/>
            </owl:allValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="#ImplementationLanguage"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </rdfs:subClassOf>
    <rdfs:comment>Libraries developed as Aldor Projects</rdfs:comment>
    <rdfs:subClassOf rdf:resource="#Software"/>
  </owl:Class>
  <owl:Class rdf:ID="Maple">
    <rdfs:subClassOf rdf:resource="#Software"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#creator"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Maplesoft</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Maple</owl:hasValue>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#name"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Fortran90">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Fortran"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Fortran77">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Fortran"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="CPlusPlus">
    <rdfs:subClassOf rdf:resource="#ProgrammingLanguage"/>
  </owl:Class>
  <owl:Class rdf:ID="NAG_C_Library">
    <rdfs:subClassOf>
      <owl:Class>
	<owl:intersectionOf rdf:parseType="Collection">
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class rdf:about="#C"/>
            </owl:someValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="#ImplementationLanguage"/>
            </owl:onProperty>
          </owl:Restriction>
          <owl:Restriction>
            <owl:allValuesFrom>
              <owl:Class rdf:about="#C"/>
            </owl:allValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="#ImplementationLanguage"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >NAG C Library</owl:hasValue>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#name"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment>Numerical Algorithms implemented in C</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#creator"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Numerical Algorithms Group</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Software"/>
  </owl:Class>
  <owl:Class rdf:ID="NAG_C_Library_7">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#version"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >v7</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#NAG_C_Library"/>
  </owl:Class>
  <owl:Class rdf:ID="Fortran">
    <rdfs:subClassOf rdf:resource="#ProgrammingLanguage"/>
  </owl:Class>
  <owl:Class rdf:ID="Java">
    <rdfs:subClassOf rdf:resource="#ProgrammingLanguage"/>
  </owl:Class>
  <owl:Class rdf:ID="Aldor">
    <rdfs:subClassOf rdf:resource="#ProgrammingLanguage"/>
  </owl:Class>
  <owl:Class rdf:ID="Mathematica4">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Mathematica"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#version"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >v4.2</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Mathematica">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#creator"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Wolfram Research</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#name"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Mathematica</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment>The way the world calculates</rdfs:comment>
    <rdfs:subClassOf rdf:resource="#Software"/>
  </owl:Class>
  <owl:Class rdf:ID="Aldor_Sumit">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Manuel Bronstein</owl:hasValue>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#creator"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment>Algorithms for manipulating and solving linear ordinary differential and difference equations and systems.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="#Aldor_Libraries"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#name"/>
        </owl:onProperty>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Sumit</owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Lisp">
    <rdfs:subClassOf rdf:resource="#ProgrammingLanguage"/>
  </owl:Class>
  <owl:Class rdf:ID="Mathematica5">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >v5</owl:hasValue>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#version"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Mathematica"/>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="ImplementationLanguage">
    <rdfs:range rdf:resource="#ProgrammingLanguage"/>
    <rdfs:domain rdf:resource="#Software"/>
  </owl:ObjectProperty>
  <owl:DatatypeProperty rdf:ID="name">
    <rdfs:domain rdf:resource="#Software"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="creator">
    <rdfs:domain rdf:resource="#Software"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <owl:FunctionalProperty rdf:ID="version">
    <rdfs:domain rdf:resource="#Software"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:FunctionalProperty>
</rdf:RDF>