#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/animalsA.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/animalsA.owl
     @prefix : <http://www.atl.lmco.com/projects/ontology/ontologies/animals/animalsA.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;
         rdfs:comment """
    This is an example ontology expressed in OWL for testing F-OWL
    inference rules. Some ontology concepts are adopted from 
    http://
  """;
         owl:versionInfo "$Revision: 1.3 $" .
    
    :Alice     a :Person;
         :hasFriend :John .
    
    :Animal     a owl:Class;
         rdfs:comment """
    This class of animals is illustrative of a number of ontological idioms.
  """;
         rdfs:label "Animal" .
    
    :Cool_David     a :Person;
         = :David .
    
    :David     a :Person;
         :hasChild :John .
    
    :Eve     a :Person;
         :biologicalMotherOf :John;
         :hasSpouse :David,
                :TheBeLovedHusbandOfEve .
    
    :Female     a owl:Class;
         rdfs:subClassOf :Animal .
    
    :Harry     a :TwoLeggedPerson .
    
    :HumanBeing     a owl:Class;
         owl:equivalentClass :Person .
    
    :Jack     a :Person;
         :hasFriend :Alice .
    
    :John     a :Person;
         :age "37"^^xsd:nonNegativeInteger;
         :shirtsize "12"^^xsd:decimal;
         :shoesize "14"^^xsd:decimal .
    
    :JohnSmith     a :Animal .
    
    :Male     a owl:Class;
         rdfs:label "Male";
         rdfs:subClassOf :Animal .
    
    :Man     a owl:Class;
         rdfs:subClassOf :Male,
                :Person .
    
    :Mark     a :Person;
         :age "18"^^xsd:nonNegativeInteger;
         :hasFather :John,
                :JohnSmith;
         :shirtsize "9"^^xsd:decimal;
         :shoesize "8"^^xsd:decimal .
    
    :MotherOfJohn     a :Person;
         :biologicalMotherOf :John .
    
    :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 ] .
    
    :TheBeLovedHusbandOfEve     a :Person .
    
    :TwoLeggedPerson     a owl:Class;
         owl:intersectionOf  (
        :Person 
        :TwoLeggedThing  ) .
    
    :TwoLeggedThing     a owl:Class .
    
    :Woman     a owl:Class;
         rdfs:subClassOf :Female,
                :Person .
    
    :age     a owl:DatatypeProperty,
                owl:FunctionalProperty;
         rdfs:comment """
    age is a DatatypeProperty whose range is xsd:decimal.
    age is also a FunctionalProperty (can only have one age)
  """;
         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 .
    
    :hasFemaleParent     a owl:ObjectProperty;
         owl:equivalentProperty :hasMother .
    
    :hasFriend     a owl:ObjectProperty,
                owl:SymmetricProperty;
         rdfs:domain :Person;
         rdfs:range :Person .
    
    :hasMaleParent     a owl:ObjectProperty;
         owl:equivalentProperty :hasFather .
    
    :hasMom     a owl:ObjectProperty;
         owl:equivalentProperty :hasMother .
    
    :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 .
    
    :shirtsize     a owl:DatatypeProperty,
                owl:FunctionalProperty;
         rdfs:comment """
    shirtsize is a DatatypeProperty whose range is clothingsize.
  """;
         rdfs:range xsd:decimal .
    
    :shoesize     a owl:DatatypeProperty,
                owl:FunctionalProperty;
         rdfs:comment """
    shoesize is a DatatypeProperty whose range is xsd:decimal.
    shoesize is also a FunctionalProperty (can only have one shoesize)
  """;
         rdfs:range xsd:decimal .
    
    :spouseOf     a owl:ObjectProperty;
         owl:inverseOf :hasSpouse .
      [      a owl:AllDifferent;
             owl:distinctMembers  (
            :David 
            :Alice 
            :Jack 
            :John  ) ].
    
#ENDS