<rdf:RDF
    xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
    xmlns:iw='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#'
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
    xmlns:daml='http://www.daml.org/2001/03/daml+oil#'>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceRule'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceEngine'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Source'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceEngineSource'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#URL'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#LastSubmissionDate'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#rest'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#FirstSubmissionDate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Name'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Submitter'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Version'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#first'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceEngineRule'/>
    <iw:InferenceEngine>
        <iw:Name>Java Theorem Prover</iw:Name>
        <iw:URL>http://www.ksl.stanford.edu/software/JTP/</iw:URL>
        <iw:Submitter>http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml</iw:Submitter>
        <iw:FirstSubmissionDate>Fri Jan 17 18:23:42 PST 2003</iw:FirstSubmissionDate>
        <iw:LastSubmissionDate>Wed Apr 02 15:15:25 PST 2003</iw:LastSubmissionDate>
        <iw:Version> </iw:Version>
        <iw:InferenceEngineSource rdf:parseType='daml:collection'>
            <iw:Source rdf:about='http://www.ksl.stanford.edu/software/IW/registry/SRC/JTP-TEAM.daml'/>
        </iw:InferenceEngineSource>
        <iw:InferenceEngineRule rdf:parseType='daml:collection'>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/Demod.daml'/>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/Func.daml'/>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/GMP.daml'/>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/Member.daml'/>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/Reformulation.daml'/>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/Subsump.daml'/>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/TimePoint.daml'/>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/TimePointMap.daml'/>
            <iw:InferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/Told.daml'/>
        </iw:InferenceEngineRule>
    </iw:InferenceEngine>
</rdf:RDF>