premises006.rdf

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

<?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;#">

    <rdf:Description rdf:about="#Singleton">
        <owl:oneOf rdf:parseType="Collection">
            <rdf:Description rdf:about="#unique"/>
        </owl:oneOf>
    </rdf:Description>

	<owl:ObjectProperty rdf:about="#p" />
	
    <owl:Class rdf:about="#SomeOne">
      <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="#p"/>
            <owl:someValuesFrom rdf:resource="#Singleton"/>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    
    <SomeOne rdf:about="#i" />

</rdf:RDF>