#Processed by Id: cwm.py,v 1.148 2004/03/21 04:24:32 timbl Exp 
        #    using base file:/proj/ontrapro/html/ontologies/zip/animals/animalsB.owl
        
#  Notation3 generation by
#       notation3.py,v 1.153 2004/03/21 04:24:35 timbl Exp

#   Base was: file:/proj/ontrapro/html/ontologies/zip/animals/animalsB.owl
     @prefix : <http://www.atl.lmco.com/projects/ontology/ontologies/animals/animalsB.owl#> .
     @prefix owl: <http://www.w3.org/2002/07/owl#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix xsd: <http://www.w3.org/2001/10/XMLSchema#> .
    
    :     a owl:Ontology .
    
    :Animal     a owl:Class;
         rdfs:label "Animal" .
    
    :BipedalPerson     a owl:Class;
         owl:intersectionOf  (
        :Person 
        :BipedalThing  ) .
    
    :BipedalThing     a owl:Class .
    
    :Female     a owl:Class;
         rdfs:subClassOf :Animal .
    
    :Hermaphrodite     a owl:Class;
         rdfs:subClassOf :Animal .
    
    :Male     a owl:Class;
         rdfs:label "Male";
         rdfs:subClassOf :Animal .
    
    :Man     a owl:Class;
         rdfs:subClassOf :Male,
                :Person .
    
    :Person     a owl:Class;
         rdfs:subClassOf :Animal,
                 [
             a owl:Restriction;
             owl:allValuesFrom :Person;
             owl:onProperty :hasParent ],
                 [
             a owl:Restriction;
             owl:cardinality "1";
             owl:onProperty :hasFather ],
                 [
             a owl:Restriction;
             owl:minCardinality "1";
             owl:onProperty :shoesize ],
                 [
             a owl:Restriction;
             owl:allValuesFrom :Person;
             owl:maxCardinality "1";
             owl:onProperty :hasSpouse ] .
    
    :Woman     a owl:Class;
         rdfs:subClassOf :Female,
                :Person .
    
    :age     a owl:DatatypeProperty,
                owl:FunctionalProperty;
         rdfs:range xsd:nonNegativeInteger .
    
    :biologicalMotherOf     a owl:InverseFunctionalProperty;
         rdfs:domain :Woman;
         rdfs:range :Person .
    
    :hasAncestor     a owl:ObjectProperty,
                owl:TransitiveProperty;
         rdfs:domain :Animal;
         rdfs:range :Animal .
    
    :hasChild     a owl:ObjectProperty;
         owl:inverseOf :hasParent .
    
    :hasFather     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:range :Male;
         rdfs:subPropertyOf :hasParent .
    
    :hasFriend     a owl:ObjectProperty,
                owl:SymmetricProperty;
         rdfs:domain :Person;
         rdfs:range :Person .
    
    :hasHusband     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :Woman;
         rdfs:range :Man;
         rdfs:subPropertyOf :hasSpouse .
    
    :hasMother     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:range :Female;
         rdfs:subPropertyOf :hasParent .
    
    :hasParent     a owl:ObjectProperty;
         rdfs:subPropertyOf :hasAncestor .
    
    :hasSpouse     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :Person;
         rdfs:range :Person .
    
    :hasWife     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :Man;
         rdfs:range :Woman;
         rdfs:subPropertyOf :hasSpouse .
    
    :shirtsize     a owl:DatatypeProperty,
                owl:FunctionalProperty;
         rdfs:range xsd:decimal .
    
    :shoesize     a owl:DatatypeProperty,
                owl:FunctionalProperty;
         rdfs:range xsd:decimal .
    
    :spouseOf     a owl:ObjectProperty;
         owl:inverseOf :hasSpouse .
    
#ENDS