ccetest.owl

来自「Jena推理机」· OWL 代码 · 共 22 行

<?xml version="1.0" encoding="UTF-8"?>

<rdf:RDF 
	xmlns:owl="http://www.w3.org/2002/07/owl#" 
	xmlns="urn:foo#" 
	xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 
	xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 
	xml:base="urn:foo" >

<owl:Class rdf:ID="Document">
	<owl:equivalentClass>
	
		<owl:Restriction>
		    <owl:onProperty rdf:resource="#has_header"/>
		    <owl:allValuesFrom rdf:resource="#Header"/>
		</owl:Restriction>
	
	</owl:equivalentClass>
</owl:Class>

</rdf:RDF>