Prefix(:=) Prefix(owl:=) Prefix(rdf:=) Prefix(xml:=) Prefix(xsd:=) Prefix(rdfs:=) Ontology( Annotation(rdfs:comment "This wants to be an ontology when it has grown up Georg Olm, 370256") Declaration(Class(:AdministrativeRooms)) Declaration(Class(:AirCompressor)) Declaration(Class(:Ambulant)) Declaration(Class(:Anasthetic)) Declaration(Class(:BearingStructure)) Declaration(Class(:Cafeteria)) Declaration(Class(:Ceiling)) Declaration(Class(:Ceramic)) Declaration(Class(:CirculationAreas)) Declaration(Class(:CleanRooms)) Declaration(Class(:ClearWater)) Declaration(Class(:Concrete)) Declaration(Class(:ConstructionParts)) Declaration(Class(:ContaminatedWater)) Declaration(Class(:Corridors)) Declaration(Class(:CtpCommunication)) Declaration(Class(:CtpEnergy)) Declaration(Class(:CtpMatterCycle)) Declaration(Class(:CtpMobility)) Declaration(Class(:CtpNature)) Declaration(Class(:CtpWater)) Declaration(Class(:DeliveryDocks)) Declaration(Class(:DeliveryInfrastructure)) Declaration(Class(:DeliveryRoutes)) Declaration(Class(:DirtRooms)) Declaration(Class(:Disposal)) Declaration(Class(:EifsStructure)) Declaration(Class(:EmergencySupplySource)) Declaration(Class(:EnergyInfrastructure)) Declaration(Class(:EvacuationSystem)) Declaration(Class(:FerroConcrete)) Declaration(Class(:FireDoor)) Declaration(Class(:FireProtection)) Declaration(Class(:Foyers)) Declaration(Class(:FrontStructure)) Declaration(Class(:Gardens)) Declaration(Class(:GasBottleConnection)) Declaration(Class(:Glass)) Declaration(Class(:HVACInfrastructure)) Declaration(Class(:HighPressureStorage)) Declaration(Class(:HospBuildingComponent)) Declaration(Class(:HospComponents)) Declaration(Class(:HospDesigns)) Declaration(Class(:HospDomain)) Declaration(Class(:HospInfrastructureComponent)) Declaration(Class(:HospLandscape)) Declaration(Class(:HospOpt1)) Declaration(Class(:HospOpt2)) Declaration(Class(:Hospital)) Declaration(Class(:InformationInfrastructure)) Declaration(Class(:MainPipe)) Declaration(Class(:Material)) Declaration(Class(:NetworkSystem)) Declaration(Class(:NonBearingStructure)) Declaration(Class(:Offices)) Declaration(Class(:PVC)) Declaration(Class(:ParkingSpots)) Declaration(Class(:PatientRooms)) Declaration(Class(:PipeSystem)) Declaration(Class(:Plaster)) Declaration(Class(:Plumb)) Declaration(Class(:PressureReleaseSystem)) Declaration(Class(:PublicRooms)) Declaration(Class(:RadiationInfrastructure)) Declaration(Class(:RadiationMaze)) Declaration(Class(:RadiationProtection)) Declaration(Class(:RadiationProtectionWall)) Declaration(Class(:RadiologyRoom)) Declaration(Class(:Recovery)) Declaration(Class(:Registration)) Declaration(Class(:Removal)) Declaration(Class(:Reprocessing)) Declaration(Class(:SprinklerSystem)) Declaration(Class(:Staircases)) Declaration(Class(:Station)) Declaration(Class(:Steel)) Declaration(Class(:Supply)) Declaration(Class(:TreatmentRooms)) Declaration(Class(:Visitation)) Declaration(Class(:WaitingRooms)) Declaration(Class(:Washing)) Declaration(Class(:WasteInfrastructure)) Declaration(Class(:WasteWater)) Declaration(Class(:WaterAirCoolingPond)) Declaration(Class(:WaterAirPreventerMechanism)) Declaration(Class(:WaterInfrastructure)) Declaration(Class(:Windows)) Declaration(Class(:Wood)) Declaration(Class(:asphaltConcrete)) Declaration(Class(:baryteConcrete)) Declaration(Class(:electronAccelerator)) Declaration(Class(:extern)) Declaration(Class(:floor)) Declaration(Class(:heavyConcrete)) Declaration(Class(:intern)) Declaration(Class(:technicalStructure)) Declaration(ObjectProperty(:hasAdministrativeRooms)) Declaration(ObjectProperty(:hasBearingStructure)) Declaration(ObjectProperty(:hasCeiling)) Declaration(ObjectProperty(:hasCeramic)) Declaration(ObjectProperty(:hasCirculationAreas)) Declaration(ObjectProperty(:hasComponent)) Declaration(ObjectProperty(:hasConcrete)) Declaration(ObjectProperty(:hasConstructionParts)) Declaration(ObjectProperty(:hasDeliveryDocks)) Declaration(ObjectProperty(:hasDeliveryInfrastructure)) Declaration(ObjectProperty(:hasDeliveryRoutes)) Declaration(ObjectProperty(:hasDomain)) Declaration(ObjectProperty(:hasEifsStructure)) Declaration(ObjectProperty(:hasEnergyInfrastructure)) Declaration(ObjectProperty(:hasEvacuationSystem)) Declaration(ObjectProperty(:hasFerroConcrete)) Declaration(ObjectProperty(:hasFireProtection)) Declaration(ObjectProperty(:hasFrontStructure)) Declaration(ObjectProperty(:hasGardens)) Declaration(ObjectProperty(:hasGlass)) Declaration(ObjectProperty(:hasHVACInfrastructure)) Declaration(ObjectProperty(:hasHospBuildingComponent)) Declaration(ObjectProperty(:hasHospInfrastructureComponent)) Declaration(ObjectProperty(:hasHospLandscape)) Declaration(ObjectProperty(:hasInformationInfrastructure)) Declaration(ObjectProperty(:hasMaterial)) Declaration(ObjectProperty(:hasNetworkSystem)) Declaration(ObjectProperty(:hasNonBearingStructure)) Declaration(ObjectProperty(:hasPVC)) Declaration(ObjectProperty(:hasParkingSpots)) Declaration(ObjectProperty(:hasPatientRooms)) Declaration(ObjectProperty(:hasPipeSystem)) Declaration(ObjectProperty(:hasPlaster)) Declaration(ObjectProperty(:hasPlumb)) Declaration(ObjectProperty(:hasPublicRooms)) Declaration(ObjectProperty(:hasRadiationInfrastructure)) Declaration(ObjectProperty(:hasRadiationMaze)) Declaration(ObjectProperty(:hasRadiationProtection)) Declaration(ObjectProperty(:hasRadiationProtectionWall)) Declaration(ObjectProperty(:hasSteel)) Declaration(ObjectProperty(:hasTreatmentRooms)) Declaration(ObjectProperty(:hasWasteInfrastructure)) Declaration(ObjectProperty(:hasWaterAirCoolingPond)) Declaration(ObjectProperty(:hasWaterAirPreventerMechanism)) Declaration(ObjectProperty(:hasWaterInfrastructure)) Declaration(ObjectProperty(:hasWindows)) Declaration(ObjectProperty(:hasWood)) Declaration(ObjectProperty(:hasbaryteConcrete)) Declaration(ObjectProperty(:haselectronAccelerator)) Declaration(ObjectProperty(:hasfloor)) Declaration(ObjectProperty(:hasheavyConcrete)) Declaration(ObjectProperty(:hastechnicalStructure)) Declaration(ObjectProperty(:isAdministrativeRoomsOf)) Declaration(ObjectProperty(:isBearingStructureOf)) Declaration(ObjectProperty(:isCeilingOf)) Declaration(ObjectProperty(:isCeramicOf)) Declaration(ObjectProperty(:isCirculationAreasOf)) Declaration(ObjectProperty(:isComponentOf)) Declaration(ObjectProperty(:isConcreteOf)) Declaration(ObjectProperty(:isConstructionPartsOf)) Declaration(ObjectProperty(:isDeliveryDocksOf)) Declaration(ObjectProperty(:isDeliveryInfrastructureOf)) Declaration(ObjectProperty(:isDeliveryRoutesOf)) Declaration(ObjectProperty(:isDomainOf)) Declaration(ObjectProperty(:isEifsStructureOf)) Declaration(ObjectProperty(:isEnergyInfrastructureOf)) Declaration(ObjectProperty(:isEvacuationSystemOf)) Declaration(ObjectProperty(:isFerroConcreteOf)) Declaration(ObjectProperty(:isFireProtectionOf)) Declaration(ObjectProperty(:isFrontStructureOf)) Declaration(ObjectProperty(:isGardensOf)) Declaration(ObjectProperty(:isGlassOf)) Declaration(ObjectProperty(:isHVACInfrastructureOf)) Declaration(ObjectProperty(:isHospBuildingComponentOf)) Declaration(ObjectProperty(:isHospInfrastructureComponentOf)) Declaration(ObjectProperty(:isHospLandscapeOf)) Declaration(ObjectProperty(:isInformationInfrastructureOf)) Declaration(ObjectProperty(:isMaterialOf)) Declaration(ObjectProperty(:isNetworkSystemOf)) Declaration(ObjectProperty(:isNonBearingStructureOf)) Declaration(ObjectProperty(:isPVCOf)) Declaration(ObjectProperty(:isParkingSpotsOf)) Declaration(ObjectProperty(:isPatientRoomsOf)) Declaration(ObjectProperty(:isPipeSystemOf)) Declaration(ObjectProperty(:isPlasterOf)) Declaration(ObjectProperty(:isPlumbOf)) Declaration(ObjectProperty(:isPublicRoomsOf)) Declaration(ObjectProperty(:isRadiationInfrastructureOf)) Declaration(ObjectProperty(:isRadiationMazeOf)) Declaration(ObjectProperty(:isRadiationProtectionOf)) Declaration(ObjectProperty(:isRadiationProtectionWallOf)) Declaration(ObjectProperty(:isSteelOf)) Declaration(ObjectProperty(:isTreatmentRoomsOf)) Declaration(ObjectProperty(:isWasteInfrastructureOf)) Declaration(ObjectProperty(:isWaterAirCoolingPondOf)) Declaration(ObjectProperty(:isWaterAirPreventerMechanismOf)) Declaration(ObjectProperty(:isWaterInfrastructureOf)) Declaration(ObjectProperty(:isWindowsOf)) Declaration(ObjectProperty(:isWoodOf)) Declaration(ObjectProperty(:isbaryteConcreteOf)) Declaration(ObjectProperty(:iselectronAcceleratorOf)) Declaration(ObjectProperty(:isfloorOf)) Declaration(ObjectProperty(:isheavyConcreteOf)) Declaration(ObjectProperty(:istechnicalStructureOf)) Declaration(DataProperty(:hasArea)) Declaration(DataProperty(:hasCorners)) Declaration(DataProperty(:hasDensity)) Declaration(DataProperty(:hasEmployees)) Declaration(DataProperty(:hasEnergy)) Declaration(DataProperty(:hasMaterial)) Declaration(DataProperty(:hasPatients)) Declaration(DataProperty(:hasSize)) Declaration(NamedIndividual(:GeneratorHigh)) Declaration(NamedIndividual(:GeneratorLow)) Declaration(NamedIndividual(:MazeLong)) Declaration(NamedIndividual(:MazeShort)) Declaration(NamedIndividual(:RadiationWall1)) Declaration(NamedIndividual(:RadiationWall2)) Declaration(NamedIndividual(:hospOpt1)) Declaration(NamedIndividual(:hospOpt2)) ############################ # Object Properties ############################ # Object Property: :hasAdministrativeRooms (:hasAdministrativeRooms) SubObjectPropertyOf(:hasAdministrativeRooms :hasHospBuildingComponent) InverseObjectProperties(:hasAdministrativeRooms :isAdministrativeRoomsOf) ObjectPropertyDomain(:hasAdministrativeRooms :Hospital) DisjointObjectProperties(:hasAdministrativeRooms :hasCirculationAreas :hasDeliveryRoutes :hasPatientRooms :hasPublicRooms :hasTreatmentRooms) # Object Property: :hasBearingStructure (:hasBearingStructure) SubObjectPropertyOf(:hasBearingStructure :hasConstructionParts) InverseObjectProperties(:hasBearingStructure :isBearingStructureOf) ObjectPropertyDomain(:hasBearingStructure :Hospital) DisjointObjectProperties(:hasBearingStructure :hasCeiling :hasNonBearingStructure :hasRadiationProtectionWall :hasfloor) # Object Property: :hasCeiling (:hasCeiling) SubObjectPropertyOf(:hasCeiling :hasConstructionParts) InverseObjectProperties(:hasCeiling :isCeilingOf) ObjectPropertyDomain(:hasCeiling :Hospital) # Object Property: :hasCeramic (:hasCeramic) SubObjectPropertyOf(:hasCeramic :hasMaterial) InverseObjectProperties(:hasCeramic :isCeramicOf) DisjointObjectProperties(:hasCeramic :hasConcrete :hasFerroConcrete :hasGlass :hasPVC :hasPlumb :hasSteel :hasWood :hasbaryteConcrete :hasheavyConcrete) # Object Property: :hasCirculationAreas (:hasCirculationAreas) SubObjectPropertyOf(:hasCirculationAreas :hasHospBuildingComponent) InverseObjectProperties(:hasCirculationAreas :isCirculationAreasOf) ObjectPropertyDomain(:hasCirculationAreas :Hospital) # Object Property: :hasComponent (:hasComponent) InverseObjectProperties(:hasComponent :isComponentOf) ObjectPropertyDomain(:hasComponent :Hospital) # Object Property: :hasConcrete (:hasConcrete) SubObjectPropertyOf(:hasConcrete :hasMaterial) InverseObjectProperties(:hasConcrete :isConcreteOf) # Object Property: :hasConstructionParts (:hasConstructionParts) SubObjectPropertyOf(:hasConstructionParts :hasDomain) InverseObjectProperties(:hasConstructionParts :isConstructionPartsOf) ObjectPropertyDomain(:hasConstructionParts :Hospital) ObjectPropertyRange(:hasConstructionParts :ConstructionParts) DisjointObjectProperties(:hasConstructionParts :hasFrontStructure :hasHospLandscape :hastechnicalStructure) # Object Property: :hasDeliveryDocks (:hasDeliveryDocks) SubObjectPropertyOf(:hasDeliveryDocks :hasHospLandscape) InverseObjectProperties(:hasDeliveryDocks :isDeliveryDocksOf) ObjectPropertyDomain(:hasDeliveryDocks :Hospital) DisjointObjectProperties(:hasDeliveryDocks :hasGardens :hasParkingSpots) # Object Property: :hasDeliveryInfrastructure (:hasDeliveryInfrastructure) SubObjectPropertyOf(:hasDeliveryInfrastructure :hasHospInfrastructureComponent) InverseObjectProperties(:hasDeliveryInfrastructure :isDeliveryInfrastructureOf) ObjectPropertyDomain(:hasDeliveryInfrastructure :Hospital) DisjointObjectProperties(:hasDeliveryInfrastructure :hasEnergyInfrastructure :hasHVACInfrastructure :hasInformationInfrastructure :hasWasteInfrastructure :hasWaterInfrastructure) # Object Property: :hasDeliveryRoutes (:hasDeliveryRoutes) SubObjectPropertyOf(:hasDeliveryRoutes :hasHospBuildingComponent) InverseObjectProperties(:hasDeliveryRoutes :isDeliveryRoutesOf) ObjectPropertyDomain(:hasDeliveryRoutes :Hospital) # Object Property: :hasDomain (:hasDomain) InverseObjectProperties(:hasDomain :isDomainOf) ObjectPropertyDomain(:hasDomain :Hospital) ObjectPropertyRange(:hasDomain :HospDomain) # Object Property: :hasEifsStructure (:hasEifsStructure) SubObjectPropertyOf(:hasEifsStructure :hasFrontStructure) InverseObjectProperties(:hasEifsStructure :isEifsStructureOf) ObjectPropertyDomain(:hasEifsStructure :Hospital) DisjointObjectProperties(:hasEifsStructure :hasPlaster :hasWindows) # Object Property: :hasEnergyInfrastructure (:hasEnergyInfrastructure) SubObjectPropertyOf(:hasEnergyInfrastructure :hasHospInfrastructureComponent) InverseObjectProperties(:hasEnergyInfrastructure :isEnergyInfrastructureOf) ObjectPropertyDomain(:hasEnergyInfrastructure :Hospital) # Object Property: :hasEvacuationSystem (:hasEvacuationSystem) SubObjectPropertyOf(:hasEvacuationSystem :hastechnicalStructure) InverseObjectProperties(:hasEvacuationSystem :isEvacuationSystemOf) ObjectPropertyDomain(:hasEvacuationSystem :Hospital) DisjointObjectProperties(:hasEvacuationSystem :hasFireProtection :hasPipeSystem :hasRadiationProtection) # Object Property: :hasFerroConcrete (:hasFerroConcrete) SubObjectPropertyOf(:hasFerroConcrete :hasMaterial) InverseObjectProperties(:hasFerroConcrete :isFerroConcreteOf) # Object Property: :hasFireProtection (:hasFireProtection) SubObjectPropertyOf(:hasFireProtection :hastechnicalStructure) InverseObjectProperties(:hasFireProtection :isFireProtectionOf) ObjectPropertyDomain(:hasFireProtection :Hospital) # Object Property: :hasFrontStructure (:hasFrontStructure) SubObjectPropertyOf(:hasFrontStructure :hasDomain) InverseObjectProperties(:hasFrontStructure :isFrontStructureOf) ObjectPropertyDomain(:hasFrontStructure :Hospital) ObjectPropertyRange(:hasFrontStructure :FrontStructure) # Object Property: :hasGardens (:hasGardens) SubObjectPropertyOf(:hasGardens :hasHospLandscape) InverseObjectProperties(:hasGardens :isGardensOf) ObjectPropertyDomain(:hasGardens :Hospital) # Object Property: :hasGlass (:hasGlass) SubObjectPropertyOf(:hasGlass :hasMaterial) InverseObjectProperties(:hasGlass :isGlassOf) # Object Property: :hasHVACInfrastructure (:hasHVACInfrastructure) SubObjectPropertyOf(:hasHVACInfrastructure :hasHospInfrastructureComponent) InverseObjectProperties(:hasHVACInfrastructure :isHVACInfrastructureOf) ObjectPropertyDomain(:hasHVACInfrastructure :Hospital) # Object Property: :hasHospBuildingComponent (:hasHospBuildingComponent) SubObjectPropertyOf(:hasHospBuildingComponent :hasComponent) InverseObjectProperties(:hasHospBuildingComponent :isHospBuildingComponentOf) ObjectPropertyDomain(:hasHospBuildingComponent :Hospital) DisjointObjectProperties(:hasHospBuildingComponent :hasHospInfrastructureComponent) # Object Property: :hasHospInfrastructureComponent (:hasHospInfrastructureComponent) SubObjectPropertyOf(:hasHospInfrastructureComponent :hasComponent) InverseObjectProperties(:hasHospInfrastructureComponent :isHospInfrastructureComponentOf) ObjectPropertyDomain(:hasHospInfrastructureComponent :Hospital) # Object Property: :hasHospLandscape (:hasHospLandscape) SubObjectPropertyOf(:hasHospLandscape :hasDomain) InverseObjectProperties(:hasHospLandscape :isHospLandscapeOf) ObjectPropertyDomain(:hasHospLandscape :Hospital) ObjectPropertyRange(:hasHospLandscape :HospLandscape) # Object Property: :hasInformationInfrastructure (:hasInformationInfrastructure) SubObjectPropertyOf(:hasInformationInfrastructure :hasHospInfrastructureComponent) InverseObjectProperties(:hasInformationInfrastructure :isInformationInfrastructureOf) ObjectPropertyDomain(:hasInformationInfrastructure :Hospital) # Object Property: :hasMaterial (:hasMaterial) SubObjectPropertyOf(:hasMaterial owl:topObjectProperty) InverseObjectProperties(:hasMaterial :isMaterialOf) TransitiveObjectProperty(:hasMaterial) ObjectPropertyDomain(:hasMaterial :Hospital) # Object Property: :hasNetworkSystem (:hasNetworkSystem) SubObjectPropertyOf(:hasNetworkSystem :hastechnicalStructure) # Object Property: :hasNonBearingStructure (:hasNonBearingStructure) SubObjectPropertyOf(:hasNonBearingStructure :hasConstructionParts) InverseObjectProperties(:hasNonBearingStructure :isNonBearingStructureOf) ObjectPropertyDomain(:hasNonBearingStructure :Hospital) # Object Property: :hasPVC (:hasPVC) SubObjectPropertyOf(:hasPVC :hasMaterial) InverseObjectProperties(:hasPVC :isPVCOf) # Object Property: :hasParkingSpots (:hasParkingSpots) SubObjectPropertyOf(:hasParkingSpots :hasHospLandscape) InverseObjectProperties(:hasParkingSpots :isParkingSpotsOf) ObjectPropertyDomain(:hasParkingSpots :Hospital) # Object Property: :hasPatientRooms (:hasPatientRooms) SubObjectPropertyOf(:hasPatientRooms :hasHospBuildingComponent) InverseObjectProperties(:hasPatientRooms :isPatientRoomsOf) ObjectPropertyDomain(:hasPatientRooms :Hospital) # Object Property: :hasPipeSystem (:hasPipeSystem) SubObjectPropertyOf(:hasPipeSystem :hastechnicalStructure) InverseObjectProperties(:hasPipeSystem :isPipeSystemOf) ObjectPropertyDomain(:hasPipeSystem :Hospital) # Object Property: :hasPlaster (:hasPlaster) SubObjectPropertyOf(:hasPlaster :hasFrontStructure) InverseObjectProperties(:hasPlaster :isPlasterOf) ObjectPropertyDomain(:hasPlaster :Hospital) # Object Property: :hasPlumb (:hasPlumb) SubObjectPropertyOf(:hasPlumb :hasMaterial) InverseObjectProperties(:hasPlumb :isPlumbOf) # Object Property: :hasPublicRooms (:hasPublicRooms) SubObjectPropertyOf(:hasPublicRooms :hasHospBuildingComponent) InverseObjectProperties(:hasPublicRooms :isPublicRoomsOf) ObjectPropertyDomain(:hasPublicRooms :Hospital) # Object Property: :hasRadiationInfrastructure (:hasRadiationInfrastructure) SubObjectPropertyOf(:hasRadiationInfrastructure :hasHospInfrastructureComponent) # Object Property: :hasRadiationMaze (:hasRadiationMaze) SubObjectPropertyOf(:hasRadiationMaze :hasRadiationProtection) InverseObjectProperties(:hasRadiationMaze :isRadiationMazeOf) DisjointObjectProperties(:hasRadiationMaze :hasWaterAirCoolingPond :hasWaterAirPreventerMechanism) # Object Property: :hasRadiationProtection (:hasRadiationProtection) SubObjectPropertyOf(:hasRadiationProtection :hastechnicalStructure) InverseObjectProperties(:hasRadiationProtection :isRadiationProtectionOf) ObjectPropertyDomain(:hasRadiationProtection :Hospital) # Object Property: :hasRadiationProtectionWall (:hasRadiationProtectionWall) SubObjectPropertyOf(:hasRadiationProtectionWall :hasConstructionParts) InverseObjectProperties(:hasRadiationProtectionWall :isRadiationProtectionWallOf) ObjectPropertyDomain(:hasRadiationProtectionWall :Hospital) # Object Property: :hasSteel (:hasSteel) SubObjectPropertyOf(:hasSteel :hasMaterial) InverseObjectProperties(:hasSteel :isSteelOf) # Object Property: :hasTreatmentRooms (:hasTreatmentRooms) SubObjectPropertyOf(:hasTreatmentRooms :hasHospBuildingComponent) InverseObjectProperties(:hasTreatmentRooms :isTreatmentRoomsOf) ObjectPropertyDomain(:hasTreatmentRooms :Hospital) # Object Property: :hasWasteInfrastructure (:hasWasteInfrastructure) SubObjectPropertyOf(:hasWasteInfrastructure :hasHospInfrastructureComponent) InverseObjectProperties(:hasWasteInfrastructure :isWasteInfrastructureOf) ObjectPropertyDomain(:hasWasteInfrastructure :Hospital) # Object Property: :hasWaterAirCoolingPond (:hasWaterAirCoolingPond) SubObjectPropertyOf(:hasWaterAirCoolingPond :hasRadiationProtection) InverseObjectProperties(:hasWaterAirCoolingPond :isWaterAirPreventerMechanismOf) # Object Property: :hasWaterAirPreventerMechanism (:hasWaterAirPreventerMechanism) SubObjectPropertyOf(:hasWaterAirPreventerMechanism :hasRadiationProtection) InverseObjectProperties(:hasWaterAirPreventerMechanism :isWaterAirCoolingPondOf) # Object Property: :hasWaterInfrastructure (:hasWaterInfrastructure) SubObjectPropertyOf(:hasWaterInfrastructure :hasHospInfrastructureComponent) InverseObjectProperties(:hasWaterInfrastructure :isWaterInfrastructureOf) ObjectPropertyDomain(:hasWaterInfrastructure :Hospital) # Object Property: :hasWindows (:hasWindows) SubObjectPropertyOf(:hasWindows :hasFrontStructure) InverseObjectProperties(:hasWindows :isWindowsOf) ObjectPropertyDomain(:hasWindows :Hospital) # Object Property: :hasWood (:hasWood) SubObjectPropertyOf(:hasWood :hasMaterial) InverseObjectProperties(:hasWood :isWoodOf) # Object Property: :hasbaryteConcrete (:hasbaryteConcrete) SubObjectPropertyOf(:hasbaryteConcrete :hasMaterial) InverseObjectProperties(:hasbaryteConcrete :isbaryteConcreteOf) # Object Property: :haselectronAccelerator (:haselectronAccelerator) SubObjectPropertyOf(:haselectronAccelerator :hasRadiationInfrastructure) # Object Property: :hasfloor (:hasfloor) SubObjectPropertyOf(:hasfloor :hasConstructionParts) InverseObjectProperties(:hasfloor :isfloorOf) ObjectPropertyDomain(:hasfloor :Hospital) # Object Property: :hasheavyConcrete (:hasheavyConcrete) SubObjectPropertyOf(:hasheavyConcrete :hasMaterial) InverseObjectProperties(:hasheavyConcrete :isheavyConcreteOf) # Object Property: :hastechnicalStructure (:hastechnicalStructure) SubObjectPropertyOf(:hastechnicalStructure :hasDomain) InverseObjectProperties(:hastechnicalStructure :istechnicalStructureOf) ObjectPropertyDomain(:hastechnicalStructure :Hospital) ObjectPropertyRange(:hastechnicalStructure :technicalStructure) # Object Property: :isAdministrativeRoomsOf (:isAdministrativeRoomsOf) SubObjectPropertyOf(:isAdministrativeRoomsOf :isHospBuildingComponentOf) DisjointObjectProperties(:isAdministrativeRoomsOf :isCirculationAreasOf :isDeliveryRoutesOf :isPatientRoomsOf :isPublicRoomsOf :isTreatmentRoomsOf) # Object Property: :isBearingStructureOf (:isBearingStructureOf) SubObjectPropertyOf(:isBearingStructureOf :isConstructionPartsOf) DisjointObjectProperties(:isBearingStructureOf :isCeilingOf :isNonBearingStructureOf :isRadiationProtectionWallOf :isfloorOf) # Object Property: :isCeilingOf (:isCeilingOf) SubObjectPropertyOf(:isCeilingOf :isConstructionPartsOf) # Object Property: :isCeramicOf (:isCeramicOf) SubObjectPropertyOf(:isCeramicOf :isMaterialOf) DisjointObjectProperties(:isCeramicOf :isConcreteOf :isFerroConcreteOf :isGlassOf :isPVCOf :isPlumbOf :isSteelOf :isWoodOf :isbaryteConcreteOf :isheavyConcreteOf) # Object Property: :isCirculationAreasOf (:isCirculationAreasOf) SubObjectPropertyOf(:isCirculationAreasOf :isHospBuildingComponentOf) # Object Property: :isConcreteOf (:isConcreteOf) SubObjectPropertyOf(:isConcreteOf :isMaterialOf) # Object Property: :isConstructionPartsOf (:isConstructionPartsOf) SubObjectPropertyOf(:isConstructionPartsOf :isDomainOf) DisjointObjectProperties(:isConstructionPartsOf :isFrontStructureOf :isHospLandscapeOf :istechnicalStructureOf) # Object Property: :isDeliveryDocksOf (:isDeliveryDocksOf) SubObjectPropertyOf(:isDeliveryDocksOf :isHospLandscapeOf) # Object Property: :isDeliveryInfrastructureOf (:isDeliveryInfrastructureOf) SubObjectPropertyOf(:isDeliveryInfrastructureOf :isHospInfrastructureComponentOf) DisjointObjectProperties(:isDeliveryInfrastructureOf :isEnergyInfrastructureOf :isHVACInfrastructureOf :isInformationInfrastructureOf :isWasteInfrastructureOf :isWaterInfrastructureOf) # Object Property: :isDeliveryRoutesOf (:isDeliveryRoutesOf) SubObjectPropertyOf(:isDeliveryRoutesOf :isHospBuildingComponentOf) # Object Property: :isEifsStructureOf (:isEifsStructureOf) SubObjectPropertyOf(:isEifsStructureOf :isFrontStructureOf) # Object Property: :isEnergyInfrastructureOf (:isEnergyInfrastructureOf) SubObjectPropertyOf(:isEnergyInfrastructureOf :isHospInfrastructureComponentOf) # Object Property: :isEvacuationSystemOf (:isEvacuationSystemOf) SubObjectPropertyOf(:isEvacuationSystemOf :istechnicalStructureOf) DisjointObjectProperties(:isEvacuationSystemOf :isFireProtectionOf :isPipeSystemOf :isRadiationProtectionOf) # Object Property: :isFerroConcreteOf (:isFerroConcreteOf) SubObjectPropertyOf(:isFerroConcreteOf :isMaterialOf) # Object Property: :isFireProtectionOf (:isFireProtectionOf) SubObjectPropertyOf(:isFireProtectionOf :istechnicalStructureOf) # Object Property: :isFrontStructureOf (:isFrontStructureOf) SubObjectPropertyOf(:isFrontStructureOf :isDomainOf) # Object Property: :isGardensOf (:isGardensOf) SubObjectPropertyOf(:isGardensOf :isHospLandscapeOf) # Object Property: :isGlassOf (:isGlassOf) SubObjectPropertyOf(:isGlassOf :isMaterialOf) # Object Property: :isHVACInfrastructureOf (:isHVACInfrastructureOf) SubObjectPropertyOf(:isHVACInfrastructureOf :isHospInfrastructureComponentOf) # Object Property: :isHospBuildingComponentOf (:isHospBuildingComponentOf) SubObjectPropertyOf(:isHospBuildingComponentOf :isComponentOf) DisjointObjectProperties(:isHospBuildingComponentOf :isHospInfrastructureComponentOf) # Object Property: :isHospInfrastructureComponentOf (:isHospInfrastructureComponentOf) SubObjectPropertyOf(:isHospInfrastructureComponentOf :isComponentOf) # Object Property: :isHospLandscapeOf (:isHospLandscapeOf) SubObjectPropertyOf(:isHospLandscapeOf :isDomainOf) # Object Property: :isInformationInfrastructureOf (:isInformationInfrastructureOf) SubObjectPropertyOf(:isInformationInfrastructureOf :isHospInfrastructureComponentOf) # Object Property: :isMaterialOf (:isMaterialOf) TransitiveObjectProperty(:isMaterialOf) # Object Property: :isNetworkSystemOf (:isNetworkSystemOf) SubObjectPropertyOf(:isNetworkSystemOf :istechnicalStructureOf) # Object Property: :isNonBearingStructureOf (:isNonBearingStructureOf) SubObjectPropertyOf(:isNonBearingStructureOf :isConstructionPartsOf) # Object Property: :isPVCOf (:isPVCOf) SubObjectPropertyOf(:isPVCOf :isMaterialOf) # Object Property: :isParkingSpotsOf (:isParkingSpotsOf) SubObjectPropertyOf(:isParkingSpotsOf :isHospLandscapeOf) # Object Property: :isPatientRoomsOf (:isPatientRoomsOf) SubObjectPropertyOf(:isPatientRoomsOf :isHospBuildingComponentOf) # Object Property: :isPipeSystemOf (:isPipeSystemOf) SubObjectPropertyOf(:isPipeSystemOf :istechnicalStructureOf) # Object Property: :isPlasterOf (:isPlasterOf) SubObjectPropertyOf(:isPlasterOf :isFrontStructureOf) # Object Property: :isPlumbOf (:isPlumbOf) SubObjectPropertyOf(:isPlumbOf :isMaterialOf) # Object Property: :isPublicRoomsOf (:isPublicRoomsOf) SubObjectPropertyOf(:isPublicRoomsOf :isHospBuildingComponentOf) # Object Property: :isRadiationInfrastructureOf (:isRadiationInfrastructureOf) SubObjectPropertyOf(:isRadiationInfrastructureOf :isHospInfrastructureComponentOf) # Object Property: :isRadiationMazeOf (:isRadiationMazeOf) SubObjectPropertyOf(:isRadiationMazeOf :isRadiationProtectionOf) DisjointObjectProperties(:isRadiationMazeOf :isWaterAirCoolingPondOf :isWaterAirPreventerMechanismOf) # Object Property: :isRadiationProtectionOf (:isRadiationProtectionOf) SubObjectPropertyOf(:isRadiationProtectionOf :istechnicalStructureOf) # Object Property: :isRadiationProtectionWallOf (:isRadiationProtectionWallOf) SubObjectPropertyOf(:isRadiationProtectionWallOf :isConstructionPartsOf) # Object Property: :isSteelOf (:isSteelOf) SubObjectPropertyOf(:isSteelOf :isMaterialOf) # Object Property: :isTreatmentRoomsOf (:isTreatmentRoomsOf) SubObjectPropertyOf(:isTreatmentRoomsOf :isHospBuildingComponentOf) # Object Property: :isWasteInfrastructureOf (:isWasteInfrastructureOf) SubObjectPropertyOf(:isWasteInfrastructureOf :isHospInfrastructureComponentOf) # Object Property: :isWaterAirCoolingPondOf (:isWaterAirCoolingPondOf) SubObjectPropertyOf(:isWaterAirCoolingPondOf :isRadiationProtectionOf) # Object Property: :isWaterAirPreventerMechanismOf (:isWaterAirPreventerMechanismOf) SubObjectPropertyOf(:isWaterAirPreventerMechanismOf :isRadiationProtectionOf) # Object Property: :isWaterInfrastructureOf (:isWaterInfrastructureOf) SubObjectPropertyOf(:isWaterInfrastructureOf :isHospInfrastructureComponentOf) # Object Property: :isWindowsOf (:isWindowsOf) SubObjectPropertyOf(:isWindowsOf :isFrontStructureOf) # Object Property: :isWoodOf (:isWoodOf) SubObjectPropertyOf(:isWoodOf :isMaterialOf) # Object Property: :isbaryteConcreteOf (:isbaryteConcreteOf) SubObjectPropertyOf(:isbaryteConcreteOf :isMaterialOf) # Object Property: :iselectronAcceleratorOf (:iselectronAcceleratorOf) SubObjectPropertyOf(:iselectronAcceleratorOf :isRadiationInfrastructureOf) # Object Property: :isfloorOf (:isfloorOf) SubObjectPropertyOf(:isfloorOf :isConstructionPartsOf) # Object Property: :isheavyConcreteOf (:isheavyConcreteOf) SubObjectPropertyOf(:isheavyConcreteOf :isMaterialOf) # Object Property: :istechnicalStructureOf (:istechnicalStructureOf) SubObjectPropertyOf(:istechnicalStructureOf :isDomainOf) ############################ # Classes ############################ # Class: :AdministrativeRooms (:AdministrativeRooms) SubClassOf(:AdministrativeRooms :HospBuildingComponent) # Class: :AirCompressor (:AirCompressor) SubClassOf(:AirCompressor :PipeSystem) # Class: :Ambulant (:Ambulant) SubClassOf(:Ambulant :PatientRooms) # Class: :Anasthetic (:Anasthetic) SubClassOf(:Anasthetic :PatientRooms) # Class: :BearingStructure (:BearingStructure) SubClassOf(:BearingStructure :ConstructionParts) # Class: :Cafeteria (:Cafeteria) SubClassOf(:Cafeteria :PublicRooms) # Class: :Ceiling (:Ceiling) SubClassOf(:Ceiling :ConstructionParts) # Class: :Ceramic (:Ceramic) SubClassOf(:Ceramic :Material) # Class: :CirculationAreas (:CirculationAreas) SubClassOf(:CirculationAreas :HospBuildingComponent) # Class: :CleanRooms (:CleanRooms) SubClassOf(:CleanRooms :TreatmentRooms) # Class: :ClearWater (:ClearWater) SubClassOf(:ClearWater :WaterInfrastructure) # Class: :Concrete (:Concrete) SubClassOf(:Concrete :Material) # Class: :ConstructionParts (:ConstructionParts) SubClassOf(:ConstructionParts :HospDomain) # Class: :ContaminatedWater (:ContaminatedWater) SubClassOf(:ContaminatedWater :WaterInfrastructure) # Class: :Corridors (:Corridors) SubClassOf(:Corridors :CirculationAreas) # Class: :CtpCommunication (:CtpCommunication) # Class: :CtpEnergy (:CtpEnergy) # Class: :CtpMatterCycle (:CtpMatterCycle) # Class: :CtpMobility (:CtpMobility) # Class: :CtpNature (:CtpNature) # Class: :CtpWater (:CtpWater) # Class: :DeliveryDocks (:DeliveryDocks) SubClassOf(:DeliveryDocks :HospLandscape) # Class: :DeliveryInfrastructure (:DeliveryInfrastructure) SubClassOf(:DeliveryInfrastructure :HospInfrastructureComponent) # Class: :DeliveryRoutes (:DeliveryRoutes) SubClassOf(:DeliveryRoutes :HospBuildingComponent) # Class: :DirtRooms (:DirtRooms) SubClassOf(:DirtRooms :TreatmentRooms) # Class: :Disposal (:Disposal) SubClassOf(:Disposal :WasteInfrastructure) # Class: :EifsStructure (:EifsStructure) SubClassOf(:EifsStructure :FrontStructure) # Class: :EmergencySupplySource (:EmergencySupplySource) SubClassOf(:EmergencySupplySource :PipeSystem) # Class: :EnergyInfrastructure (:EnergyInfrastructure) SubClassOf(:EnergyInfrastructure :HospInfrastructureComponent) # Class: :EvacuationSystem (:EvacuationSystem) SubClassOf(:EvacuationSystem :technicalStructure) # Class: :FerroConcrete (:FerroConcrete) SubClassOf(:FerroConcrete :Material) # Class: :FireDoor (:FireDoor) SubClassOf(:FireDoor :FireProtection) # Class: :FireProtection (:FireProtection) SubClassOf(:FireProtection :technicalStructure) # Class: :Foyers (:Foyers) SubClassOf(:Foyers :AdministrativeRooms) # Class: :FrontStructure (:FrontStructure) SubClassOf(:FrontStructure :HospDomain) # Class: :Gardens (:Gardens) SubClassOf(:Gardens :HospLandscape) # Class: :GasBottleConnection (:GasBottleConnection) SubClassOf(:GasBottleConnection :PipeSystem) # Class: :Glass (:Glass) SubClassOf(:Glass :Material) # Class: :HVACInfrastructure (:HVACInfrastructure) SubClassOf(:HVACInfrastructure :HospInfrastructureComponent) # Class: :HighPressureStorage (:HighPressureStorage) SubClassOf(:HighPressureStorage :PipeSystem) # Class: :HospBuildingComponent (:HospBuildingComponent) SubClassOf(:HospBuildingComponent :HospComponents) # Class: :HospComponents (:HospComponents) SubClassOf(:HospComponents :CtpMatterCycle) # Class: :HospDesigns (:HospDesigns) SubClassOf(:HospDesigns :Hospital) # Class: :HospDomain (:HospDomain) SubClassOf(:HospDomain :CtpMatterCycle) SubClassOf(:HospDomain ObjectSomeValuesFrom(:hasMaterial :Material)) # Class: :HospInfrastructureComponent (:HospInfrastructureComponent) SubClassOf(:HospInfrastructureComponent :HospComponents) # Class: :HospLandscape (:HospLandscape) SubClassOf(:HospLandscape :HospDomain) # Class: :HospOpt1 (:HospOpt1) SubClassOf(:HospOpt1 :HospDesigns) SubClassOf(:HospOpt1 ObjectSomeValuesFrom(:hasTreatmentRooms :RadiologyRoom)) SubClassOf(:HospOpt1 ObjectHasValue(:hasRadiationMaze :MazeShort)) SubClassOf(:HospOpt1 ObjectHasValue(:hasRadiationProtectionWall :RadiationWall1)) SubClassOf(:HospOpt1 ObjectHasValue(:haselectronAccelerator :GeneratorLow)) # Class: :HospOpt2 (:HospOpt2) SubClassOf(:HospOpt2 :HospDesigns) SubClassOf(:HospOpt2 ObjectSomeValuesFrom(:hasTreatmentRooms :RadiologyRoom)) SubClassOf(:HospOpt2 ObjectHasValue(:hasRadiationMaze :MazeLong)) SubClassOf(:HospOpt2 ObjectHasValue(:hasRadiationProtectionWall :RadiationWall2)) SubClassOf(:HospOpt2 ObjectHasValue(:haselectronAccelerator :GeneratorHigh)) # Class: :Hospital (:Hospital) SubClassOf(:Hospital :CtpMatterCycle) SubClassOf(:Hospital ObjectSomeValuesFrom(:hasDomain :HospDomain)) SubClassOf(:Hospital ObjectSomeValuesFrom(:hasHospBuildingComponent :HospBuildingComponent)) SubClassOf(:Hospital ObjectSomeValuesFrom(:hasHospInfrastructureComponent :HospInfrastructureComponent)) # Class: :InformationInfrastructure (:InformationInfrastructure) SubClassOf(:InformationInfrastructure :HospInfrastructureComponent) # Class: :MainPipe (:MainPipe) SubClassOf(:MainPipe :PipeSystem) # Class: :Material (:Material) # Class: :NetworkSystem (:NetworkSystem) SubClassOf(:NetworkSystem :technicalStructure) # Class: :NonBearingStructure (:NonBearingStructure) SubClassOf(:NonBearingStructure :ConstructionParts) # Class: :Offices (:Offices) SubClassOf(:Offices :AdministrativeRooms) # Class: :PVC (:PVC) SubClassOf(:PVC :Material) # Class: :ParkingSpots (:ParkingSpots) SubClassOf(:ParkingSpots :HospLandscape) # Class: :PatientRooms (:PatientRooms) SubClassOf(:PatientRooms :HospBuildingComponent) # Class: :PipeSystem (:PipeSystem) SubClassOf(:PipeSystem :technicalStructure) # Class: :Plaster (:Plaster) SubClassOf(:Plaster :FrontStructure) # Class: :Plumb (:Plumb) SubClassOf(:Plumb :Material) # Class: :PressureReleaseSystem (:PressureReleaseSystem) SubClassOf(:PressureReleaseSystem :PipeSystem) # Class: :PublicRooms (:PublicRooms) SubClassOf(:PublicRooms :HospBuildingComponent) # Class: :RadiationInfrastructure (:RadiationInfrastructure) SubClassOf(:RadiationInfrastructure :HospInfrastructureComponent) # Class: :RadiationMaze (:RadiationMaze) EquivalentClasses(:RadiationMaze ObjectOneOf(:MazeLong :MazeShort)) SubClassOf(:RadiationMaze :RadiationProtection) # Class: :RadiationProtection (:RadiationProtection) SubClassOf(:RadiationProtection :technicalStructure) # Class: :RadiationProtectionWall (:RadiationProtectionWall) EquivalentClasses(:RadiationProtectionWall ObjectOneOf(:RadiationWall1 :RadiationWall2)) SubClassOf(:RadiationProtectionWall :ConstructionParts) # Class: :RadiologyRoom (:RadiologyRoom) SubClassOf(:RadiologyRoom :TreatmentRooms) # Class: :Recovery (:Recovery) SubClassOf(:Recovery :PatientRooms) # Class: :Registration (:Registration) SubClassOf(:Registration :AdministrativeRooms) # Class: :Removal (:Removal) SubClassOf(:Removal :DeliveryInfrastructure) DisjointClasses(:Removal :Supply) # Class: :Reprocessing (:Reprocessing) SubClassOf(:Reprocessing :WasteInfrastructure) # Class: :SprinklerSystem (:SprinklerSystem) SubClassOf(:SprinklerSystem :FireProtection) # Class: :Staircases (:Staircases) SubClassOf(:Staircases :CirculationAreas) # Class: :Station (:Station) SubClassOf(:Station :PatientRooms) # Class: :Steel (:Steel) SubClassOf(:Steel :Material) # Class: :Supply (:Supply) SubClassOf(:Supply :DeliveryInfrastructure) # Class: :TreatmentRooms (:TreatmentRooms) SubClassOf(:TreatmentRooms :HospBuildingComponent) # Class: :Visitation (:Visitation) SubClassOf(:Visitation :PublicRooms) # Class: :WaitingRooms (:WaitingRooms) SubClassOf(:WaitingRooms :AdministrativeRooms) # Class: :Washing (:Washing) SubClassOf(:Washing :WasteInfrastructure) # Class: :WasteInfrastructure (:WasteInfrastructure) SubClassOf(:WasteInfrastructure :HospInfrastructureComponent) # Class: :WasteWater (:WasteWater) SubClassOf(:WasteWater :WaterInfrastructure) # Class: :WaterAirCoolingPond (:WaterAirCoolingPond) SubClassOf(:WaterAirCoolingPond :RadiationProtection) # Class: :WaterAirPreventerMechanism (:WaterAirPreventerMechanism) SubClassOf(:WaterAirPreventerMechanism :RadiationProtection) # Class: :WaterInfrastructure (:WaterInfrastructure) SubClassOf(:WaterInfrastructure :HospInfrastructureComponent) # Class: :Windows (:Windows) SubClassOf(:Windows :FrontStructure) # Class: :Wood (:Wood) SubClassOf(:Wood :Material) # Class: :asphaltConcrete (:asphaltConcrete) SubClassOf(:asphaltConcrete :Material) # Class: :baryteConcrete (:baryteConcrete) SubClassOf(:baryteConcrete :Material) # Class: :electronAccelerator (:electronAccelerator) EquivalentClasses(:electronAccelerator ObjectOneOf(:GeneratorHigh :GeneratorLow)) SubClassOf(:electronAccelerator :RadiationInfrastructure) # Class: :extern (:extern) SubClassOf(:extern :InformationInfrastructure) DisjointClasses(:extern :intern) # Class: :floor (:floor) SubClassOf(:floor :ConstructionParts) # Class: :heavyConcrete (:heavyConcrete) SubClassOf(:heavyConcrete :Material) # Class: :intern (:intern) SubClassOf(:intern :InformationInfrastructure) # Class: :technicalStructure (:technicalStructure) SubClassOf(:technicalStructure :HospDomain) ############################ # Named Individuals ############################ # Individual: :GeneratorHigh (:GeneratorHigh) ClassAssertion(:electronAccelerator :GeneratorHigh) DataPropertyAssertion(:hasEnergy :GeneratorHigh "10.0"^^xsd:double) # Individual: :GeneratorLow (:GeneratorLow) ClassAssertion(:electronAccelerator :GeneratorLow) DataPropertyAssertion(:hasEnergy :GeneratorLow "5.0"^^xsd:double) # Individual: :MazeLong (:MazeLong) ClassAssertion(:RadiationMaze :MazeLong) DataPropertyAssertion(:hasArea :MazeLong "0.5"^^xsd:double) DataPropertyAssertion(:hasDensity :MazeLong "3.2"^^xsd:double) # Individual: :MazeShort (:MazeShort) ClassAssertion(:RadiationMaze :MazeShort) DataPropertyAssertion(:hasArea :MazeShort "0.3"^^xsd:double) DataPropertyAssertion(:hasCorners :MazeShort "2.0"^^xsd:double) # Individual: :RadiationWall1 (:RadiationWall1) ClassAssertion(:RadiationProtectionWall :RadiationWall1) DataPropertyAssertion(:hasMaterial :RadiationWall1 "lead"^^xsd:string) # Individual: :RadiationWall2 (:RadiationWall2) ClassAssertion(:RadiationProtectionWall :RadiationWall2) DataPropertyAssertion(:hasMaterial :RadiationWall2 "BaryteConcrete"^^xsd:string) # Individual: :hospOpt1 (:hospOpt1) ClassAssertion(:HospOpt1 :hospOpt1) DataPropertyAssertion(:hasEmployees :hospOpt1 "2000.0"^^xsd:double) DataPropertyAssertion(:hasPatients :hospOpt1 "750.0"^^xsd:double) DataPropertyAssertion(:hasSize :hospOpt1 "86000.0"^^xsd:double) # Individual: :hospOpt2 (:hospOpt2) ClassAssertion(:HospOpt2 :hospOpt2) DataPropertyAssertion(:hasEmployees :hospOpt2 "15000.0"^^xsd:double) DataPropertyAssertion(:hasPatients :hospOpt2 "1600.0"^^xsd:double) DataPropertyAssertion(:hasSize :hospOpt2 "335000.0"^^xsd:double) DisjointClasses(:AdministrativeRooms :CirculationAreas :DeliveryRoutes :PatientRooms :PublicRooms :TreatmentRooms) DisjointClasses(:ClearWater :ContaminatedWater :WasteWater) DisjointClasses(:CtpCommunication :CtpEnergy :CtpMatterCycle :CtpMobility :CtpNature :CtpWater :Material) DisjointClasses(:DeliveryInfrastructure :EnergyInfrastructure :HVACInfrastructure :InformationInfrastructure :RadiationInfrastructure :WasteInfrastructure :WaterInfrastructure) DisjointClasses(:Disposal :Reprocessing :Washing) DifferentIndividuals(:GeneratorHigh :GeneratorLow) DifferentIndividuals(:MazeLong :MazeShort) DifferentIndividuals(:RadiationWall1 :RadiationWall2) DifferentIndividuals(:hospOpt1 :hospOpt2) )