<?xml version="1.0" encoding="UTF-8"?>
<!-- edited with XMLSpy v2005 sp2 U (http://www.altova.com) by any (Ru-Board) -->
<xs:schema xmlns="http://www.ruleml.org/0.91/xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema" targetNamespace="http://www.ruleml.org/0.91/xsd">
	<xs:include schemaLocation="http://www.ruleml.org/0.91/xsd/modules/rest_module.xsd"/>
	<xs:include schemaLocation="http://www.ruleml.org/0.91/xsd/modules/equality_module.xsd"/>
	<xs:redefine schemaLocation="http://www.ruleml.org/0.91/xsd/modules/expr_module.xsd">
		<xs:attributeGroup name="in.attrib"/>
		<xs:attributeGroup name="in.attrib">
			<xs:attributeGroup ref="in.attrib"/>
			<xs:attributeGroup ref="in-equality.attrib"/>
		</xs:attributeGroup>
	</xs:redefine>
	<xs:redefine schemaLocation="http://lpis.csd.auth.gr/systems/dr-device/defeasible-0.91.xsd">
		<xs:group name="head.content">
			<xs:sequence>
				<xs:element ref="Equal" minOccurs="0" maxOccurs="unbounded"/>
				<xs:group ref="head.content"/>
			</xs:sequence>
		</xs:group>
		<xs:group name="body.content">
			<xs:choice>
				<xs:group ref="body.content"/>
				<xs:element ref="Test"/>
			</xs:choice>
		</xs:group>
		<xs:group name="formula-and-or.content">
			<xs:choice>
				<xs:group ref="formula-and-or.content"/>
				<xs:element ref="Test"/>
			</xs:choice>
		</xs:group>
		<xs:group name="arg.content">
			<xs:choice>
				<xs:group ref="arg.content"/>
				<xs:element ref="not_Arg"/>
				<xs:element ref="Expr"/>
				<xs:element ref="ComplexArg"/>
			</xs:choice>
		</xs:group>
		<xs:attributeGroup name="RuleML.attlist">
			<xs:attributeGroup ref="RuleML.attlist"/>
			<xs:attribute name="rdf_import" type="xs:anyURI" use="optional"/>
			<xs:attribute name="rdf_export" type="xs:anyURI" use="optional"/>
			<xs:attribute name="proof" type="xs:anyURI" use="optional"/>
			<xs:attribute name="rulebase" type="xs:anyURI" use="optional"/>
			<xs:attribute name="rdf_export_classes" type="xs:NMTOKENS" use="optional"/>
			<xs:attributeGroup ref="agentType.attrib"/>
		</xs:attributeGroup>
	</xs:redefine>
	<xs:simpleType name="agentType.values">
		<xs:restriction base="xs:NMTOKEN">
			<xs:enumeration value="realistic"/>
			<xs:enumeration value="social"/>
			<xs:enumeration value="deviant"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:attributeGroup name="agentType.attrib">
		<xs:attribute name="agentType" type="agentType.values" use="optional" default="realistic"/>
	</xs:attributeGroup>
	<xs:group name="pos_term">
		<xs:choice>
			<xs:element ref="Ind"/>
			<xs:element ref="Var"/>
			<xs:element ref="Data"/>
			<xs:element ref="Expr"/>
		</xs:choice>
	</xs:group>
	<xs:group name="term">
		<xs:choice>
			<xs:group ref="pos_term"/>
			<xs:element ref="not_Arg"/>
		</xs:choice>
	</xs:group>
	<xs:group name="ComplexArg.content">
		<xs:choice>
			<xs:element ref="or_ComplexArg"/>
			<xs:element ref="and_ComplexArg"/>
		</xs:choice>
	</xs:group>
	<xs:attributeGroup name="ComplexArg.attlist"/>
	<xs:complexType name="ComplexArg.type">
		<xs:group ref="ComplexArg.content"/>
		<xs:attributeGroup ref="ComplexArg.attlist"/>
	</xs:complexType>
	<xs:element name="ComplexArg" type="ComplexArg.type"/>
	<xs:complexType name="not_Arg.type">
		<xs:group ref="pos_term"/>
	</xs:complexType>
	<xs:element name="not_Arg" type="not_Arg.type"/>
	<xs:complexType name="and_ComplexArg.type">
		<xs:group ref="term" maxOccurs="unbounded"/>
	</xs:complexType>
	<xs:complexType name="or_ComplexArg.type">
		<xs:group ref="term" maxOccurs="unbounded"/>
	</xs:complexType>
	<xs:complexType name="Test.type">
		<xs:sequence>
			<xs:element ref="Expr"/>
		</xs:sequence>
	</xs:complexType>
	<xs:element name="and_ComplexArg" type="and_ComplexArg.type"/>
	<xs:element name="or_ComplexArg" type="or_ComplexArg.type"/>
	<xs:element name="Test" type="Test.type"/>
</xs:schema>
