#Processed by Id: cwm.py,v 1.148 2004/03/21 04:24:32 timbl Exp 
        #    using base file:/proj/ontrapro/html/ontologies/hotel/hotelB.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/hotelB.owl
     @prefix : <http://www.atl.lmco.com/projects/ontology/ontologies/hotel/hotelB.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/hotelB.owl>     a owl:Ontology;
         rdfs:comment "A hotel ontology";
         rdfs:label "Hotel Ontology 2" .
    
    :Carpet     a :FloorAttribute .
    
    :ExclusiveAttribute     a owl:Class;
         rdfs:subClassOf :RoomAttribute .
    
    :ExclusiveProperty     a owl:ObjectProperty;
         rdfs:subPropertyOf :RoomProperty .
    
    :FloorAttribute     a owl:Class;
         rdfs:subClassOf :ExclusiveAttribute .
    
    :Hardwood     a :FloorAttribute .
    
    :NonSmoking     a :SmokingAttribute .
    
    :NumBeds     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :Room;
         rdfs:range :NumBedsAttribute;
         rdfs:subPropertyOf :ExclusiveProperty .
    
    :NumBedsAttribute     a owl:Class;
         rdfs:subClassOf :ExclusiveAttribute .
    
    :OnFloor     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :Room;
         rdfs:range :FloorAttribute;
         rdfs:subPropertyOf :ExclusiveProperty .
    
    :OneBed     a :NumBedsAttribute .
    
    :Room     a owl:Class;
         rdfs:subClassOf  [
             a owl:Restriction;
             owl:cardinality "1"^^xsd:nonNegativeInteger;
             owl:onProperty :ExclusiveProperty ] .
    
    :RoomAttribute     a owl:Class .
    
    :RoomProperty     a owl:ObjectProperty .
    
    :SingleRoom     a :SizeAttribute .
    
    :SizeAttribute     a owl:Class;
         rdfs:subClassOf :ExclusiveAttribute .
    
    :SizeOfRoom     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :Room;
         rdfs:range :SizeAttribute;
         rdfs:subPropertyOf :ExclusiveProperty .
    
    :Smoking     a :SmokingAttribute .
    
    :SmokingAttribute     a owl:Class;
         rdfs:subClassOf :ExclusiveAttribute .
    
    :SmokingOrNon     a owl:FunctionalProperty,
                owl:ObjectProperty;
         rdfs:domain :Room;
         rdfs:range :SmokingAttribute;
         rdfs:subPropertyOf :ExclusiveProperty .
    
    :Suite     a :SizeAttribute .
    
    :ThreeBeds     a :NumBedsAttribute .
    
    :TownHouse     a :SizeAttribute .
    
    :TwoBeds     a :NumBedsAttribute .
    
#ENDS