<rdf:RDF
    xmlns:iw="http://inferenceweb.stanford.edu/2004/07/iw.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#InferenceEngine"/>
  <iw:InferenceEngine rdf:about="http://inferenceweb.stanford.edu/registry/IE/CWM.owl#CWM">
    <iw:URL rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >http://www.w3.org/2000/10/swap/doc/cwm.html</iw:URL>
    <iw:inferenceEngineRule rdf:resource="http://inferenceweb.stanford.edu/registry/DPR/AND-Elimination.owl#AND-Elimination"/>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/TAMI-Team.owl#TAMI-Team"/>
    <iw:inferenceEngineRule rdf:resource="http://inferenceweb.stanford.edu/registry/DPR/CWM_Builtin.owl#CWM_Builtin"/>
    <iw:name rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >CWM - W3C Semantic Web Closed World Machine</iw:name>
    <iw:lastSubmissionDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >2006-07-14T17:50:28-08:00</iw:lastSubmissionDate>
    <iw:inferenceEngineRule rdf:resource="http://inferenceweb.stanford.edu/registry/DPR/Told.owl#Told"/>
    <iw:inferenceEngineRule rdf:resource="http://inferenceweb.stanford.edu/registry/DPR/AND-INTRO.owl#AND-INTRO"/>
    <iw:firstSubmissionDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >20031118235917</iw:firstSubmissionDate>
    <iw:inferenceEngineRule rdf:resource="http://inferenceweb.stanford.edu/registry/DPR/GMP.owl#GMP"/>
  </iw:InferenceEngine>
</rdf:RDF>