tbox.owl

Jena推理机

<?xml version='1.0' encoding='ISO-8859-1'?>

<!DOCTYPE rdf:RDF [
    <!ENTITY xsd  'http://www.w3.org/2001/XMLSchema#'>
]>

<rdf:RDF
  xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:dc  ="http://purl.org/dc/elements/1.1/"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns     ="http://jena.hpl.hp.com/testing/reasoners/owl#"
  xml:base  ="http://jena.hpl.hp.com/testing/reasoners/owl"
>
	<owl:Class rdf:ID="A">

        <owl:disjointWith>
           <rdf:Description rdf:about="#B"/>
        </owl:disjointWith>

	     <rdfs:subClassOf>
	        <owl:Restriction>
	          <owl:onProperty rdf:resource="#dp" />
	          <owl:maxCardinality 
	              rdf:datatype="&xsd;nonNegativeInteger">2</owl:maxCardinality>
	        </owl:Restriction>
	     </rdfs:subClassOf>
	</owl:Class>
	
	<owl:Class rdf:ID="B" >
	     <rdfs:subClassOf>
	        <owl:Restriction>
	          <owl:onProperty rdf:resource="#p" />
	          <owl:maxCardinality 
	              rdf:datatype="&xsd;nonNegativeInteger">0</owl:maxCardinality>
	        </owl:Restriction>
	     </rdfs:subClassOf>
	</owl:Class>

    <owl:DatatypeProperty rdf:ID="dp" />
    
    <owl:ObjectProperty rdf:ID="p" />
    
    <owl:DatatypeProperty rdf:ID="intp">
    	<rdfs:range rdf:resource="&xsd;int" />
    </owl:DatatypeProperty>
    
    <owl:FunctionalProperty rdf:ID="fp" />
    
    <owl:FunctionalProperty rdf:ID="dfp">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty" />
    </owl:FunctionalProperty>
    

</rdf:RDF>