premises004.rdf

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

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

  Make sure subProperties of inverse functional properties are correctly handled.
-->

<!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:InverseFunctionalProperty rdf:about="#p">
        <owl:equivalentProperty rdf:resource="#q" />
    </owl:InverseFunctionalProperty>
    <rdf:Description rdf:about="#alias1">
        <p>target1</p>
    </rdf:Description>
    <rdf:Description rdf:about="#alias2">
        <q>target1</q>
        <rdfs:label>FoundIt</rdfs:label>
    </rdf:Description>
</rdf:RDF>