testing/reasoners/rdfs/timing-tbox.rdf

<?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;r">
    <rdfs:subPropertyOf rdf:resource="&eg;q"/>
  </rdf:Description>

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

  <rdf:Description rdf:about="&eg;p">
    <rdfs:domain rdf:resource="&eg;C5"/>
  </rdf:Description>

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

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

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

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

</rdf:RDF>