<rdf:RDF
    xmlns:iw="http://inferenceweb.stanford.edu/2004/03/iw.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#">
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#PrimitiveRule"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Team"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#InferenceEngine"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Source"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#hasSource"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#URL"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#name"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#firstSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#lastSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#inferenceEngineRule"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#version"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#submitter"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Neg-Paramod.owl#Neg-Paramod"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Paramod.owl#Paramod"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/UR-Res.owl#UR-Res"/>
  <iw:Team rdf:about="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
  <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/OTTER-TEAM.owl#OTTER-TEAM"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Factoring.owl#Factoring"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Hyp-Resolution.owl#Hyp-Resolution"/>
  <rdf:List rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/UD.owl#UD"/>
  <iw:InferenceEngine rdf:about="http://inferenceweb.stanford.edu/registry/IE/OTTER.owl#OTTER"
     iw:firstSubmissionDate="20030922162826"
     iw:lastSubmissionDate="20040317175552"
     iw:name="Otter"
     iw:URL="http://www-unix.mcs.anl.gov/AR/otter/"
     iw:version="3.2">
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/OTTER-TEAM.owl#OTTER-TEAM"/>
    </iw:hasSource>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
    <iw:inferenceEngineRule rdf:parseType="Collection">
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Bi-Resolution.owl#Bi-Resolution"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Factoring.owl#Factoring"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Hyp-Resolution.owl#Hyp-Resolution"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Neg-Paramod.owl#Neg-Paramod"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Paramod.owl#Paramod"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/UD.owl#UD"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/UR-Res.owl#UR-Res"/>
    </iw:inferenceEngineRule>
  </iw:InferenceEngine>
</rdf:RDF>