#Processed by Id: cwm.py,v 1.32 2001/04/05 21:33:55 timbl Exp 
        #    using base file:/web/infomesh/2001/rdfsvalid/util.n3
        # Input rules to apply from  file:/web/infomesh/2001/rdfsvalid/srules.n3

#  Notation3 generation by
#       notation3.py,v 1.67 2001/04/26 05:13:27 connolly Exp

#   Base was: file:/web/infomesh/2001/rdfsvalid/util.n3
     @prefix log: <http://www.w3.org/2000/10/swap/log.n3#> .
     @prefix util: <http://purl.org/swag/util#> .
     @prefix wn: <http://xmlns.com/wordnet/1.6/> .
     @prefix earl: <http://www.w3.org/2001/03/earl/0.9#> .
     @prefix swag: <http://purl.org/swag/termsplayground#> .
     @prefix : <#> .
     @prefix swaguri: <http://purl.org/swag/uriterms#> .
     @prefix daml: <http://www.daml.org/2001/03/daml+oil.daml#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix dc: <http://purl.org/dc/elements/1.1/> .
    
    :Person     a rdfs:Class;
         = :Person,
                <http://xmlns.com/wordnet/1.6/Person> .
    
    :Title     a rdfs:Class .
    
    :URI     a rdfs:Class .
    
    :URIof     a rdf:Property;
         :kindaLike :_g0;
         swag:kindLike :_g0;
         rdfs:range rdfs:Literal .
    
    :_g0     daml:inverseOf swaguri:networkEntityOf .
    
    :asserts     = :asserts,
                :says,
                earl:asserts .
    
    :authorOf     :coinedBy :Seth;
         daml:inverseOf :author .
    
    :coinedBy     a rdf:Property;
         :coinedBy :Seth;
         rdfs:comment "Person coining term" .
    
    :definesConcept     a rdf:Property;
         rdfs:comment """For definesConcept(a,b) the URI a defines the concept x\012                    of b. No statement is made about time variance""";
         rdfs:domain :URI;
         rdfs:range rdfs:Resource .
    
    :hasType     daml:inverseOf rdf:type .
    
    :kindaLike     a rdf:Property;
         = :kindaLike,
                swag:kindLike .
    
    :name     a rdf:Property;
         :coinedBy :Sean;
         rdfs:subPropertyOf :properName .
    
    :properName     a rdf:Property;
         :coinedBy :Seth;
         rdfs:comment """The full proper name of anything that would be x\012     capitalized if used in natural language""" .
    
    :says     = :asserts,
                :says,
                earl:asserts .
    
    :startsWith     a rdf:Property .
    
    :superClassOf     daml:inverseOf rdfs:subClassOf .
    
    :superPropertyOf     daml:inverseOf rdfs:subPropertyOf .
    
    :usesNamespace     a rdf:Property;
         = :usesNamespace,
                swaguri:hasNamespace;
         rdfs:comment """A certain piece of code has a particular namespace, and x\012        should be referred to using that namespace alone""" .
    
    this     :author  [
             :name "Sean B. Palmer";
             :email <mailto:sean@mysterylights.com>;
             :homepage <http://purl.org/net/sbp/> ];
         log:forSome :_g0 .
    
    <http://purl.org/dc/elements/1.1/title>     a rdf:Property;
         rdfs:range :Title;
         rdfs:subPropertyOf rdfs:label .
    
    swag:kindLike     a rdf:Property;
         = :kindaLike .
    
    swaguri:hasNamespace     a rdf:Property;
         = :usesNamespace .
    
    rdf:Property     a rdfs:Class .
    
    rdfs:Class     a rdfs:Class .
    
    rdfs:Literal     a rdfs:Class .
    
    rdfs:Resource     a rdfs:Class .
    
    rdfs:label     a rdf:Property .
    
    """A certain piece of code has a particular namespace, and x\012        should be referred to using that namespace alone"""     a rdfs:Literal .
    
    """For definesConcept(a,b) the URI a defines the concept x\012                    of b. No statement is made about time variance"""     a rdfs:Literal .
    
    "Person coining term"     a rdfs:Literal .
    
    """The full proper name of anything that would be x\012     capitalized if used in natural language"""     a rdfs:Literal .
    
    swag:kindLike     = swag:kindLike .
    
    swaguri:hasNamespace     = swaguri:hasNamespace;
         rdfs:comment """A certain piece of code has a particular namespace, and x\012        should be referred to using that namespace alone""" .
    
    earl:asserts     = :asserts,
                :says,
                earl:asserts .
    
    <http://xmlns.com/wordnet/1.6/Person>     a rdfs:Class;
         = :Person,
                <http://xmlns.com/wordnet/1.6/Person> .
    
 #ENDS