tbox1.rdf

Jena推理机

<?xml version="1.0"?>

<!DOCTYPE rdf:RDF [
    <!ENTITY eg   'http://www.hpl.hp.com/semweb/2003/eg#'>
    <!ENTITY rdf  'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
    <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
]>

<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="&eg;">

  <rdf:Description rdf:about="&eg;q">
    <rdfs:subPropertyOf rdf:resource="&eg;p"/>
  </rdf:Description>

  <rdf:Description rdf:about="&eg;r">
    <rdfs:subPropertyOf rdf:resource="&eg;q"/>
  </rdf:Description>

  <rdf:Description rdf:about="&eg;s">
    <rdfs:subPropertyOf rdf:resource="&eg;p"/>
  </rdf:Description>

  <rdf:Description rdf:about="&eg;t">
    <rdfs:subPropertyOf rdf:resource="&eg;s"/>
  </rdf:Description>

  <rdf:Description rdf:about="&eg;C1">
    <rdfs:subClassOf rdf:resource="&eg;C2"/>
  </rdf:Description>

  <rdf:Description rdf:about="&eg;C2">
    <rdfs:subClassOf rdf:resource="&eg;C3"/>
  </rdf:Description>

</rdf:RDF>