<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE RuleML [
	 <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	 <!ENTITY abc 'http://metadata.net/harmony#'>
	 <!ENTITY dso 'http://www.dspace.org/objectModel#'>
	 <!ENTITY dsh 'http://www.dspace.org/history#'>
	 <!ENTITY dsr 'http://www.dspace.org/rules.rdfs#'>
	 <!ENTITY history 'http://www.dspace.org/history#'>
	 <!ENTITY dc 'http://purl.org/dc/elements/1.1/'>
	 ]>
	 
<RuleML xmlns="http://www.ruleml.org/0.91/xsd" 
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:rdf="&rdf;"
    xmlns:abc="&abc;"
    xmlns:dso="&dso;"
    xmlns:dsh="&dsh;"
    xmlns:dsr="&dsr;"
    xmlns:history="&history;"
    xmlns:dc="&dc;"
    xsi:schemaLocation="http://www.ruleml.org/0.91/xsd http://www.ruleml.org/0.91/xsd/negdatalog.xsd">
    
    <!-- CU-0006 Deposit Agreement
    
         Actual DSpace@MIT Policy Examples
        
         1. Each [DSpace Item] requires a <deposit license>
         2. Upon deposit of each [Dspace Item], <depositor> is required to accept the deposit license.
    -->
    <Assert>
        <Entails>
            <Rulebase>
                <Forall>
                    <Var type="URI">&dso;Item</Var>
                </Forall>
                <formula>
                    <Atom>
                        <op>
                            <!-- New predicate/property in new namespace 'http://ww.dspace.org/rules.rdfs' -->
                            <Rel uri="dsr:requiresLicense"/>
                        </op>
                        <Var type="URI">&dso;Item</Var>
                        <Ind uri="http://libraries.mit.edu/dspace-mit/build/policies/license.html"/>
                    </Atom>
                </formula>
            </Rulebase>
            
            <Rulebase>
                <Implies>
                    <head>
                        <Atom>
                            <op>
                                <!-- New predicate/property in new namespace 'http://ww.dspace.org/rules.rdfs' -->
                                <Rel uri="dsr:acceptsLicense"/>
                            </op>
                            <Var type="URI">&dso;EPerson</Var>
                            <Ind uri="http://libraries.mit.edu/dspace-mit/build/policies/license.html"/>
                        </Atom>
                    </head>
                    <body>
                        <Atom>
                            <op>
                                <Rel uri="history:Create"></Rel>
                            </op>
                            <Var type="URI">&dso;EPerson</Var>
                            <Var type="URI">&dso;Item</Var>
                        </Atom>
                    </body>
                </Implies>
            </Rulebase>
        </Entails>
    </Assert>
</RuleML>