#Processed by Id: cwm.py,v 1.57 2001/06/15 01:21:38 timbl Exp 
        
#  Notation3 generation by
#       notation3.py,v 1.82 2001/06/01 07:52:40 connolly Exp

     @prefix : <http://purl.org/puninj/2001/05/rgml-schema#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
    
    <rgml_rules#adjacent>     rdfs:domain :Node;
         rdfs:range :Node .
    
    <rgml_rules#child>     rdfs:domain :Node;
         rdfs:range :Node .
    
    <rgml_rules#isource>     rdfs:domain :Node;
         rdfs:range :Edge .
    
    <rgml_rules#itarget>     rdfs:domain :Node;
         rdfs:range :Edge .
    
    <rgml_rules#parent>     rdfs:domain :Node;
         rdfs:range :Node .
    
    <rgml_rules#path>     rdfs:domain :Node;
         rdfs:range :Node .
    {
        {
            <rgml_rules#u>     :source <rgml_rules#v> .
            
            }     log:implies {<rgml_rules#v>     <rgml_rules#isource> <rgml_rules#u> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#u>,
                <rgml_rules#v> .
    {
        {
            <rgml_rules#e>     :source <rgml_rules#u>;
                 :target <rgml_rules#v> .
            <rgml_rules#g>     :directed "true" .
            
            }     log:implies {<rgml_rules#u>     <rgml_rules#parent> <rgml_rules#v> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#e>,
                <rgml_rules#g>,
                <rgml_rules#u>,
                <rgml_rules#v> .
    {
        {
            <rgml_rules#g>     :directed "true" .
            <rgml_rules#u>     <rgml_rules#parent> <rgml_rules#v> .
            
            }     log:implies {<rgml_rules#v>     <rgml_rules#child> <rgml_rules#u> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#g>,
                <rgml_rules#u>,
                <rgml_rules#v> .
    {
        {
            <rgml_rules#g>     :directed "true" .
            <rgml_rules#u>     <rgml_rules#parent> <rgml_rules#v> .
            
            }     log:implies {<rgml_rules#u>     <rgml_rules#path> <rgml_rules#v> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#g>,
                <rgml_rules#u>,
                <rgml_rules#v> .
    {
        {
            <rgml_rules#g>     :directed "true" .
            <rgml_rules#u>     <rgml_rules#parent> <rgml_rules#v> .
            <rgml_rules#v>     <rgml_rules#path> <rgml_rules#w> .
            
            }     log:implies {<rgml_rules#u>     <rgml_rules#path> <rgml_rules#w> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#g>,
                <rgml_rules#u>,
                <rgml_rules#v>,
                <rgml_rules#w> .
    {
        {
            <rgml_rules#g>     :directed "false" .
            <rgml_rules#u>     <rgml_rules#adjacent> <rgml_rules#v> .
            
            }     log:implies {<rgml_rules#u>     <rgml_rules#path> <rgml_rules#v> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#g>,
                <rgml_rules#x>,
                <rgml_rules#y> .
    {
        {
            <rgml_rules#g>     :directed "false" .
            <rgml_rules#u>     <rgml_rules#adjacent> <rgml_rules#v> .
            <rgml_rules#v>     <rgml_rules#path> <rgml_rules#w> .
            
            }     log:implies {<rgml_rules#u>     <rgml_rules#path> <rgml_rules#w> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#g>,
                <rgml_rules#u>,
                <rgml_rules#v>,
                <rgml_rules#w> .
    {
        {
            <rgml_rules#u>     :target <rgml_rules#v> .
            
            }     log:implies {<rgml_rules#v>     <rgml_rules#itarget> <rgml_rules#u> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#u>,
                <rgml_rules#v> .
    {
        {
            <rgml_rules#e>     :source <rgml_rules#u>;
                 :target <rgml_rules#v> .
            
            }     log:implies {<rgml_rules#u>     <rgml_rules#adjacent> <rgml_rules#v> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#e>,
                <rgml_rules#u>,
                <rgml_rules#v> .
    {
        {
            <rgml_rules#u>     <rgml_rules#adjacent> <rgml_rules#v> .
            
            }     log:implies {<rgml_rules#v>     <rgml_rules#adjacent> <rgml_rules#u> .
            } .
        
        }     a log:Truth;
         log:forAll <rgml_rules#u>,
                <rgml_rules#v> .
    
    <simple_graph#e1>     a :Edge;
         :source <simple_graph#n1>;
         :target <simple_graph#n2> .
    
    <simple_graph#e2>     a :Edge;
         :source <simple_graph#n1>;
         :target <simple_graph#n3> .
    
    <simple_graph#g1>     a :Graph;
         :directed "true";
         :edges <simple_graph#e1>,
                <simple_graph#e2>;
         :nodes <simple_graph#n1>,
                <simple_graph#n2>,
                <simple_graph#n3> .
    
    <simple_graph#n1>     a :Node;
         <rgml_rules#adjacent> <simple_graph#n2>,
                <simple_graph#n3>;
         <rgml_rules#isource> <simple_graph#e1>,
                <simple_graph#e2>;
         <rgml_rules#parent> <simple_graph#n2>,
                <simple_graph#n3>;
         <rgml_rules#path> <simple_graph#n2>,
                <simple_graph#n3> .
    
    <simple_graph#n2>     a :Node;
         <rgml_rules#adjacent> <simple_graph#n1>;
         <rgml_rules#child> <simple_graph#n1>;
         <rgml_rules#itarget> <simple_graph#e1> .
    
    <simple_graph#n3>     a :Node;
         <rgml_rules#adjacent> <simple_graph#n1>;
         <rgml_rules#child> <simple_graph#n1>;
         <rgml_rules#itarget> <simple_graph#e2> .
    
    :Edge     a rdfs:Class .
    
    :Graph     a rdfs:Class .
    
    :Node     a rdfs:Class .
    
    :directed     rdfs:domain :Edge,
                :Graph;
         rdfs:range xsd:boolean .
    
    :edges     rdfs:domain :Graph;
         rdfs:range rdf:Edge .
    
    :graphs     rdfs:domain :Graph;
         rdfs:range rdf:Graph .
    
    :label     rdfs:domain :Edge,
                :Graph,
                :Node;
         rdfs:range xsd:string .
    
    :nodes     rdfs:domain :Edge,
                :Graph;
         rdfs:range rdf:Node .
    
    :source     rdfs:domain :Edge;
         rdfs:range :Node .
    
    :target     rdfs:domain :Edge;
         rdfs:range :Node .
    
    :weight     rdfs:domain :Edge,
                :Node;
         rdfs:range xsd:string .
    
#ENDS