<?xml version="1.0"?>
<rdf:RDF
    xmlns:bib="http://monet.nag.co.uk/bibliography#"
    xmlns:rss="http://purl.org/rss/1.0/"
    xmlns="http://monet.nag.co.uk/owl#"
    xmlns:algorithm="http://monet.nag.co.uk/algorithm#"
    xmlns:theory="http://monet.nag.co.uk/theories/"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:p2="http://www.openmath.org/"
    xmlns:p4="http://www.openmath.org/cdfiles/cdgroups/"
    xmlns:problem="http://monet.nag.co.uk/problems/"
    xmlns:jms="http://jena.hpl.hp.com/2003/08/jms#"
    xmlns:p3="http://www.w3.org/1998/Math/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:p5="http://www.wri.com/products/"
    xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#"
    xmlns:om="http://www.openmath.org/cd#"
    xmlns:gams="http://gams.nist.gov#"
    xmlns:vcard="http://www.w3.org/2001/vcard-rdf/3.0#"
    xmlns:p1="http://www.mathweb.org/"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:p6="http://www.maplesoft.com/products/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:symbolic="http://monet.nag.co.uk/owl/symbolic#"
    xmlns:xsd="http://www.w3.org/2000/XMLSchema#"
  xml:base="http://monet.nag.co.uk/owl">
  <owl:Ontology rdf:about="">
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/symbolic.owl?rev=HEAD"/>
    </owl:imports>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/problem.owl?rev=HEAD"/>
    </owl:imports>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/encodings.owl?rev=HEAD"/>
    </owl:imports>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/gams.owl?rev=HEAD"/>
    </owl:imports>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/software.owl?rev=HEAD"/>
    </owl:imports>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/directives.owl?rev=HEAD"/>
    </owl:imports>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/algorithm.owl?rev=HEAD"/>
<!--
      <owl:Ontology rdf:about="file://C/cygwin/home/miked/monet/monetcvs/owl/protege/algorithm.owl"/>
-->
    </owl:imports>
    <rdfs:label>The MONET Ontology</rdfs:label>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/hardware.owl?rev=HEAD"/>
    </owl:imports>
    <owl:imports>
      <owl:Ontology rdf:about="http://monet.nag.co.uk/cgi-bin/cvsweb.cgi/~checkout~/owl/protege/openmath.owl?rev=HEAD"/>
    </owl:imports>
  </owl:Ontology>

  <owl:Class rdf:ID="Classification">
    <rdfs:comment>The Classification Of a MONET Service</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="Query">
    <rdfs:comment>A MONET Query</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="Implementation">
    <rdfs:comment>The Implementation Of a MONET Service</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="Service">
    <rdfs:comment>A MONET Service Description</rdfs:comment>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="constrained_by_classification">
    <rdfs:range rdf:resource="http://monet.nag.co.uk/problems/Problem"/>
    <rdfs:domain rdf:resource="#Query"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="service_classification">
    <rdfs:range rdf:resource="#Classification"/>
    <rdfs:domain rdf:resource="#Service"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="service_implementation">
    <rdfs:range rdf:resource="#Implementation"/>
    <rdfs:domain rdf:resource="#Service"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="solved_by">
    <rdfs:range rdf:resource="#Classification"/>
    <rdfs:domain rdf:resource="http://monet.nag.co.uk/problems/Problem"/>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:about="#service_problem"/>
    </owl:inverseOf>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="constrained_by_implementation">
    <rdfs:range rdf:resource="#Implementation"/>
    <rdfs:domain rdf:resource="#Query"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="gams_class">
    <rdfs:range rdf:resource="http://gams.nist.gov#Gams"/>
    <rdfs:domain rdf:resource="#Classification"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="service_software">
    <rdfs:domain rdf:resource="#Implementation"/>
    <rdfs:range rdf:resource="#Software"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="service_directive">
    <rdfs:domain rdf:resource="#Classification"/>
    <rdfs:range rdf:resource="#Directive"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="service_platform">
    <rdfs:domain rdf:resource="#Implementation"/>
    <rdfs:range rdf:resource="#Computer"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="classification_for">
    <rdfs:range rdf:resource="#Service"/>
    <owl:inverseOf rdf:resource="#service_classification"/>
    <rdfs:domain rdf:resource="#Classification"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="service_algorithm">
    <rdfs:range rdf:resource="http://monet.nag.co.uk/algorithm#Algorithm"/>
    <rdfs:domain rdf:resource="#Implementation"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="service_problem">
    <rdfs:range rdf:resource="http://monet.nag.co.uk/problems/Problem"/>
    <rdfs:domain rdf:resource="#Classification"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="service_algorithmic_property">
    <rdfs:domain rdf:resource="#Implementation"/>
    <rdfs:range rdf:resource="http://www.openmath.org/cd#OpenMathSymbol"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="problem_head">
    <rdfs:range rdf:resource="http://www.openmath.org/cd#OpenMathSymbol"/>
    <rdfs:domain rdf:resource="#Query"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="problem_class">
    <rdfs:domain rdf:resource="#Query"/>
    <rdfs:range rdf:resource="http://gams.nist.gov#Gams"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="implementation_for">
    <rdfs:domain rdf:resource="#Implementation"/>
    <rdfs:range rdf:resource="#Service"/>
    <owl:inverseOf rdf:resource="#service_implementation"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="problem_kind">
    <rdfs:range rdf:resource="http://monet.nag.co.uk/problems/Problem"/>
    <rdfs:domain rdf:resource="#Query"/>
  </owl:ObjectProperty>
  <owl:DatatypeProperty rdf:ID="service_semantics">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#Classification"/>
  </owl:DatatypeProperty>
  <owl:FunctionalProperty rdf:ID="input_format">
    <rdfs:range rdf:resource="#Encoding"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:domain rdf:resource="#Classification"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="output_format">
    <rdfs:domain rdf:resource="#Classification"/>
    <rdfs:range rdf:resource="#Encoding"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
</rdf:RDF>

