<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#Source"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#PrimitiveRule"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#InferenceEngine"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#Team"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#firstSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#URL"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#name"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#inferenceEngineRule"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#lastSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#hasSource"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#submitter"/>
  <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/JTP-TEAM.owl#JTP-TEAM"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/ValueLinkCreationReasoningStep.owl#ValueLinkCreationReasoningStep"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Told.owl#Told"/>
  <iw:Team rdf:about="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/GMP.owl#GMP"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TranslationReasoningStep.owl#TranslationReasoningStep"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Demod.owl#Demod"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TimePoint.owl#TimePoint"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/FrameMetaInfoReasoningStep.owl#FrameMetaInfoReasoningStep"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/MPR/Func.owl#Func"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Member.owl#Member"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TimePointMap.owl#TimePointMap"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/VCListenerCreationReasoningStep.owl#VCListenerCreationReasoningStep"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Subsump.owl#Subsump"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/MembershipThruLinkStep.owl#MembershipThruLinkStep"/>
  <iw:InferenceEngine rdf:about="http://inferenceweb.stanford.edu/registry/IE/JTP.owl#JTP">
    <iw:name>JTP - KSL Java Theorem Prover</iw:name>
    <iw:firstSubmissionDate>20031119000959</iw:firstSubmissionDate>
    <iw:URL>http://www.ksl.stanford.edu/software/JTP/</iw:URL>
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/JTP-TEAM.owl#JTP-TEAM"/>
    </iw:hasSource>
    <iw:lastSubmissionDate>20060126120418</iw:lastSubmissionDate>
    <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/Assumption.owl#Assumption"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Demod.owl#Demod"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Told.owl#Told"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/FrameMetaInfoReasoningStep.owl#FrameMetaInfoReasoningStep"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/MPR/Func.owl#Func"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/GMP.owl#GMP"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Member.owl#Member"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/MembershipThruLinkStep.owl#MembershipThruLinkStep"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Reformulation.owl#Reformulation"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Subsump.owl#Subsump"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TimePoint.owl#TimePoint"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TimePointMap.owl#TimePointMap"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TranslationReasoningStep.owl#TranslationReasoningStep"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/VCListenerCreationReasoningStep.owl#VCListenerCreationReasoningStep"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/ValueLinkCreationReasoningStep.owl#ValueLinkCreationReasoningStep"/>
    </iw:inferenceEngineRule>
  </iw:InferenceEngine>
</rdf:RDF>