W3C
Logic programming with RDF (cont'd) Table-of-Contents Summary
Change-size

Example


Speaks(Person,Language) <- http://purl.org/RDF/DC#Creator(Doc,Person) 
                       and http://purl.org/RDF/DC#Language(Doc,Language).

becomes

<?xml version="1.0"?>
<rdf:RDF 
  xmlns:rdf="http://www.w3.org/TR/WD-rdf-syntax#"
  xmlns="http://www.w3.org/TR/WD-metalog#">
<Procedure>
  <Head>
  <Conjunction>
    <Predicate name="Speaks">
      <rdf:Seq>
        <rdf:li><Variable>Person</Variable></rdf:li>
        <rdf:li><Variable>Language</Variable></rdf:li>
      </rdf:Seq>
    </Predicate>
  </Conjunction>
  </Head>
  <Body>
  <Conjunction>
  <Predicates>
  <rdf:Seq>
  <rdf:li>
    <Predicate name="http://purl.org/RDF/DC#Creator">
      <rdf:Seq>
        <rdf:li><Variable>Doc</Variable></rdf:li>
        <rdf:li><Variable>Person</Variable></rdf:li>
      </rdf:Seq>
    </Predicate>
  </rdf:li>
  <rdf:li>
    <Predicate name="http://purl.org/RDF/DC#Language">
      <rdf:Seq>
        <rdf:li><Variable>Doc</Variable></rdf:li>
        <rdf:li><Variable>Language</Variable></rdf:li>
      </rdf:Seq>
    </Predicate>
  </rdf:li>
  </rdf:Seq>
  </Predicates>
  </Conjunction>
  </Body>
</Procedure>
</rdf:RDF>

Janne Saarela

51 of 55