<!-- $Id: inference.xsd,v 1.3 2000/07/28 06:20:54 connolly Exp $ -->

<schema xmlns="http://www.w3.org/1999/XMLSchema"
        xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
	xmlns:inf="http://www.w3.org/2000/04shoe-swell/inference#"
	targetNamespace="http://www.w3.org/2000/04shoe-swell/inference#"
	>

<import namespace="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
	schemaLocation="../07/rdf.xsd"/>

<element name="Rule" type="rdf:typedNodeType"
	 equivClass="rdf:typedNode" />

<element name="vars"
	equivClass="rdf:propertyElt"
	type="rdf:valueObj"/>

<element name="if"
	equivClass="rdf:propertyElt"
	type="rdf:valueObj"/>

<element name="then"
	equivClass="rdf:propertyElt"
	type="rdf:propertyEltRef"/>

</schema>
