<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:owl="http://www.w3.org/2002/07/owl#">
  <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#version"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#submitter"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishDescription"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Hyp-Resolution.owl#Hyp-Resolution"/>
  <iw:InferenceEngine rdf:about="http://inferenceweb.stanford.edu/registry/IE/SWIPL.owl#SWIPL"
     iw:firstSubmissionDate="20050120163421"
     iw:lastSubmissionDate="20050120164932"
     iw:URL="http://www.swi-prolog.org/"
     iw:version="5.4">
    <iw:name>SWI Prolog</iw:name>
    <iw:englishDescription>"SWI-Prolog offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License. Together with its graphics toolkit XPCE, its development started in 1987 and has been driven by the needs for real-world applications. These days SWI-Prolog is widely used in research and education as well as for commercial applications"</iw:englishDescription>
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/ORG/SWI-UVA.owl#SWI-UVA"/>
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/ORG/SWI.owl#SWI"/>
    </iw:hasSource>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"
       rdf:type="http://inferenceweb.stanford.edu/2004/07/iw.owl#Team"/>
    <iw:inferenceEngineRule rdf:parseType="Collection">
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Hyp-Resolution.owl#Hyp-Resolution"/>
    </iw:inferenceEngineRule>
  </iw:InferenceEngine>
  <rdf:List rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:RDF>