#Processed by Id: cwm.py,v 1.41 2001/05/10 13:13:29 timbl Exp 
        #    using base file:/web/infomesh/2001/rdfsvalid/
        # Input rules to apply from  file:/web/infomesh/2001/rdfsvalid/startswith.n3

#  Notation3 generation by
#       notation3.py,v 1.74 2001/05/10 13:13:29 timbl Exp

#   Base was: file:/web/infomesh/2001/rdfsvalid/
     @prefix : <http://www.w3.org/2000/10/swap/log.n3#> .
     @prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix abc: <http://www.w3.org/> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix ab: <http://w3.org/> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    
    this     :forAll <drules.n3#a1>,
                <drules.n3#a2>,
                <drules.n3#a3>,
                <drules.n3#a5>,
                <drules.n3#b1>,
                <drules.n3#b2>,
                <drules.n3#b3>,
                <drules.n3#b5>,
                <drules.n3#c1>,
                <drules.n3#c2>,
                <drules.n3#c3>,
                <drules.n3#d1>,
                <drules.n3#d2>,
                <drules.n3#d3>,
                <drules.n3#p1>,
                <drules.n3#p2>,
                <drules.n3#p3>,
                <drules.n3#q1>,
                <drules.n3#q2>,
                <drules.n3#q3>,
                <drules.n3#x1>,
                <drules.n3#x2>,
                <drules.n3#y1>,
                <drules.n3#y2>,
                <drules.n3#z1>,
                <drules.n3#z2>,
                <http://w3.org/y>,
                <http://www.w3.org/x> .
    {
        <drules.n3#p2>     daml:inverseOf <drules.n3#q2> .
        
        }     :implies {<drules.n3#q2>     daml:inverseOf <drules.n3#p2> .
        } .
    {
        <drules.n3#a5>     <drules.n3#p3> <drules.n3#b5> .
        <drules.n3#p3>     daml:inverseOf <drules.n3#q3> .
        
        }     :implies {<drules.n3#b5>     <drules.n3#q3> <drules.n3#a5> .
        } .
    {
        {
            <drules.n3#trans>     a daml:TransitiveProperty .
            <drules.n3#x>     daml:inverseOf <drules.n3#x> .
            <drules.n3#y>     <drules.n3#trans> <drules.n3#x> .
            
            }     :implies {<drules.n3#y>     daml:inverseOf <drules.n3#y> .
            } .
        
        }     :forAll <drules.n3#trans>,
                <drules.n3#x>,
                <drules.n3#y> .
    {
        <drules.n3#p>     a daml:TransitiveProperty .
        
        }     :implies {{
            {
                <drules.n3#x>     <drules.n3#p> <drules.n3#y> .
                <drules.n3#y>     <drules.n3#p> <drules.n3#z> .
                
                }     :implies {<drules.n3#x>     <drules.n3#p> <drules.n3#z> .
                } .
            
            }     a :Truth;
             :forAll <drules.n3#x>,
                    <drules.n3#y>,
                    <drules.n3#z> .
        } .
    {
        {
            <drules.n3#p>     a daml:UniqueProperty .
            <drules.n3#x>     <drules.n3#p> <drules.n3#y>,
                        <drules.n3#z> .
            
            }     :implies {<drules.n3#y>     = <drules.n3#z> .
            } .
        
        }     :forAll <drules.n3#p>,
                <drules.n3#x>,
                <drules.n3#y>,
                <drules.n3#z> .
    {
        {
            <drules.n3#p>     a daml:UnambiguousProperty .
            <drules.n3#y>     <drules.n3#p> <drules.n3#x> .
            <drules.n3#z>     <drules.n3#p> <drules.n3#x> .
            
            }     :implies {<drules.n3#y>     = <drules.n3#z> .
            } .
        
        }     :forAll <drules.n3#p>,
                <drules.n3#x>,
                <drules.n3#y>,
                <drules.n3#z> .
    {
        {
            <drules.n3#c1>     rdfs:subClassOf <drules.n3#c2> .
            <drules.n3#x>     a <drules.n3#c1> .
            
            }     :implies {<drules.n3#x>     a <drules.n3#c2> .
            } .
        
        }     :forAll <drules.n3#c1>,
                <drules.n3#c2>,
                <drules.n3#x> .
    {
        {
            <drules.n3#p1>     rdfs:domain <drules.n3#c> .
            <drules.n3#p2>     rdfs:subPropertyOf <drules.n3#p1> .
            
            }     :implies {<drules.n3#p2>     rdfs:domain <drules.n3#c> .
            } .
        
        }     :forAll <drules.n3#c>,
                <drules.n3#p>,
                <drules.n3#x>,
                <drules.n3#y> .
    {
        {
            <drules.n3#p1>     rdfs:range <drules.n3#c> .
            <drules.n3#p2>     rdfs:subPropertyOf <drules.n3#p1> .
            
            }     :implies {<drules.n3#p2>     rdfs:range <drules.n3#c> .
            } .
        
        }     :forAll <drules.n3#c>,
                <drules.n3#p1>,
                <drules.n3#p2> .
    {
        <drules.n3#p1>     = <drules.n3#q1> .
        
        }     :implies {<drules.n3#q1>     = <drules.n3#p1> .
        } .
    {
        <drules.n3#a1>     <drules.n3#b1> <drules.n3#c1> .
        <drules.n3#d1>     = <drules.n3#a1> .
        
        }     :implies {<drules.n3#d1>     <drules.n3#b1> <drules.n3#c1> .
        } .
    {
        <drules.n3#a2>     <drules.n3#b2> <drules.n3#c2> .
        <drules.n3#d2>     = <drules.n3#b2> .
        
        }     :implies {<drules.n3#a2>     <drules.n3#d2> <drules.n3#c2> .
        } .
    {
        <drules.n3#a3>     <drules.n3#b3> <drules.n3#c3> .
        <drules.n3#d3>     = <drules.n3#c3> .
        
        }     :implies {<drules.n3#a3>     <drules.n3#b3> <drules.n3#d3> .
        } .
    {
        <http://w3.org/y>     :startsWith "http://w3.org/" .
        <http://www.w3.org/x>     :startsWith "http://www.w3.org/" .
        
        }     :implies {<http://www.w3.org/x>     = <http://w3.org/y> .
        } .
    
    daml:Class     rdfs:subClassOf rdfs:Class .
    
    daml:Datatype     rdfs:subClassOf rdfs:Class .
    
    daml:Nothing     daml:complementOf daml:Thing .
    
    daml:Restriction     a rdfs:Class;
         rdfs:subClassOf daml:Class .
    
    daml:Thing     daml:unionOf  (
        daml:Nothing 
         [
                 daml:complementOf daml:Nothing ] ) .
    
    daml:complementOf     a rdf:Property;
         rdfs:domain rdfs:Class;
         rdfs:range daml:Class .
    
    daml:differentIndividualFrom     a rdf:Property;
         rdfs:domain rdfs:Thing;
         rdfs:range rdfs:Thing .
    
    daml:disjointUnionOf     a rdf:Property;
         rdfs:domain rdfs:Class;
         rdfs:range daml:List .
    
    daml:disjointWith     a rdf:Property;
         rdfs:domain rdfs:Class;
         rdfs:range rdfs:Class .
    
    daml:equivalentTo     a rdf:Property .
    
    daml:hasClass     a rdf:Property;
         rdfs:domain daml:Restriction;
         rdfs:range rdfs:Class .
    
    daml:hasValue     a rdf:Property;
         rdfs:domain daml:Restriction .
    
    daml:intersectionOf     a rdf:Property;
         rdfs:domain rdfs:Class;
         rdfs:range daml:List .
    
    daml:onProperty     a rdf:Property;
         rdfs:domain daml:Restriction;
         rdfs:range rdf:Property .
    
    daml:oneOf     a rdf:Property;
         rdfs:domain rdfs:Class;
         rdfs:range daml:List .
    
    daml:sameClassAs     a rdf:Property;
         rdfs:subPropertyOf daml:equivalentTo,
                rdfs:subClassOf .
    
    daml:sameIndividualAs     a rdf:Property;
         rdfs:domain daml:Thing;
         rdfs:range daml:Thing;
         rdfs:subPropertyOf daml:equivalentTo .
    
    daml:samePropertyAs     a rdf:Property;
         rdfs:subPropertyOf daml:equivalentTo,
                rdfs:subPropertyOf .
    
    daml:toClass     a rdf:Property;
         rdfs:domain daml:Restriction;
         rdfs:range rdfs:Class .
    
    daml:unionOf     a rdf:Property;
         rdfs:domain rdfs:Class;
         rdfs:range daml:List .
    
    rdfs:subClassOf     a daml:TransitiveProperty .
    
    rdfs:subPropertyOf     a daml:TransitiveProperty .
    
    <http://www.w3.org/a>     <http://www.w3.org/b> <http://www.w3.org/c> .
    
 #ENDS