<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#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#submitter"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishDescription"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/SelfSupport.owl#SelfSupport"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/ParentSupport.owl#ParentSupport"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/executing.owl#executing"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TopLevelGoalSupport.owl#TopLevelGoalSupport"/>
  <iw:Team rdf:about="http://inferenceweb.stanford.edu/registry/TM/SPARK.owl#SPARK"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Unfinished.owl#Unfinished"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/NotSuccessful.owl#NotSuccessful"/>
  <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/IntentionPreconditionMet.owl#IntentionPreconditionMet"/>
  <rdf:List rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
  <iw:InferenceEngine rdf:about="http://inferenceweb.stanford.edu/registry/IE/SPARK.owl#SPARK"
     iw:firstSubmissionDate="20050303131143"
     iw:lastSubmissionDate="20050303132402"
     iw:URL="http://www.ai.sri.com/~spark/">
    <iw:name>SPARK: SRI Procedural Agent Realization Kit</iw:name>
    <iw:englishDescription>SPARK is a Belief-Desire-Intention style agent framework grounded in a model of procedural reasoning.</iw:englishDescription>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/SPARK.owl#SPARK"/>
    <iw:inferenceEngineRule rdf:parseType="Collection">
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/executing.owl#executing"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/IntentionPreconditionMet.owl#IntentionPreconditionMet"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/ProcedurePreconditionsMet.owl#ProcedurePreconditionsMet"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TerminationConditionsNotMet.owl#TerminationConditionsNotMet"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/NotSuccessful.owl#NotSuccessful"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/ParentSupport.owl#ParentSupport"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/SelfSupport.owl#SelfSupport"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/TopLevelGoalSupport.owl#TopLevelGoalSupport"/>
      <iw:PrimitiveRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Unfinished.owl#Unfinished"/>
    </iw:inferenceEngineRule>
  </iw:InferenceEngine>
</rdf:RDF>