exotic.rdf

这是外国一个开源推理机

<?xml version="1.0"?>

<!--
	A collection of 'exotic' constructions as they are allowed in RDF,
	but which aren't used very often. Covered cases are:
	- cycles in class- and property hierarchies
	- multiple inheritance in class- and property hierarchies
	- "mixing of meta levels": a class can be an instance of itself, properties
	  can be attached to the properties themselves, etc.
	- resources that are both a class and a property.
-->

<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:ex="http://example.org/"
	xml:base="http://example.org/">

	<!-- class hierarchy -->

	<rdfs:Class rdf:about="ClassA">
		<rdf:type rdf:resource="ClassA"/>
	</rdfs:Class>

	<rdfs:Class rdf:about="ClassB">
		<rdfs:subClassOf rdf:resource="ClassA"/>
		<rdfs:subClassOf rdf:resource="ClassC"/>
	</rdfs:Class>

	<rdfs:Class rdf:about="ClassC">
		<rdfs:subClassOf rdf:resource="ClassA"/>
		<rdfs:subClassOf rdf:resource="ClassB"/>
	</rdfs:Class>

	<rdfs:Class rdf:about="ClassD">
		<rdfs:subClassOf rdf:resource="ClassB"/>
		<rdfs:subClassOf rdf:resource="ClassC"/>
	</rdfs:Class>

	<rdfs:Class rdf:about="PropClass">
		<rdfs:subClassOf rdf:resource="ClassA"/>
	</rdfs:Class>

	<!-- property hierarchy -->

	<rdf:Property rdf:about="propA"/>

	<rdf:Property rdf:about="propB">
		<rdfs:subPropertyOf rdf:resource="propA"/>
		<rdfs:subPropertyOf rdf:resource="propC"/>
		<ex:propB rdf:resource="propC"/>
	</rdf:Property>

	<rdf:Property rdf:about="propC">
		<rdfs:subPropertyOf rdf:resource="propA"/>
		<rdfs:subPropertyOf rdf:resource="propB"/>
	</rdf:Property>

	<rdf:Property rdf:about="propD">
		<rdfs:subPropertyOf rdf:resource="propB"/>
		<rdfs:subPropertyOf rdf:resource="propC"/>
	</rdf:Property>

	<rdf:Property rdf:about="PropClass">
		<rdfs:subPropertyOf rdf:resource="propA"/>
	</rdf:Property>

	<!-- instances -->

	<rdf:Description rdf:about="objectA">
		<rdf:type rdf:resource="ClassA"/>
		<ex:propA rdf:resource="objectB"/>
	</rdf:Description>

	<rdf:Description rdf:about="objectB">
		<rdf:type rdf:resource="ClassA"/>
		<rdf:type rdf:resource="ClassB"/>
		<ex:propA rdf:resource="objectA"/>
	</rdf:Description>

	<rdf:Description rdf:about="objectC">
		<rdf:type rdf:resource="ClassC"/>
		<ex:propC rdf:resource="objectC"/>
	</rdf:Description>

	<rdf:Description rdf:about="objectD">
		<rdf:type rdf:resource="ClassD"/>
		<ex:propD rdf:resource="objectC"/>
	</rdf:Description>

	<rdf:Description rdf:about="objectE">
		<rdf:type rdf:resource="PropClass"/>
		<ex:PropClass rdf:resource="objectA"/>
	</rdf:Description>

</rdf:RDF>