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

#   Base was: file:/proj/ontrapro/html/ontologies/hotel/hotelA.owl
     @prefix : <http://www.atl.lmco.com/projects/ontology/ontologies/hotel/hotelA.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/XMLSchema#> .
    
    <http://www.atl.lmco.com/projects/ontology/ontologies/hotel/hotelA.owl>     a owl:Ontology;
         rdfs:comment "A hotel ontology";
         rdfs:label "Hotel Ontology 1" .
    
    :Carpet     a :OnFloor .
    
    :Hardwood     a :OnFloor .
    
    :HotelRoom     a owl:Class;
         rdfs:subClassOf  [
             a owl:Restriction;
             owl:cardinality "1"^^xsd:nonNegativeInteger;
             owl:onProperty :hasSmokingPreference ],
                 [
             a owl:Restriction;
             owl:cardinality "1"^^xsd:nonNegativeInteger;
             owl:onProperty :hasNumBeds ],
                 [
             a owl:Restriction;
             owl:cardinality "1"^^xsd:nonNegativeInteger;
             owl:onProperty :hasOnFloor ] .
    
    :NonSmoking     a :SmokingPreference .
    
    :NumBeds     a owl:Class .
    
    :OnFloor     a owl:Class .
    
    :OneRoom     a owl:Class;
         rdfs:subClassOf :HotelRoom .
    
    :Smoking     a :SmokingPreference .
    
    :SmokingPreference     a owl:Class .
    
    :Suite     a owl:Class;
         rdfs:subClassOf :HotelRoom .
    
    :TownHouse     a owl:Class;
         rdfs:subClassOf :HotelRoom .
    
    :hasNumBeds     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :HotelRoom;
         rdfs:range :NumBeds .
    
    :hasOnFloor     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :HotelRoom;
         rdfs:range :OnFloor .
    
    :hasSmokingPreference     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :HotelRoom;
         rdfs:range :SmokingPreference .
    
    :one     a :NumBeds .
    
    :three     a :NumBeds .
    
    :two     a :NumBeds .
    
#ENDS