<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#DeclarativeRule"/>
  <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#name"/>
  <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"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishExample"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishDescription"/>
  <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/PUB/RelationalModel.owl#RelationalModel"/>
  <iw:DeclarativeRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Select.owl#Select"
     iw:firstSubmissionDate="20041014145053"
     iw:lastSubmissionDate="20041014163953">
    <iw:name>Relational Algebra Selection</iw:name>
    <iw:englishDescription>This rule represents the relational algebra selection operator. It filters an input relation according to a selection expression, producing another relation. </iw:englishDescription>
    <iw:englishExample>Select("r(x, y)", "x = 7", "s(x, y)")
 
Select("r(x, y)", "x > y ^ y &lt;= 3", "s(x, y)")</iw:englishExample>
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/PUB/RelationalModel.owl#RelationalModel"/>
    </iw:hasSource>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/ISI-InfAgents.owl#ISI-InfAgents"
       rdf:type="http://inferenceweb.stanford.edu/2004/07/iw.owl#Team"/>
  </iw:DeclarativeRule>
  <rdf:List rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:RDF>
