text2model 0.1.0__py3-none-any.whl

text2model/knowledge_graphs/nlp4lp_34.ttl

@@ -0,0 +1,67 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:TotalPeriods a rdf:Property ;
+    rdfs:label "T" ;
+    rdfs:range xsd:integer .
+
+opt:TotalGenerators a rdf:Property ;
+    rdfs:label "K" ;
+    rdfs:range xsd:integer .
+
+opt:Demand a rdf:Property ;
+    rdfs:label "Demand" ;
+    rdfs:range xsd:integer .
+
+opt:NumberGenerator a rdf:Property ;
+    rdfs:label "NumGenerator" ;
+    rdfs:range xsd:integer .
+
+opt:MinLevel a rdf:Property ;
+    rdfs:label "MinLevel" ;
+    rdfs:range xsd:integer .
+
+opt:MaxLevel a rdf:Property ;
+    rdfs:label "MaxLevel" ;
+    rdfs:range xsd:integer .
+
+opt:RunCost a rdf:Property ;
+    rdfs:label "RunCost" ;
+    rdfs:range xsd:integer .
+
+opt:ExtraCost a rdf:Property ;
+    rdfs:label "ExtraCost" ;
+    rdfs:range xsd:float .
+
+opt:StartCost a rdf:Property ;
+    rdfs:label "StartCost" ;
+    rdfs:range xsd:integer .
+
+opt:PowerStationOptimization a opt:OptimizationProblem ;
+    rdfs:label "Power Station Optimization" ;
+    opt:hasParameter opt:TotalPeriods, opt:TotalGenerators, opt:Demand, opt:NumberGenerator, opt:MinLevel, opt:MaxLevel, opt:RunCost, opt:ExtraCost, opt:StartCost ;
+    opt:hasVariable opt:GeneratorWorking ;
+    opt:hasConstraint opt:MeetDemand, opt:GeneratorAvailability, opt:GeneratorProductionLevel ;
+    opt:hasObjective opt:MinimizeCost .
+
+opt:GeneratorWorking a opt:Variable ;
+    rdfs:label "GeneratorWorking" ;
+    opt:belongsTo opt:PowerStationOptimization .
+
+opt:MeetDemand a opt:Constraint ;
+    rdfs:label "Meet Demand" ;
+    opt:belongsTo opt:PowerStationOptimization .
+
+opt:GeneratorAvailability a opt:Constraint ;
+    rdfs:label "Generator Availability" ;
+    opt:belongsTo opt:PowerStationOptimization .
+
+opt:GeneratorProductionLevel a opt:Constraint ;
+    rdfs:label "Generator Production Level" ;
+    opt:belongsTo opt:PowerStationOptimization .
+
+opt:MinimizeCost a opt:Objective ;
+    rdfs:label "Minimize Cost" ;
+    opt:belongsTo opt:PowerStationOptimization .

text2model/knowledge_graphs/nlp4lp_35.ttl

@@ -0,0 +1,75 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:NumProducts a rdf:Property ;
+    rdfs:label "Number of different products" ;
+    rdfs:range xsd:integer .
+
+opt:NumMachines a rdf:Property ;
+    rdfs:label "Number of different machines or stations" ;
+    rdfs:range xsd:integer .
+
+opt:ProduceTime a rdf:Property ;
+    rdfs:label "Time to produce one unit of product k on station s" ;
+    rdfs:range xsd:integer .
+
+opt:AvailableTime a rdf:Property ;
+    rdfs:label "Total available time on station s" ;
+    rdfs:range xsd:integer .
+
+opt:Profit a rdf:Property ;
+    rdfs:label "Profit from producing one unit of product k" ;
+    rdfs:range xsd:integer .
+
+opt:Product a rdfs:Class ;
+    rdfs:label "Product" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:Machine a rdfs:Class ;
+    rdfs:label "Machine" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraint" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:hasNumProducts a rdf:Property ;
+    rdfs:label "has number of products" ;
+    rdfs:domain opt:Product ;
+    rdfs:range opt:NumProducts .
+
+opt:hasNumMachines a rdf:Property ;
+    rdfs:label "has number of machines" ;
+    rdfs:domain opt:Machine ;
+    rdfs:range opt:NumMachines .
+
+opt:hasProduceTime a rdf:Property ;
+    rdfs:label "has produce time" ;
+    rdfs:domain opt:Product ;
+    rdfs:range opt:ProduceTime .
+
+opt:hasAvailableTime a rdf:Property ;
+    rdfs:label "has available time" ;
+    rdfs:domain opt:Machine ;
+    rdfs:range opt:AvailableTime .
+
+opt:hasProfit a rdf:Property ;
+    rdfs:label "has profit" ;
+    rdfs:domain opt:Product ;
+    rdfs:range opt:Profit .
+
+opt:hasConstraint a rdf:Property ;
+    rdfs:label "has constraint" ;
+    rdfs:domain opt:Constraint ;
+    rdfs:range rdfs:Resource .
+
+opt:hasObjective a rdf:Property ;
+    rdfs:label "has objective" ;
+    rdfs:domain opt:Objective ;
+    rdfs:range rdfs:Resource .

text2model/knowledge_graphs/nlp4lp_36.ttl

@@ -0,0 +1,56 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix knap: <http://www.example.org/knapsack#> .
+
+knap:KnapsackProblem a rdfs:Class ;
+    rdfs:comment "The knapsack problem class" .
+
+knap:hasCapacity a rdf:Property ;
+    rdfs:domain knap:KnapsackProblem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Total capacity of the knapsack" .
+
+knap:hasItem a rdf:Property ;
+    rdfs:domain knap:KnapsackProblem ;
+    rdfs:range knap:Item ;
+    rdfs:comment "Item to be packed in the knapsack" .
+
+knap:Item a rdfs:Class ;
+    rdfs:comment "Item class" .
+
+knap:hasValue a rdf:Property ;
+    rdfs:domain knap:Item ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Value of the item" .
+
+knap:hasSize a rdf:Property ;
+    rdfs:domain knap:Item ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Size of the item" .
+
+knap:hasObjective a rdf:Property ;
+    rdfs:domain knap:KnapsackProblem ;
+    rdfs:range knap:Objective ;
+    rdfs:comment "Objective of the knapsack problem" .
+
+knap:Objective a rdfs:Class ;
+    rdfs:comment "Objective class" .
+
+knap:isMaximization a rdf:Property ;
+    rdfs:domain knap:Objective ;
+    rdfs:range xsd:boolean ;
+    rdfs:comment "Whether the objective is to maximize the total value" .
+
+knap:hasConstraint a rdf:Property ;
+    rdfs:domain knap:KnapsackProblem ;
+    rdfs:range knap:Constraint ;
+    rdfs:comment "Constraint of the knapsack problem" .
+
+knap:Constraint a rdfs:Class ;
+    rdfs:comment "Constraint class" .
+
+knap:isSizeLimit a rdf:Property ;
+    rdfs:domain knap:Constraint ;
+    rdfs:range xsd:boolean ;
+    rdfs:comment "Whether the constraint is a size limit" .

text2model/knowledge_graphs/nlp4lp_37.ttl

@@ -0,0 +1,52 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:K a rdf:Property ;
+    rdfs:label "Number of different types of food" ;
+    rdfs:range xsd:integer .
+
+opt:M a rdf:Property ;
+    rdfs:label "Number of nutrients to consider" ;
+    rdfs:range xsd:integer .
+
+opt:Price a rdf:Property ;
+    rdfs:label "Price of food k" ;
+    rdfs:range xsd:float .
+
+opt:Demand a rdf:Property ;
+    rdfs:label "Demand for nutrient m" ;
+    rdfs:range xsd:float .
+
+opt:Nutrition a rdf:Property ;
+    rdfs:label "Amount of nutrient m in food k" ;
+    rdfs:range xsd:float .
+
+opt:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization Problem" .
+
+opt:OptimizationProblem1 a opt:OptimizationProblem ;
+    opt:K "3"^^xsd:integer ;
+    opt:M "2"^^xsd:integer ;
+    opt:Price "1"^^xsd:float, "2"^^xsd:float, "3"^^xsd:float ;
+    opt:Demand "10"^^xsd:float, "20"^^xsd:float ;
+    opt:Nutrition "3"^^xsd:float, "5"^^xsd:float, "1"^^xsd:float, "3"^^xsd:float, "4"^^xsd:float, "4"^^xsd:float .
+
+opt:Variable a rdfs:Class ;
+    rdfs:label "Variable" .
+
+opt:Variable1 a opt:Variable ;
+    rdfs:label "Amount of each type of food to buy" .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraint" .
+
+opt:Constraint1 a opt:Constraint ;
+    rdfs:label "Nutritional demand must be met" .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective" .
+
+opt:Objective1 a opt:Objective ;
+    rdfs:label "Minimize the cost of meeting all nutritional demands" .

text2model/knowledge_graphs/nlp4lp_38.ttl

@@ -0,0 +1,55 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:WarehouseOperation a rdfs:Class ;
+    rdfs:label "Warehouse Operation" ;
+    rdfs:comment "The operation of a warehouse by buying and selling stock to maximize profit over a certain length of time." .
+
+opt:TimePeriod a rdfs:Class ;
+    rdfs:label "Time Period" ;
+    rdfs:comment "A specific period of time in which the warehouse operation takes place." .
+
+opt:TimePeriod rdfs:subClassOf opt:WarehouseOperation .
+
+opt:hasNumber a rdf:Property ;
+    rdfs:label "has number" ;
+    rdfs:domain opt:TimePeriod ;
+    rdfs:range xsd:integer .
+
+opt:hasCapacity a rdf:Property ;
+    rdfs:label "has capacity" ;
+    rdfs:domain opt:WarehouseOperation ;
+    rdfs:range xsd:integer .
+
+opt:hasHoldingCost a rdf:Property ;
+    rdfs:label "has holding cost" ;
+    rdfs:domain opt:WarehouseOperation ;
+    rdfs:range xsd:integer .
+
+opt:hasPrice a rdf:Property ;
+    rdfs:label "has price" ;
+    rdfs:domain opt:TimePeriod ;
+    rdfs:range xsd:integer .
+
+opt:hasCost a rdf:Property ;
+    rdfs:label "has cost" ;
+    rdfs:domain opt:TimePeriod ;
+    rdfs:range xsd:integer .
+
+opt:MaximizeProfit a rdfs:Class ;
+    rdfs:label "Maximize Profit" ;
+    rdfs:comment "The objective of the warehouse operation is to maximize profit." .
+
+opt:MaximizeProfit rdfs:subClassOf opt:WarehouseOperation .
+
+opt:hasConstraint a rdf:Property ;
+    rdfs:label "has constraint" ;
+    rdfs:domain opt:WarehouseOperation ;
+    rdfs:range rdfs:Literal .
+
+opt:hasObjective a rdf:Property ;
+    rdfs:label "has objective" ;
+    rdfs:domain opt:WarehouseOperation ;
+    rdfs:range opt:MaximizeProfit .

text2model/knowledge_graphs/nlp4lp_39.ttl

@@ -0,0 +1,58 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.semanticweb.org/ontologies/optimization#> .
+
+:Problem1 a opt:OptimizationProblem ;
+    opt:hasParameter :K, :M, :AlloyQuantity, :Target, :Ratio, :Price ;
+    opt:hasVariable :AlloyCombination ;
+    opt:hasConstraint :AlloyCompositionConstraint, :AlloyQuantityConstraint ;
+    opt:hasObjective :MinimizeCost .
+
+:K a opt:Parameter ;
+    rdfs:label "Number of Alloys" ;
+    rdfs:comment "The total number of available alloys." ;
+    rdfs:range xsd:integer .
+
+:M a opt:Parameter ;
+    rdfs:label "Number of Metals" ;
+    rdfs:comment "The total number of different types of metals." ;
+    rdfs:range xsd:integer .
+
+:AlloyQuantity a opt:Parameter ;
+    rdfs:label "Quantity of alloy to produce" ;
+    rdfs:comment "The total quantity of alloy that needs to be produced." ;
+    rdfs:range xsd:float .
+
+:Target a opt:Parameter ;
+    rdfs:label "Quantity of target components in the alloy" ;
+    rdfs:comment "The target quantity of each type of metal in the alloy." ;
+    rdfs:range xsd:float .
+
+:Ratio a opt:Parameter ;
+    rdfs:label "Ratio of each component k in the alloy m" ;
+    rdfs:comment "The ratio of each metal in the available alloys." ;
+    rdfs:range xsd:float .
+
+:Price a opt:Parameter ;
+    rdfs:label "Price of each alloy k" ;
+    rdfs:comment "The price at which each alloy is sold per unit." ;
+    rdfs:range xsd:float .
+
+:AlloyCombination a opt:Variable ;
+    rdfs:label "Combination of alloys" ;
+    rdfs:comment "The combination of quantities of alloys that reaches the target quantity of each type of metal." ;
+    rdfs:range xsd:float .
+
+:AlloyCompositionConstraint a opt:Constraint ;
+    rdfs:label "Alloy composition constraint" ;
+    rdfs:comment "The combination of alloys must meet the target quantity of each type of metal." .
+
+:AlloyQuantityConstraint a opt:Constraint ;
+    rdfs:label "Alloy quantity constraint" ;
+    rdfs:comment "The total quantity of alloy produced must meet the required quantity." .
+
+:MinimizeCost a opt:Objective ;
+    rdfs:label "Minimize cost" ;
+    rdfs:comment "The objective is to find the cheapest combination of quantities of alloys." ;
+    opt:isTypeOf opt:Minimization .

text2model/knowledge_graphs/nlp4lp_4.ttl

@@ -0,0 +1,64 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:Period rdf:type rdfs:Class ;
+    rdfs:label "Period" ;
+    rdfs:comment "The planning period for nurse staffing" ;
+    rdfs:range xsd:integer .
+
+opt:Demand rdf:type rdfs:Class ;
+    rdfs:label "Demand" ;
+    rdfs:comment "Array of demands for nurses for 7 days" ;
+    rdfs:range xsd:integer .
+
+opt:Nurse rdf:type rdfs:Class ;
+    rdfs:label "Nurse" ;
+    rdfs:comment "Nurse to be scheduled for night shift" .
+
+opt:WorkDays rdf:type rdf:Property ;
+    rdfs:label "WorkDays" ;
+    rdfs:comment "Number of days a nurse works in a row on the night shift" ;
+    rdfs:domain opt:Nurse ;
+    rdfs:range xsd:integer .
+
+opt:OffDays rdf:type rdf:Property ;
+    rdfs:label "OffDays" ;
+    rdfs:comment "Number of days a nurse has off after working" ;
+    rdfs:domain opt:Nurse ;
+    rdfs:range xsd:integer .
+
+opt:hasDemand rdf:type rdf:Property ;
+    rdfs:label "hasDemand" ;
+    rdfs:comment "The demand for nurses on a particular day" ;
+    rdfs:domain opt:Period ;
+    rdfs:range opt:Demand .
+
+opt:hasNurse rdf:type rdf:Property ;
+    rdfs:label "hasNurse" ;
+    rdfs:comment "The nurse assigned to a particular period" ;
+    rdfs:domain opt:Period ;
+    rdfs:range opt:Nurse .
+
+opt:MinimizeNurses rdf:type opt:OptimizationProblem ;
+    rdfs:label "MinimizeNurses" ;
+    rdfs:comment "Minimize the number of nurses needed to meet demand" ;
+    opt:hasObjectiveFunction opt:MinimizeNursesObjectiveFunction ;
+    opt:hasConstraint opt:WorkDaysConstraint, opt:OffDaysConstraint .
+
+opt:MinimizeNursesObjectiveFunction rdf:type opt:ObjectiveFunction ;
+    rdfs:label "MinimizeNursesObjectiveFunction" ;
+    rdfs:comment "Objective function to minimize the number of nurses" ;
+    opt:hasVariable opt:Nurse ;
+    opt:isMinimization true .
+
+opt:WorkDaysConstraint rdf:type opt:Constraint ;
+    rdfs:label "WorkDaysConstraint" ;
+    rdfs:comment "Constraint that a nurse works x number of days in a row" ;
+    opt:hasVariable opt:WorkDays .
+
+opt:OffDaysConstraint rdf:type opt:Constraint ;
+    rdfs:label "OffDaysConstraint" ;
+    rdfs:comment "Constraint that a nurse has 7 - x days off after working" ;
+    opt:hasVariable opt:OffDays .

text2model/knowledge_graphs/nlp4lp_40.ttl

@@ -0,0 +1,49 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:K a rdf:Property ;
+    rdfs:label "Number of different spare parts" ;
+    rdfs:range xsd:integer .
+
+opt:S a rdf:Property ;
+    rdfs:label "Number of machines capable of making the spare parts" ;
+    rdfs:range xsd:integer .
+
+opt:Time a rdf:Property ;
+    rdfs:label "Time taken to make spare part k on machine s" ;
+    rdfs:range rdf:Seq .
+
+opt:Profit a rdf:Property ;
+    rdfs:label "Profit obtained from making spare part k" ;
+    rdfs:range rdf:Seq .
+
+opt:Capacity a rdf:Property ;
+    rdfs:label "Capacity of machine s for the spare parts" ;
+    rdfs:range rdf:Seq .
+
+opt:Problem a rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:subClassOf opt:Optimization .
+
+opt:ProblemInstance a opt:Problem ;
+    opt:K "5"^^xsd:integer ;
+    opt:S "2"^^xsd:integer ;
+    opt:Time (2 3 1 2 3 2 3 1 1 1) ;
+    opt:Profit (30 20 40 25 10) ;
+    opt:Capacity (700 1000) .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraint" ;
+    rdfs:subClassOf opt:Optimization .
+
+opt:ConstraintInstance a opt:Constraint ;
+    rdfs:comment "Each shop has a capacity of working hours it cannot exceed" .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective" ;
+    rdfs:subClassOf opt:Optimization .
+
+opt:ObjectiveInstance a opt:Objective ;
+    rdfs:comment "Determine the quantities of each spare part to be made during the month to maximize profit" .

text2model/knowledge_graphs/nlp4lp_41.ttl

@@ -0,0 +1,62 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:Product a rdfs:Class ;
+    rdfs:label "Product" ;
+    rdfs:comment "A type of product produced by the company" .
+
+opt:ProductDemand a rdfs:Property ;
+    rdfs:label "Product Demand" ;
+    rdfs:comment "The demand of a product" ;
+    rdfs:domain opt:Product ;
+    rdfs:range xsd:float .
+
+opt:MaxRegularAmount a rdfs:Property ;
+    rdfs:label "Maximum Regular Production Amount" ;
+    rdfs:comment "Maximum production amount under regular conditions" ;
+    rdfs:range xsd:float .
+
+opt:CostRegular a rdfs:Property ;
+    rdfs:label "Regular Production Cost" ;
+    rdfs:comment "Cost of production under regular conditions per unit" ;
+    rdfs:range xsd:float .
+
+opt:CostOvertime a rdfs:Property ;
+    rdfs:label "Overtime Production Cost" ;
+    rdfs:comment "Cost of production under overtime conditions per unit" ;
+    rdfs:range xsd:float .
+
+opt:StoreCost a rdfs:Property ;
+    rdfs:label "Storage Cost" ;
+    rdfs:comment "Cost to store one unit of product" ;
+    rdfs:range xsd:float .
+
+opt:ProductionSchedule a rdfs:Class ;
+    rdfs:label "Production Schedule" ;
+    rdfs:comment "The production schedule that minimizes the cost" .
+
+opt:hasProduct a rdfs:Property ;
+    rdfs:label "has product" ;
+    rdfs:comment "The production schedule has a product" ;
+    rdfs:domain opt:ProductionSchedule ;
+    rdfs:range opt:Product .
+
+opt:hasCost a rdfs:Property ;
+    rdfs:label "has cost" ;
+    rdfs:comment "The production schedule has a cost" ;
+    rdfs:domain opt:ProductionSchedule ;
+    rdfs:range xsd:float .
+
+opt:hasObjective a rdfs:Property ;
+    rdfs:label "has objective" ;
+    rdfs:comment "The optimization problem has an objective" ;
+    rdfs:domain opt:ProductionSchedule ;
+    rdfs:range rdfs:Literal .
+
+opt:hasConstraint a rdfs:Property ;
+    rdfs:label "has constraint" ;
+    rdfs:comment "The optimization problem has a constraint" ;
+    rdfs:domain opt:ProductionSchedule ;
+    rdfs:range rdfs:Literal .

text2model/knowledge_graphs/nlp4lp_42.ttl

@@ -0,0 +1,49 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:CafeteriaStaffingProblem a opt:OptimizationProblem ;
+    rdfs:label "Cafeteria Staffing Problem" ;
+    opt:hasParameter opt:N, opt:Num, opt:WorkingDays, opt:RestingDays ;
+    opt:hasVariable opt:Employees ;
+    opt:hasConstraint opt:WorkRestCycle ;
+    opt:hasObjective opt:MinimizeEmployees .
+
+opt:N a opt:Parameter ;
+    rdfs:label "Number of days in recurring period" ;
+    rdfs:comment "N represents the number of days in the recurring period." ;
+    rdfs:range xsd:integer .
+
+opt:Num a opt:Parameter ;
+    rdfs:label "Number of users on the nth day" ;
+    rdfs:comment "Num represents the number of users on the nth day." ;
+    rdfs:range xsd:integer .
+
+opt:WorkingDays a opt:Parameter ;
+    rdfs:label "Number of consecutive working days before a resting period" ;
+    rdfs:comment "WorkingDays represents the number of consecutive working days before a resting period." ;
+    rdfs:range xsd:integer .
+
+opt:RestingDays a opt:Parameter ;
+    rdfs:label "Number of consecutive resting days" ;
+    rdfs:comment "RestingDays represents the number of consecutive resting days." ;
+    rdfs:range xsd:integer .
+
+opt:Employees a opt:Variable ;
+    rdfs:label "Number of employees to hire" ;
+    rdfs:comment "Employees represents the number of employees to hire." ;
+    rdfs:range xsd:integer .
+
+opt:WorkRestCycle a opt:Constraint ;
+    rdfs:label "Work-rest cycle constraint" ;
+    rdfs:comment "WorkRestCycle ensures that each employee works a fixed number of days in a row followed by a fixed number of days off." .
+
+opt:MinimizeEmployees a opt:Objective ;
+    rdfs:label "Minimize number of employees" ;
+    rdfs:comment "MinimizeEmployees is the objective to minimize the number of employees to hire." ;
+    opt:optimizationType opt:Minimization .
+
+opt:Minimization a opt:OptimizationType ;
+    rdfs:label "Minimization" ;
+    rdfs:comment "Minimization is the type of optimization." .