ClosedRental
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: ClosedRental-paymentTypeATRIBUT
subclass of: Restriction
  on property: ReturnedTo
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf DamageCost-ClosedRental
subclass of: OpenedRental
subclass of: Restriction
  on property: ClosedRental-creditCardNumberDamagesATRIBUT
  min cardinality: 1
subclass of: Restriction
  some values from: Thing
  on property: InverseOf FaultSeriousness-ClosedRental
subclass of: Restriction
  on property: ReturnedTo
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: ClosedRental-rentalPriceWithTaxATRIBUT
subclass of: Restriction
  some values from: Thing
  on property: InverseOf DamageCost-ClosedRental

DemandxModel
type: Class
subclass of: Restriction
  some values from: Thing
  on property: DemandxModel-CarModel
subclass of: Restriction
  on property: DemandxModel-Branch
  some values from: Thing
subclass of: Restriction
  on property: DemandxModel-demandATRIBUT
  min cardinality: 1
subclass of: Thing

Branch
type: Class
subclass of: Restriction
  on property: InverseOf TransferredTo
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: NextDayReservations
subclass of: Restriction
  some values from: Thing
  on property: DropOff
subclass of: Restriction
  some values from: Thing
  on property: Branch-DemandxGroup
subclass of: Restriction
  some values from: Thing
  on property: InverseOf BelongsTo
subclass of: Restriction
  min cardinality: 1
  on property: Branch-nameATRIBUT
subclass of: Restriction
  on property: InverseOf IsBranchType
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: IsResponsibleFor
subclass of: Restriction
  some values from: Thing
  on property: Pick-up
subclass of: Restriction
  some values from: Thing
  on property: InverseOf TransferAgreement-Receiver
subclass of: Restriction
  some values from: Thing
  on property: InverseOf ReturnedTo
subclass of: Restriction
  on property: Branch-ModelAvaliability
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: Orders
subclass of: Restriction
  some values from: Thing
  on property: Branch-CarGroupQuota
subclass of: Restriction
  some values from: Thing
  on property: Branch-GroupAvaliability
subclass of: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf locatedAt
subclass of: Restriction
  on property: InverseOf Serves
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: Transfer-TransferAgreement
subclass of: Restriction
  on property: InverseOf DemandxModel-Branch
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf IsBranchType

Discount
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: Discount-reservationTime?ATRIBUT
subclass of: Restriction
  on property: Discount-beginningDateATRIBUT
  min cardinality: 1
subclass of: Restriction
  on property: Discount-descriptionATRIBUT
  min cardinality: 1
subclass of: Restriction
  on property: Discount-effectATRIBUT
  min cardinality: 1
subclass of: Restriction
  min cardinality: 1
  on property: Discount-nameATRIBUT
subclass of: Thing

OpenedRental
type: Class
subclass of: Restriction
  on property: OpenedRental-actualPick-upTimeATRIBUT
  min cardinality: 1
subclass of: RentalAgreement

CarGroupDurationPrice
type: Class
subclass of: Restriction
  on property: CarGroupDurationPrice-RentalDuration
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: CarGroupDurationPrice-CarGroup
subclass of: Restriction
  some values from: Thing
  on property: InverseOf BestDurations
subclass of: Restriction
  on property: CarGroupDurationPrice-priceATRIBUT
  min cardinality: 1
subclass of: Thing

DamageCost
type: Class
subclass of: Restriction
  some values from: Thing
  on property: DamageCost-ClosedRental
subclass of: Restriction
  on property: DamageCost-ClosedRental
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: DamageCost-CarDamage
subclass of: Restriction
  on property: DamageCost-priceATRIBUT
  min cardinality: 1
subclass of: Thing

Reservation
type: Class
subclass of: Restriction
  on property: RequestedGroup
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf NextDayReservations
subclass of: Restriction
  on property: RequestedModel
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: Reservation-reservationDateATRIBUT
subclass of: RentalAgreement

RentalAgreement
type: Class
subclass of: Restriction
  on property: RentalAgreement-lastModificationATRIBUT
  min cardinality: 1
subclass of: Restriction
  on property: InverseOf CarGroup-RentalAgreement
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: RentalAgreement-basicPriceATRIBUT
subclass of: Restriction
  some values from: Thing
  on property: RentalAgreement-Customer
subclass of: Restriction
  on property: InverseOf DropOff
  some values from: Thing
subclass of: Restriction
  on property: InverseOf AssignedCar-RentalAgreement
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: RentalAgreement-onRentIntervalATRIBUT
subclass of: Thing
subclass of: Restriction
  on property: InverseOf Drive
  some values from: Thing
subclass of: Restriction
  on property: InverseOf Pick-up
  some values from: Thing
subclass of: Restriction
  on property: InverseOf AssignedCar-RentalAgreement
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: RentalAgreement-bestPriceATRIBUT
subclass of: Restriction
  on property: RentalAgreement-Customer
  some values from: Thing

ServiceDepot
type: Class
subclass of: Restriction
  on property: In
  some values from: Thing
subclass of: Restriction
  on property: Serves
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: ServiceDepot-capacityATRIBUT
subclass of: Restriction
  on property: ServiceDepot-nameATRIBUT
  min cardinality: 1
subclass of: Thing

GuaranteedCanceled
type: Class
subclass of: CanceledCustomer
subclass of: Restriction
  min cardinality: 1
  on property: GuaranteedCanceled-fineATRIBUT
subclass of: GuaranteedReservation

GuaranteedReservation
type: Class
subclass of: Restriction
  on property: GuaranteedReservation-creditCardNumberATRIBUT
  min cardinality: 1
subclass of: Reservation

EU RentPerson
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: EU RentPerson-addressATRIBUT
subclass of: Restriction
  min cardinality: 1
  on property: EU RentPerson-idATRIBUT
subclass of: Restriction
  some values from: Thing
  on property: Drive
subclass of: Restriction
  on property: EU RentPerson-telephoneATRIBUT
  min cardinality: 1
subclass of: Thing
subclass of: Restriction
  on property: HasFaults
  some values from: Thing
subclass of: Restriction
  on property: EU RentPerson-birthDateATRIBUT
  min cardinality: 1
subclass of: Restriction
  some values from: Thing
  on property: Has
subclass of: Restriction
  min cardinality: 1
  on property: EU RentPerson-nameATRIBUT
subclass of: Restriction
  on property: BelongsTo
  some values from: Thing

ClosedDiscount
type: Class
subclass of: Restriction
  on property: ClosedDiscount-endingDateATRIBUT
  min cardinality: 1
subclass of: Discount

DrivingLicense
type: Class
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Has
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Has
subclass of: Restriction
  min cardinality: 1
  on property: DrivingLicense-expirationATRIBUT
subclass of: Restriction
  on property: DrivingLicense-issueATRIBUT
  min cardinality: 1
subclass of: Restriction
  on property: DrivingLicense-numberATRIBUT
  min cardinality: 1
subclass of: Thing

BadExperience
type: Class
subclass of: Restriction
  on property: InverseOf FaultSeriousness-BadExperience
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: BadExperience-typeATRIBUT
subclass of: Thing

EndDurationPrice
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: EndDurationPrice-endingDateATRIBUT
subclass of: CarGroupDurationPrice

CanceledReservation
type: Class
subclass of: Restriction
  on property: CanceledReservation-cancelingDateATRIBUT
  min cardinality: 1
subclass of: Reservation

CarGroupQuota
type: Class
subclass of: Restriction
  on property: CarGroupQuota-CarGroup
  some values from: Thing
subclass of: Restriction
  on property: CarGroupQuota-CarGroup
  some values from: Thing
subclass of: Restriction
  on property: InverseOf Branch-CarGroupQuota
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Branch-CarGroupQuota
subclass of: Restriction
  min cardinality: 1
  on property: CarGroupQuota-quotaATRIBUT
subclass of: Thing

OwnCar
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: OwnCar-assigned?ATRIBUT
subclass of: Restriction
  min cardinality: 1
  on property: OwnCar-available?ATRIBUT
subclass of: Restriction
  on property: OwnCar-adquisitionDateATRIBUT
  min cardinality: 1
subclass of: Restriction
  on property: OwnCar-lastMaintenanceDateATRIBUT
  min cardinality: 1
subclass of: Restriction
  min cardinality: 1
  on property: OwnCar-mileageFromLastServiceATRIBUT
subclass of: Restriction
  min cardinality: 1
  on property: OwnCar-currentMileageATRIBUT
subclass of: Car

Car
type: Class
subclass of: Restriction
  some values from: Thing
  on property: IsOfA
subclass of: Restriction
  on property: InverseOf IsGroup
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf IsGroup
subclass of: Restriction
  on property: Car-AssignedCar
  some values from: Thing
subclass of: Restriction
  on property: InverseOf IsResponsibleFor
  some values from: Thing
subclass of: Restriction
  on property: Car-registrationNumberATRIBUT
  min cardinality: 1
subclass of: Thing

PendantCarOrder
type: Class
subclass of: Restriction
  some values from: Thing
  on property: InverseOf OfModel
subclass of: Restriction
  on property: InverseOf Orders
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: PendantCarOrder-ldATRIBUT
subclass of: Thing

TransferAgreement
type: Class
subclass of: Restriction
  on property: TransferAgreement-Receiver
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Transfer-TransferAgreement
subclass of: Restriction
  on property: TransferAgreement-expectedTimeATRIBUT
  min cardinality: 1
subclass of: Restriction
  on property: TransferAgreement-distanceATRIBUT
  min cardinality: 1
subclass of: Thing

FaultSeriousness
type: Class
subclass of: Restriction
  some values from: Thing
  on property: FaultSeriousness-ClosedRental
subclass of: Restriction
  some values from: Thing
  on property: FaultSeriousness-BadExperience
subclass of: Restriction
  on property: InverseOf HasFaults
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: FaultSeriousness-degreeATRIBUT
subclass of: Thing

PerformanceIndicator
type: Class
subclass of: Restriction
  on property: InverseOf ConcreteIndicator-PerformanceIndicator
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: PerformanceIndicator-descriptionATRIBUT
subclass of: Restriction
  min cardinality: 1
  on property: PerformanceIndicator-nameATRIBUT
subclass of: Thing

Extension
type: Class
subclass of: Restriction
  on property: Extension-ExtendedRental
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: Extension-ExtendedRental
subclass of: Restriction
  on property: Extension-extensionDoneATRIBUT
  min cardinality: 1
subclass of: Thing

MaintenanceScheduled
type: Class
subclass of: Restriction
  on property: InverseOf In
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: MaintenanceScheduled-beginningDateATRIBUT
subclass of: NeedsMaintenance

LoyaltyMember
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: LoyaltyMember-avaliablePointsATRIBUT
subclass of: Restriction
  on property: LoyaltyMember-membershipDateATRIBUT
  min cardinality: 1
subclass of: Customer

DemandxGroup
type: Class
subclass of: Restriction
  some values from: Thing
  on property: DemandxGroup-CarGroup
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Branch-DemandxGroup
subclass of: Restriction
  min cardinality: 1
  on property: DemandxGroup-demandATRIBUT
subclass of: Thing

ModelAvaliability
type: Class
subclass of: Restriction
  some values from: Thing
  on property: ModelAvaliability-CarModel
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Branch-ModelAvaliability
subclass of: Restriction
  min cardinality: 1
  on property: ModelAvaliability-quantityATRIBUT
subclass of: Thing

BranchType
type: Class
subclass of: Restriction
  on property: IsBranchType
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: ApplicableDiscountBranchType-CountryBranchType
subclass of: Restriction
  on property: BranchType-nameATRIBUT
  min cardinality: 1
subclass of: Thing

SoldCar
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: SoldCar-disposalDateATRIBUT
subclass of: ToBeSoldCar

CarModel
type: Class
subclass of: Restriction
  on property: OfModel
  some values from: Thing
subclass of: Restriction
  on property: CarModel-caracteristicsATRIBUT
  min cardinality: 1
subclass of: Restriction
  some values from: Thing
  on property: IsIn
subclass of: Restriction
  on property: CarModel-nameATRIBUT
  min cardinality: 1
subclass of: Restriction
  some values from: Thing
  on property: InverseOf ModelAvaliability-CarModel
subclass of: Restriction
  on property: InverseOf DemandxModel-CarModel
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf RequestedModel
subclass of: Restriction
  some values from: Thing
  on property: InverseOf IsOfA
subclass of: Thing
subclass of: Restriction
  some values from: Thing
  on property: IsIn

ConcreteIndicator
type: Class
subclass of: Restriction
  on property: ConcreteIndicator-PerformanceIndicator
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: ConcreteIndicator-PerformanceIndicator
subclass of: Restriction
  some values from: Thing
  on property: InverseOf CountryBranchType-ConcreteIndicator
subclass of: Restriction
  on property: ConcreteIndicator-targetValueATRIBUT
  min cardinality: 1
subclass of: Thing

GroupAvaliability
type: Class
subclass of: Restriction
  some values from: Thing
  on property: GroupAvaliability-CarGroup
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Branch-GroupAvaliability
subclass of: Restriction
  on property: GroupAvaliability-quantityATRIBUT
  min cardinality: 1
subclass of: Thing

AssignedCar
type: Class
subclass of: Restriction
  some values from: Thing
  on property: AssignedCar-RentalAgreement
subclass of: Restriction
  on property: AssignedCar-RentalAgreement
  some values from: Thing
subclass of: Restriction
  on property: InverseOf Car-AssignedCar
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: AssignedCar-expectedPreparedTimeATRIBUT
subclass of: Thing

CanceledCompany
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: CanceledCompany-motivationATRIBUT
subclass of: CanceledReservation

Country
type: Class
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Visits
subclass of: Restriction
  some values from: Thing
  on property: locatedAt
subclass of: Restriction
  some values from: Thing
  on property: InverseOf CountryBranchType-Country
subclass of: Restriction
  min cardinality: 1
  on property: Country-carTaxATRIBUT
subclass of: Restriction
  on property: Country-emissionsRequirementsATRIBUT
  min cardinality: 1
subclass of: Restriction
  on property: Country-mechanicalConditionRequirementsATRIBUT
  min cardinality: 1
subclass of: Restriction
  min cardinality: 1
  on property: Country-nameATRIBUT
subclass of: Thing

RentalDuration
type: Class
subclass of: Restriction
  on property: InverseOf CarGroupDurationPrice-RentalDuration
  some values from: Thing
subclass of: Restriction
  on property: ApplicableDurations
  some values from: Thing
subclass of: Restriction
  on property: RentalDuration-maximumDurationATRIBUT
  min cardinality: 1
subclass of: Restriction
  some values from: Thing
  on property: Longer
subclass of: Restriction
  some values from: Thing
  on property: InverseOf Longer
subclass of: Restriction
  some values from: Thing
  on property: Longer
subclass of: Restriction
  min cardinality: 1
  on property: RentalDuration-timeUnitATRIBUT
subclass of: Restriction
  on property: InverseOf Longer
  some values from: Thing
subclass of: Thing
subclass of: Restriction
  min cardinality: 1
  on property: RentalDuration-nameATRIBUT
subclass of: Restriction
  on property: RentalDuration-minimumDurationATRIBUT
  min cardinality: 1

Blacklisted
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: Blacklisted-blacklistedDateATRIBUT
subclass of: EU RentPerson

RepairsScheduled
type: Class
subclass of: Restriction
  on property: RepairsScheduled-beginningDateATRIBUT
  min cardinality: 1
subclass of: Car

CarGroup
type: Class
subclass of: Restriction
  some values from: Thing
  on property: CategoryOrder
subclass of: Restriction
  on property: IsGroup
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: CarGroup-RentalAgreement
subclass of: Restriction
  some values from: Thing
  on property: InverseOf CategoryOrder
subclass of: Restriction
  on property: InverseOf CarGroupQuota-CarGroup
  some values from: Thing
subclass of: Restriction
  min cardinality: 1
  on property: CarGroup-nameATRIBUT
subclass of: Thing
subclass of: Restriction
  some values from: Thing
  on property: CategoryOrder
subclass of: Restriction
  on property: InverseOf ApplicableGroups
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf GroupAvaliability-CarGroup
subclass of: Restriction
  on property: InverseOf CarGroupDurationPrice-CarGroup
  some values from: Thing
subclass of: Restriction
  on property: InverseOf RequestedGroup
  some values from: Thing
subclass of: Restriction
  on property: InverseOf DemandxGroup-CarGroup
  some values from: Thing
subclass of: Restriction
  on property: InverseOf CategoryOrder
  some values from: Thing
subclass of: Restriction
  some values from: Thing
  on property: InverseOf IsIn

LateReturn
type: Class
subclass of: Restriction
  on property: LateReturn-extraCostWithTaxATRIBUT
  min cardinality: 1
subclass of: Restriction
  on property: LateReturn-extraIntervalATRIBUT
  min cardinality: 1
subclass of: ClosedRental

Prepared
type: Class
subclass of: Restriction
  on property: Prepared-actualTimeATRIBUT
  min cardinality: 1
subclass of: AssignedCar