premises005.rdf

来自「Jena推理机」· RDF 代码 · 共 40 行

<?xml version="1.0"?>
<!--
  Local test files use in Jena2 development

  Allow sameAs to apply to classes and properties.
-->

<!DOCTYPE rdf:RDF [
    <!ENTITY eg   'urn:x-hp:eg'>
    <!ENTITY rdf  'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
    <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
    <!ENTITY xsd  'http://www.w3.org/2001/XMLSchema#'>
    <!ENTITY owl  "http://www.w3.org/2002/07/owl#" >
]>

<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns:xsd="&xsd;" xmlns:owl="&owl;"
         xml:base="&eg;" xmlns="&eg;#">
    <owl:Class rdf:about="#C" />
    <owl:Class rdf:about="#D" />
    <owl:Thing rdf:about="#a" />
    <owl:Thing rdf:about="#b" />

    <rdf:Property rdf:about="#p" />
    <rdf:Property rdf:about="#q" />
    
    <rdf:Description rdf:about="#a">
        <p rdf:resource="#b" />
        <rdf:type rdf:resource="#C" />
    </rdf:Description>
    
    <rdf:Description rdf:about="#p">
        <owl:sameAs rdf:resource="#q" />
    </rdf:Description>
    
    <rdf:Description rdf:about="#C">
        <owl:sameAs rdf:resource="#D" />
    </rdf:Description>
    
</rdf:RDF>